1 Program for forelæsningen
|
|
- Pernille Bech
- 8 år siden
- Visninger:
Transkript
1 1 Program for forelæsningen Udvidelser af Bims (Kontrolstrukturer) Repeat-løkker For-løkker Non-determinisme God Ond parallelitet Alle emner hører under semantisk ækvivalens Fra tidligere.. Bims semantik: a Num z V ar... S Stm I dag, ekstra opbygningsregler i Stm. Transitionssystemer for Stm: Transitionsystem for Stm i big-step-semantik < S, s > s Er en tripel: (Γ,, T ) Γ = Stm States States T = States er givet ved gamle og nye regler Transitionsystem for Stm i small-step-semantik < S, s > < S, s > og < S, s > s Er en tripel: (Γ,, T ) Γ = Stm States States T = States er givet ved gamle og nye regler. 1
2 2 Repeat-løkker: S ::=... repeat S until b Intuition: S udføres indtil b evaluerer til sand (dvs. altid mindst en gang) Big-step regler: [repeat-sand] [repeat-false] < S, s > s < repeat S until b, s > s hvor s b tt < S, s > s < repeat S until b, s > s < repeat S until b, s > s hvor s b ff [repeat-false] er ikke kompositionel lige som while-løkker 3 Observation: repeat S until b er overflødig; vi kan erstatte repeat S until b med: S; while b do S 4 Sætning: For alle s States < repeat S until b, s > s S; while b do S Bevis: Skal vise at hvis < repeat S until b, s > s (1) så < S; while b do S, s > s (2) Hvis (1) findes, så har den et derivationstræ af højde n. Vi viser altså en påstand på formen: For alle n 0 Hvis (1) har et derivationstræ af højde n, så kan vi lave et derivations træ for (2) Induktion i n: Bevis Basis: n = 0. Ingen derivationstræer af højde 0, for ethvert repeat-derivationstræ vil bruge repeat-sand eller repeat-false og de giver anledning til derivationstræer af højde > 0 (Reglerne har præmiser). Skridt: Antag sandt for n, vis sandt for n+1 Kan være konkluderet ved et derivationstræ, hvor vi til sidst brugte repeatsand 2
3 < S, s > s < repeat S until b, s > s hvors b tt Man så s b ff (Jævnfør regler for Bexp. Så har vi < while b do S, s > s Så < S, s > s < while b do S, s > s < S, while b do S, s > s (2) Kunne også være konkluderet med [repeat-false] ( ) < S, s > s < repeat S until b, s > s < repeat S until b, s > s hvor s b ff pr. induktionsantagelse; < S, while do S, s > s Som må skyldes [comp] < S, s > s 3 < while b do S, s 3 > s Men s b tt så kan vi bruge [while-true] < S, s > s 3 < while b dos, s 3 > s ( ) < while b do S, s > s Men nu kan (*) og (**) sættes sammen med [comp] og vi får (2) 5 Semantisk ækvivalens Et begreb der tillader os at sammenligne adfærd af statements; intuitivt set: S 1 bss S 2 Hvis S 1 og S 2 altid har samme adfærd i big-step semantik (tilsvarende findes for small-step 6 Definition: (Big-step semantisk ækvivalens) Lad S 1, S 2 Stm. S 1 bss S 2 Hvis der for alle s States: < S 1, s > s < S 2, s > s Dvs. repeat S until b bss S, while b do S sætning: 3
4 For alle S 1, S 2, S 3 Stm 1. S 1 bss S 2 ( bss er reflektivt) 2. Hvis S 1 bss S 2 så S 2 bss S 1 ( De er symmetriske ) 3. Hvis S 1 bss S 2 og S 2 bss S 3 så S 1 bss S 3 ( Transitiv) Dvs. bss er en ækvivalensrelation ADVARSEL: Dette er ikke definitionen af semantisk ækvivalens. Det er en række egenskaber som vi kan bevise gælder for bss 7 Abnorm temrinering S ::=... abort En abort-kommando medfører, at intet mere kan ske. Der skal ikke være transitioner fra en < abort, s > der findes hverken bigstep eller small-step-regler for abort. Der er ingen regler da der ikke er nogen transitioner efter abort. Big-step-semantik beskriver uendelig løkke og abnorm terminering på samme måde For alle S States < abort, s > < while 0 = 0 do Skip, s > Men i small-step-semantikken( I small-step er der forskel): < while 0 = 0 do skip, s > 2 < while 0 = 0 do skip, s > Definition: (Small-step) S 1 bss S 2 hvis for alle s States < S 1, s > s < S 1, s > s Faktisk < abort, s > sss while 0 = 0 do skip 8 Nondeterminisme Statements udvides S ::=... S 1 or S 2 Big-step regler [or1] [or2] < S 1, s > s < S 1 or S 2, s > s < s2, s > s < S 1 or S 2, s > s 4
5 Small-step-regler [or1] < S 1 or S 2, s > < S 1, s > [or2] < S 1 or S 2, s > < S 2, s > x := 2 or while 0 = 0 do Skip bss x := 2 x := 2 or while 0 = 0 do Skip sss x := 2 Men der er en forskel: Small-step: < x := 2 or while 0 = 0 do skip, s > < x := 2, s < < x := 2 or while 0 = 0 do skip, s > < while 0 = 0 do skip, s > UHA!!!! Alle valg får en ond mulighed (Ond nondeterminisme) Big-step: Kun terminerende valg giver transition (God nondeterminisme) < x := 2 or while 0 = 0 do Skip, s > s[x 2] 9 Parallelitet S :=.. S 1 par S 2 Ide: I S 1 par S 2 kan S 1 og S 2 flette deres udførsel: x := 1; x := x + 3; par x := 2 Giver 3 mulige x-værdier som resultat x 2 x 4 x 5 Small-step regler [Par-1] [Par-2] [Par-3] < S 1, s > < S 1, s > < S 1 par S 2, s > < S 1 par S 2, s > < S 1, s > s < S 1 par S 2, s > < S 2, s > < S 2, s > < S 2, s > < S 1 par S 2, s > < S 1 par S 2, s > 5
6 [Par-4] < S 2, s > s < S 1 par S 2, s > < S 1, s > Big-step DET DUER IKKE. BARE LAD VÆRE MED OVERHOVEDET AT PRØVE. 6
1 Opsumering fra tidligere. 2 Dagsorden 3 BIMS. 4 Programtilstande. Statements/kommandoer (Stm) i bims. 3.1 Abstrakt syntaks for bims
1 Opsumering fra tidligere Hvis A er kontekstfrit, S er der et p > 0 s Alle s A hvor s p kan splittes op som s = uvxyz så argument 1-3 holder A er ikke kontekstfrit, hvis for ethvert bud på p kan findes
Læs mereOBS! Prøveeksamen med syntaks på tirsdag! Kursusgang 8
Kursusgang 8 OBS! Prøveeksamen med syntaks på tirsdag! Kursusgang 8 Matematik Arkæologi Eksempel Semantik Bims (Basic Imperative Statements / Begrænset Imperativt Sprog) Abstrakt syntaks Transitionssystemer
Læs mereRettelser til Pilen ved træets rod
Rettelser til Pilen ved træets rod Hans Hüttel Pr. 12. juni 2003 Nedenstående rettelser er indsamlet af mig selv, Peter Poulsen, Martin Maach og ikke mindst Lars Schunk i løbet af foråret 2003. Simple
Læs mereEt generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer. Ideen er simpel:
Grådige algoritmer Grådige algoritmer Et generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer. Ideen er simpel: Opbyg løsningen skridt for skridt ved hele tiden af vælge lige
Læs mereDat 2/F6S: Syntaks og semantik 2005 Centrale emner og eksamenspensum
Dat 2/F6S: Syntaks og semantik 2005 Centrale emner og eksamenspensum Hans Hüttel 14. juni 2005 Indhold 1 Centrale emner 1 2 Fuldt pensum 2 3 Reduceret pensum 3 3.1 Hvad er fjernet her?........................
Læs mereEn karakteristik af de regulære sprog. Ugens emner. FA minimering [5.1-5.2] MyHill-Nerode-sætningen en algoritme til minimering af FA er
Ugens emner FA minimering [.-.] MyHill-Nerode-sætningen en algoritme til minimering af FA er En karakteristik af de regulære sprog Et sprog L er regulært hvis og kun hvis L beskrives af et regulært udtryk
Læs mereKombinatoriske Spil. Noter til QGM Math Club af Tobias Kildetoft
Kombinatoriske Spil Noter til QGM Math Club af Tobias Kildetoft 1 Forord Disse noter er i stor grad baseret på bogen Lessons in Play af Michael H. Albert, Richard J. Nowakowski og David Wolfe (fra nu af
Læs mereFunktionalligninger - løsningsstrategier og opgaver
Funktionalligninger - løsningsstrategier og opgaver Altså er f (f (1)) = 1. På den måde fortsætter vi med at samle oplysninger om f og kombinerer dem også med tidligere oplysninger. Hvis vi indsætter =
Læs mereMinimum udspændende Træer (MST)
Minimum udspændende Træer (MST) Træer Et (frit/u-rodet) træ er en uorienteret graf G = (V, E) som er Sammenhængende: der er en sti mellem alle par af knuder. Acyklisk: der er ingen lukket kreds af kanter
Læs mereDM02 opgaver ugeseddel 2
DM0 opgaver ugeseddel af Fiona Nielsen 16. september 003 Øvelsesopgaver 9/9, 10/9 og 11/9 1. Vis, at 1 3 + 3 3 + 5 3 +... + (n 1) 3 = n 4 n. Omskriver til summationsformel: (i 1) 3 = n 4 n Bevis ved induktion
Læs mere26 Programbeviser I. Noter. PS1 -- Programbeviser I. Bevis kontra 'check af assertions' i Eiffel. Betingelser og bevisregler.
26 Programbeviser I. Bevis kontra 'check af assertions' i Eiffel. Betingelser og bevisregler. Hvad er programverifikation? Bevisregel for 'tom kommando'. Bevisregel for assignment. Bevisregler for selektive
Læs mereTALTEORI Følger og den kinesiske restklassesætning.
Følger og den kinesiske restklassesætning, december 2006, Kirsten Rosenkilde 1 TALTEORI Følger og den kinesiske restklassesætning Disse noter forudsætter et grundlæggende kendskab til talteori som man
Læs mereMinimum udspændende Træer (MST)
Minimum udspændende Træer (MST) Træer Et (frit/u-rodet) træ er en uorienteret graf G = (V, E) som er Sammenhængende: der er en sti mellem alle par af knuder. Acyklisk: der er ingen kreds af kanter. Træ
Læs mereDivisorer. Introduktion. Divisorer og delelighed. Divisionsalgoritmen. Definition (Divisor) Lad d og n være hele tal. Hvis der findes et helt tal q så
Introduktion 1) Hvad er Taleteori? Læren om de hele tal Primtal 2) Formalistisk struktur Definition Lemma Divisorer Definition (Divisor) Lad d og n være hele tal Hvis der findes et helt tal q så d q =
Læs mereBevisteknikker. Bevisteknikker (relevant både ved design og verifikation) Matematisk induktion. Matematisk induktion uformel beskrivelse
Bevisteknikker Bevisteknikker (relevant både ved design og verifikation) Bevisførelse ved modstrid (indirekte bevis) Antag, at det givne teorem er falsk Konkluder, at dette vil føre til en modstrid Teorem:
Læs mereOm at løse problemer En opgave-workshop Beregnelighed og kompleksitet
Om at løse problemer En opgave-workshop Beregnelighed og kompleksitet Hans Hüttel 27. oktober 2004 Mathematics, you see, is not a spectator sport. To understand mathematics means to be able to do mathematics.
Læs meret a l e n t c a m p d k Matematik Intro Mads Friis, stud.scient 27. oktober 2014 Slide 1/25
Slide 1/25 Indhold 1 2 3 4 5 6 7 8 Slide 2/25 Om undervisningen Hvorfor er vi her? Hvad kommer der til at ske? 1) Teoretisk gennemgang ved tavlen. 2) Instruktion i eksempler. 3) Opgaveregning. 4) Opsamling.
Læs mereBevisteknikker (relevant både ved design og verifikation)
Bevisteknikker 1 Bevisteknikker (relevant både ved design og verifikation) Bevisførelse ved modstrid (indirekte bevis) Antag, at det givne teorem er falsk Konkluder, at dette vil føre til en modstrid Teorem:
Læs mereMatematiske metoder - Opgaver
Matematiske metoder - Opgaver Anders Friis, Anne Ryelund 25. oktober 2014 Logik Opgave 1 Find selv på tre udtalelser (gerne sproglige). To af dem skal være udsagn, mens det tredje ikke må være et udsagn.
Læs mereReeksamen i Diskret Matematik
Reeksamen i Diskret Matematik Første studieår ved Det Teknisk-Naturvidenskabelige Fakultet 23. august, 2016, 9.00-13.00 Dette eksamenssæt består af 11 nummerede sider med 16 opgaver. Alle opgaver er multiple
Læs mereDifferentialregning Infinitesimalregning
Udgave 2.1 Differentialregning Infinitesimalregning Noterne gennemgår begreberne differentialregning, og anskuer dette som et derligere redskab til vækst og funktioner. Noterne er supplement til kapitel
Læs mere83 - Karakterisation af intervaller
83 - Karakterisation af intervaller I denne opgave skal du bevise, at hvis A er en delmængde af R med følgende egenskab: x, y, z R : x, y A og x < z < y z A (1) så er A enten et interval eller en mængde
Læs mereSandsynlighedsregning: endeligt udfaldsrum (repetition)
Program: 1. Repetition: sandsynlighedsregning 2. Sandsynlighedsregning fortsat: stokastisk variabel, sandsynlighedsfunktion/tæthed, fordelingsfunktion. 1/16 Sandsynlighedsregning: endeligt udfaldsrum (repetition)
Læs mereGEOMETRI-TØ, UGE 11. Opvarmningsopgave 2, [P] 6.1.1 (i,ii,iv). Udregn første fundamentalform af følgende flader
GEOMETRI-TØ, UGE Hvis I falder over tryk- eller regne-fejl i nedenstående, må I meget gerne sende rettelser til fuglede@imf.au.dk. Opvarmningsopgave, [P] 5... Find parametriseringer af de kvadratiske flader
Læs mereØvelse 10. Tobias Markeprand. 11. november 2008
Øvelse 10 Tobias Markeprand 11. november 2008 Kapitel 10 i Blanchard omhandler vækst, dvs. økonomien på det lange sigt. For at kunne foretage analyser af vækst og dets årsager må man kunne sammenligne
Læs mereDM547/MM537. Spørgsmål 2 (3%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.
DM547/MM537 Spørgsmål 1 (10%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1 Svar 1.b: x Z: y Z: x + y = 5 Svar 1.c: x Z: y Z: x + y = 5 Svar 1.d: x Z: y Z: x 2 + 2y = 0 Svar
Læs mereInduktion: fra naturlige tal til generaliseret skønhed Dan Saattrup Nielsen
36 Induktion: fra naturlige tal til generaliseret skønhed Dan Saattrup Nielsen En artikel om induktion, hvordan er det overhovedet muligt? Det er jo trivielt! Bevis ved induktion er en af de ældste matematiske
Læs mereUendelige rækker og Taylor-rækker
Uendelige rækker og Taylor-rækker Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige Folkeuniversitetet i København, efteråret 200 Thomas Bolander, FUKBH 0 s. /24 Forhold mellem endelighed
Læs mereSkriftlig eksamen i Datalogi
Roskilde Universitetscenter side 1 af 9 sider Skriftlig eksamen i Datalogi Modul 1 Vinter 1999/2000 Opgavesættet består af 6 opgaver, der ved bedømmelsen tillægges følgende vægte: Opgave 1 5% Opgave 2
Læs mereJa! det beviste vi uge 16+17
Ugens emner Lukketheds- og afgørlighedsegenskaber [5.3-5.5] lukkethed under,,,, * lukkethed under homomorfi og invers homomorfi pumping -lemmaet beslutningsproblemer: membership, emptiness, finiteness
Læs mereEpistemisk logik og kunstig intelligens
Epistemisk logik og kunstig intelligens Thomas Bolander, DTU Informatik Gæsteforelæsning i Kognitionsforskning II, CST, KU, efteråret 2009 Thomas Bolander, Kognitionsforskning II 09 s. 1/22 Logik Logik
Læs mereVidenskabslogik - Semmelweis Noter af Mogens Lilleør, 1998
A Videnskabslogik - Semmelweis Noter af Mogens Lilleør, 1998 Semmelweis er læge. Wiensk hospital i 1840'erne. Unormal forekomst af barselsfeber. Semmelweis foretager en række undersøgelser af mulige årsager
Læs mereLineære ligningssystemer
enote 2 1 enote 2 Lineære ligningssystemer Denne enote handler om lineære ligningssystemer, om metoder til at beskrive dem og løse dem, og om hvordan man kan få overblik over løsningsmængdernes struktur.
Læs mereMatematisk induktion
Induktionsbeviser MT01.0.07 1 1 Induktionsbeviser Matematisk induktion Sætninger der udtaler sig om hvad der gælder for alle naturlige tal n N, kan undertiden bevises ved matematisk induktion. Idéen bag
Læs mereRegularitet og Automater. Tobias Brixen Q4-2012
Regularitet og Automater Tobias Brixen Q4-2012 1 Noterne er skrevet med inspiration fra http://cs.au.dk/ illio/courses/dregaut/dregautnoter.pdf Contents 1 Regulære udtryk 3 1.1 RegEx.................................
Læs mereHøjere Teknisk Eksamen maj 2008. Matematik A. Forberedelsesmateriale til 5 timers skriftlig prøve NY ORDNING. Undervisningsministeriet
Højere Teknisk Eksamen maj 2008 HTX081-MAA Matematik A Forberedelsesmateriale til 5 timers skriftlig prøve NY ORDNING Undervisningsministeriet Fra onsdag den 28. maj til torsdag den 29. maj 2008 Forord
Læs mereKombinatorisk Spilteori
Bachelorprojekt i matematik Institut for matematiske fag, Københavns Universitet Kombinatorisk Spilteori Skrevet af: Thomas Nielsen Vejleder: Søren Eilers Contents 1 abstract 2 2 Sureelle tal 2 2.1 Konstruktion......................................
Læs mereEksamen i Diskret Matematik
Eksamen i Diskret Matematik Første Studieår ved Det Teknisk-Naturvidenskabelige Fakultet 10. juni, 2016. Kl. 9-13. Nærværende eksamenssæt består af 11 nummererede sider med ialt 16 opgaver. Alle opgaver
Læs mereDM549. Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1. Svar 2.h: x Z: y Z: x + y = 5. Svar 1.e: x Z: y Z: x + y < x y
DM549 Spørgsmål 1 (8%) Hvilke udsagn er sande? Which propositions are true? Svar 1.a: x Z: x > x 1 Svar 1.b: x Z: y Z: x + y = 5 Svar 1.c: x Z: y Z: x + y = 5 Svar 1.d: x Z: y Z: x 2 + 2y = 0 Svar 1.e:
Læs mereGrådige algoritmer. Et generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer.
Grådige algoritmer Grådige algoritmer Et generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer. Grådige algoritmer Et generelt algoritme-konstruktionsprincip ( paradigme ) for
Læs mereDM547 Diskret Matematik
DM547 Diskret Matematik Spørgsmål 1 (11%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z: 2n > n + 2 Svar 1.b:
Læs mere1 Beregnelighed. 1.1 Disposition. 1.2 Præsentation. Def. TM. Def. RE/R. Def. 5 egenskaber for RE/R. Def. NSA. Bevis. NSA!RE. Def. SA. Bevis. SA!
1 Beregnelighed 1.1 Disposition Def. TM Def. RE/R Def. 5 egenskaber for RE/R Def. NSA Bevis. NSA!RE Def. SA Bevis. SA!R Bevis. SA RE Def. Beslutningsproblem Arg. Self-Accepting er uløselig 1.2 Præsentation
Læs mereMM537 Introduktion til Matematiske Metoder
MM537 Introduktion til Matematiske Metoder Spørgsmål 1 (11%) Hvilke udsagn er sande? Husk, at symbolet betyder går op i. Which propositions are true? Recall that the symbol means divides. Svar 1.a: n Z:
Læs mereMundtlig prøve i Matematik
Mundtlig prøve i Matematik Tirsdag d. 9. september 2014 CFU Sjælland Mikael Scheby NTS-Center Øst Dagens indhold Prøvebekendtgørelse highlights Vekselvirkning mellem formalia, oplæg og arbejde med eksempler
Læs mereStøj er mindst mulig ved lavest mulig ISO indstilling Støj er mindst mulig ved største pixel (målt) i sensoren Lys mængde giver sig selv
Definition på dynamisk område: meget enkel & elegant! Forholdet mellem billedinformation og støj = billedinformation/støj Tabellen viser det enkle forhold: Man tæller simpelt hen antal fotoner fra henholdsvis
Læs mereMundtlig prøve i Matematik
Mundtlig prøve i Matematik Mandag d. 9. september 2013 CFU Sjælland Mikael Scheby Dagens indhold Velkomst, præsentation, formål med dagen Vekselvirkning mellem formalia, oplæg og arbejde med eksempler
Læs mereLøsning af præmie- og ekstraopgave
52 Læserbidrag Løsning af præmie- og ekstraopgave 23. årgang, nr. 1 Martin Wedel Jacobsen Både præmieopgaven og ekstraopgaven er specialtilfælde af en mere generel opgave: Hvor mange stykker kan en n-dimensionel
Læs mereBjælkeoptimering. Opgave #1. Afleveret: 2005.10.03 Version: 2 Revideret: 2005.11.07. 11968 Optimering, ressourcer og miljø. Anders Løvschal, s022365
Bjælkeoptimering Opgave # Titel: Bjælkeoptimering Afleveret: 005.0.0 Version: Revideret: 005..07 DTU-kursus: Underviser: Studerende: 968 Optimering, ressourcer og miljø Niels-Jørgen Aagaard Teddy Olsen,
Læs mereHvad skal vi lave i dag?
p. 1/2 Hvad skal vi lave i dag? Eksempler på stokastiske variable. Ventetid på krone ved møntkast. Antal plat ved n kast. Antal radioaktive henfald. Ventetiden på en flyulykke. Udtrækning af tal i et interval.
Læs mereKursus 02402 Introduktion til Statistik. Forelæsning 7: Kapitel 7 og 8: Statistik for to gennemsnit, (7.7-7.8,8.1-8.5) Per Bruun Brockhoff
Kursus 02402 Introduktion til Statistik Forelæsning 7: Kapitel 7 og 8: Statistik for to gennemsnit, (7.7-7.8,8.1-8.5) Per Bruun Brockhoff DTU Compute, Statistik og Dataanalyse Bygning 324, Rum 220 Danmarks
Læs mereAT-1. Oktober 09 + December 10 + November 11. CL+JW. Stenhus. side 1/5
AT-1. Oktober 09 + December 10 + November 11. CL+JW. Stenhus. side 1/5 1. 2. 3. 4. AT-1. Metodemæssig baggrund. Oktober 09. (NB: Til inspiration da disse papirer har været anvendt i gamle AT-forløb med
Læs merei x-aksens retning, så fås ). Forskriften for g fås altså ved i forskriften for f at udskifte alle forekomster af x med x x 0
BAndengradspolynomier Et polynomium er en funktion på formen f ( ) = an + an + a+ a, hvor ai R kaldes polynomiets koefficienter. Graden af et polynomium er lig med den højeste potens af, for hvilket den
Læs mereFormelsamling Matematik C
Formelsamling Matematik C Ib Michelsen Ikast 2011 Ligedannede trekanter Hvis to trekanter er ensvinklede har de proportionale sider (dvs. alle siderne i den ene er forstørrelser af siderne i den anden
Læs merePotensrækker. Morten Grud Rasmussen 1 10. november 2015. Definition 1 (Potensrække). En potensrække er en uendelig række på formen
Potensrækker Morten Grud Rasmussen 1 10 november 2015 Definition og konvergens af potensrækker Definition 1 Potensrække) En potensrække er en uendelig række på formen a n pz aq n, 1) hvor afsnittene er
Læs mereGrådige algoritmer. Et generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer.
Grådige algoritmer Grådige algoritmer Et generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer. Grådige algoritmer Et generelt algoritme-konstruktionsprincip ( paradigme ) for
Læs mereOpskriv følgende funktioner efter stigende orden med hensyn til O-notationen (bemærk at log n betegner totals logaritmen): n 2 (log n) 2 2.
Eksamen august Algoritmer og Datastrukturer (-ordning) Side af sider Opgave (%) n + n er O(n )? n / er O(n / )? n er O(n log n)? n er O((log n) )? n er Ω(n )? Ja Nej Opgave (%) Opskriv følgende funktioner
Læs mereMindste udspændende træ
Mindste udspændende træ Introduktion Repræsentation af vægtede grafer Egenskaber for mindste udspændende træer Prims algoritme Kruskals algoritme Philip Bille Mindste udspændende træ Introduktion Repræsentation
Læs mereJESUS ACADEMY TEMA: GUDS FULDE RUSTNING
Tro på Gud Det første punkt i troens grundvold er Omvendelse fra døde gerninger, og dernæst kommer Tro på Gud.! Det kan måske virke lidt underlig at tro på Gud kommer som nr. 2, men det er fordi man i
Læs mereNATURLIG STRALING I BYGNINGER.
NATURLIG STRALING I BYGNINGER. Overalt i vores omgivelser findes radioaktive stoffer, som udsender ioniserende stråling. Vores egen krop indeholder også radioaktive stoffer, og fra solen og verdensrummet
Læs mereIntroduktion til prædikatlogik
Introduktion til prædikatlogik Torben Braüner Datalogisk Afdeling Roskilde Universitetscenter 1 Plan Symbolisering af sætninger Syntaks Semantik 2 Udsagnslogik Sætningen er den mindste syntaktiske enhed
Læs mereKonvergens. Ofte stillede spørgsmål (FAQ) vedrørende den fælles praksis, version 2 CP4 Omfanget af beskyttelsen af varemærker i sort/hvid
EN DA Konvergens Ofte stillede spørgsmål (FAQ) vedrørende den fælles praksis, version 2 CP4 Omfanget af beskyttelsen af varemærker i sort/hvid 1. Er den fælles praksis forskellig fra den tidligere praksis?
Læs mereAlgoritmer og Datastrukturer 1
Algoritmer og Datastrukturer 1 Gerth Stølting Brodal Analyseværktøjer [CLRS, 1-3.1] Eksempler på en beregningsprocess Puslespil ved ombytninger Maximum delsum Hvad er udførselstiden for en algoritme? Maskinkode
Læs mereLEGALT PROVOKEREDE ABORTER FORDELT PÅ ETNICITET 2000-2005
LEGALT PROVOKEREDE ABORTER FORDELT PÅ ETNICITET 2000-2005 Nye tal fra Sundhedsstyrelsen 2007 : 02 Redaktion: Sundhedsstyrelsen Sundhedsstatistik Islands Brygge 67 2300 København S. Telefon: 7222 7400 Telefax:
Læs mereParadokser og Opgaver
Paradokser og Opgaver Mogens Esrom Larsen (MEL) Vi modtager meget gerne læserbesvarelser af opgaverne, samt forslag til nye opgaver enten per mail (gamma@nbi.dk) eller per almindelig post (se adresse på
Læs mereTillæg til noter om rentestrukturteori
Tillæg til noter om rentestrukturteori 1 Forward Renter Lidt notation, hvor i afhængigheden af kalendertid undertrykkes. R (t) Den t årige nulkuponrente (spotrente) i procent p.a. d (t) den t årige diskonteringsfaktor
Læs mereRegularitet og Automater
Plan dregaut 2007 Regularitet og Automater Hvad er Regularitet og Automater? Praktiske oplysninger om kurset Ugens emner Introduktion til ugens opgaver 2 Regularitet og Automater Formål med kurset: at
Læs mereReeksamen i Diskret Matematik
Reeksamen i Diskret Matematik Første Studieår ved Det Teknisk-Naturvidenskabelige Fakultet 21. august 2015 Nærværende eksamenssæt består af 10 nummererede sider med ialt 17 opgaver. Tilladte hjælpemidler:
Læs mereAristoteles Metafysik 2. bog (a) oversat af Chr. Gorm Tortzen
Aristoteles Metafysik 2. bog (a) oversat af Chr. Gorm Tortzen Indledning Denne lille bog (eller fragment af en bog, kaldet Lille alfa ) er en selvstændig introduktionsforelæsning til fysikken, dvs. det
Læs mereLogik. Af Peter Harremoës Niels Brock
Logik Af Peter Harremoës Niels Brock December 2009 1 Indledning Disse noter om matematisk logik er en videreudbygning af det, som står i bogen MAT A [1]. Vi vil her gå lidt mere systematisk frem og være
Læs mereGödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik UNF foredrag, HCØ, 13. april 2010 Thomas Bolander, UNF, F10 s. 1/34 Introduktion En populær formulering af Gödel s (første) ufuldstændighedssætning
Læs mereDen fri Hestehaveskole
Den fri Hestehaveskole Anerkendende refleksion - ET GODT PÆDAGOGISK VÆRKTØJ I MANGE SAMMENHÆNGE Pædagogiske grundantagelser ü Trivsel og selvværd er forudsætninger for læring. ü Det er vigtigt at gå med
Læs mereEksamen i Diskret Matematik
Eksamen i Diskret Matematik Første Studieår ved Det Tekniske Fakultet for TT og Design samt Det Ingeniør- og Naturvidenskabelige Fakultet 29. maj 2017. Kl. 9-13. Nærværende eksamenssæt består af 11 nummererede
Læs mereTalteori II. C-serien består af disse arbejdskort: C1 Talteori på forskellige klassetrin C2 Den pythagoræiske tripelsætning
1 Talteori er ikke direkte nævnt i Fælles Mål 2009 som et fagområde, alle skal arbejde med. Det betyder dog ikke, at talteori nødvendigvis må vælges fra som indhold i skolen. Faktisk kan det tænkes, at
Læs mereMatematik A. Højere handelseksamen. 1. Delprøve, uden hjælpemidler. Mandag den 20. december 2010. kl. 9.00-14.00
Matematik A Højere handelseksamen 1. Delprøve, uden hjælpemidler kl. 9.00-10.00 hhx103-mat/a-01010 Mandag den 0. december 010 kl. 9.00-14.00 Matematik A Prøven uden hjælpemidler Dette opgavesæt består
Læs mere17 Søgning og Søgetræer.
17 Søgning og Søgetræer. Lineær og inær søgning i lister. inære søgetræer. Søgning efter knude i træ. Indsættelse af knude i træ. Søgning i og sortering af inært søgetræ. Sletning af knude i inært søgetræ.
Læs mereSkriftlig eksamen, Programmer som Data Onsdag 6. januar Spørgsmål 1 (20 %): Regulære udtryk og automater
Skriftlig eksamen, Programmer som Data Onsdag 6. januar 2010 Dette eksamenssæt har 5 sider. Tjek med det samme at du har alle siderne. Eksamens varighed er 4 timer. Der er fire spørgmål. For at få fuldt
Læs mereIntroduktion til Laplace transformen (Noter skrevet af Nikolaj Hess-Nielsen sidst revideret marts 2013)
Introduktion til Laplace transformen (oter skrevet af ikolaj Hess-ielsen sidst revideret marts 23) Integration handler ikke kun om arealer. Tværtimod er integration basis for mange af de vigtigste værktøjer
Læs mereKom i gang-opgaver til differentialregning
Kom i gang-opgaver til differentialregning 00 Karsten Juul Det er kortsigtet at løse en opgave ved blot at udskifte tallene i en besvarelse af en tilsvarende opgave Dette skyldes at man så normalt ikke
Læs mereDansk Datalogi Dyst 2015 DDD Runde 2
. 19. februar, 2015 linetest DK v1.0 Line Test Sigurd er begyndt i gymnasiet og har lært om linjer på formen f(x) = ax + b. Han har prøvet at tegne nogle linjer på papir for at finde ud af hvilke koordinater
Læs mereEksamen i Diskret Matematik
Eksamen i Diskret Matematik Første Studieår ved Det Tekniske Fakultet for IT og Design samt Det Ingeniør- og Naturvidenskabelige Fakultet 29. maj 2017. Kl. 9-13. Nærværende eksamenssæt består af 11 nummererede
Læs mereMonteringsanvisning for databus. Monteringsanvisning for databus. 1.0 Kabel føring
Vigtigt Monteringsanvisning for databus Læs og forstå denne monteringsanvisning før databus kablet monteres. 1.0 Kabel type Der må som databus kabel kun anvendes følgende godkendte type kabel: 1.0 Kabel
Læs mereSammenhængskomponenter i grafer
Sammenhængskomponenter i grafer Ækvivalensrelationer Repetition: En relation R på en mængde S er en delmængde af S S. Når (x, y) R siges x at stå i relation til y. Ofte skrives x y, og relationen selv
Læs mereOm matematisk logik. Henning Christiansen, Troels Andreasen
Om matematisk logik Henning Christiansen, Troels Andreasen Contents 1 Indledning 3 2 Propositionel logik 5 2.1 Propositionelle logiksprog..................... 5 2.1.1 Syntaks...........................
Læs mereGrådige algoritmer. Et generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer.
Grådige algoritmer Grådige algoritmer Et generelt algoritme-konstruktionsprincip ( paradigme ) for optimeringsproblemer. Grådige algoritmer Et generelt algoritme-konstruktionsprincip ( paradigme ) for
Læs mereOversættere / Datalogi 1E
Københavns Universitet Naturvidenskabelig Embedseksamen Oversættere / Datalogi 1E Skriftlig eksamen onsdag d. 26. januar 2005 Eksamenstiden er to timer. Opgavernes vægt i procent er angivet ved hver opgave.
Læs mereArgumentationsanalyse
Navn: Jan Pøhlmann Jessen Fødselsdato: 10. juni 1967 Hold-id.: 4761-F14; ÅU FILO Marts 2014 Åbent Universitet Københavns Universitet Amager Filosofi F14, Argumentation, Logik og Sprogfilosofi Anvendte
Læs mereNoter til C# Programmering Iteration
Noter til C# Programmering Iteration Programflow Programmer udfører det meste af deres arbejde vha. forgrening og løkker. Løkker Mange programmeringsproblemer kan løses ved at gentage en handling på de
Læs mereINSTITUT FOR DATALOGI, AARHUS UNIVERSITET
INSTITUT FOR ATALOGI, AARHUS UNIVERSITET Science and Technology EKSAMEN Algoritmer og atastrukturer (00-ordning) Antal sider i opgavesættet (incl. forsiden): (elleve) Eksamensdag: Fredag den. august 0,
Læs mereNaturvidenskab. En fællesbetegnelse for videnskaberne om naturen, dvs. astronomi, fysik, kemi, biologi, naturgeografi, biofysik, meteorologi, osv
Naturvidenskab En fællesbetegnelse for videnskaberne om naturen, dvs. astronomi, fysik, kemi, biologi, naturgeografi, biofysik, meteorologi, osv Naturvidenskab defineres som menneskelige aktiviteter, hvor
Læs mereNogle grundlæggende begreber
BE2-kursus 2010 Jørgen Larsen 5. februar 2010 Nogle grundlæggende begreber Lidt simpel mængdelære Mængder består af elementer; mængden bestående af ingen elementer er, den tomme mængde. At x er element
Læs mereTalteori. Teori og problemløsning. Indhold. Talteori - Teori og problemløsning, marts 2014, Kirsten Rosenkilde.
Indhold 1 Delelighed, primtal og primfaktoropløsning Omskrivning vha. kvadratsætninger 4 3 Antal divisorer 6 4 Største fælles divisor og Euklids algoritme 7 5 Restklasser 9 6 Restklasseregning og kvadratiske
Læs mereFrank Villa. 15. juni 2012
2 er irrationel Frank Villa 15. juni 2012 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som aonnerer på MatBog.dk. Se yderligere etingelser for rug her. Indhold 1 Introduktion
Læs mereOpskriv følgende funktioner efter stigende orden med hensyn til O-notationen: 5n 4. logn. n 4n 5 n/logn. n n/logn 5n
Algoritmer og Datastrukturer (-ordning) Side af sider Opgave (%) n er O(n 7 )? (logn) er O( n)? n(logn) er O(n)? n er O( n )? n er Ω(n )? Opgave (%) Opskriv følgende funktioner efter stigende orden med
Læs mereRådet for Den Europæiske Union Bruxelles, den 12. november 2015 (OR. en)
Rådet for Den Europæiske Union Bruxelles, den 12. november 2015 (OR. en) 13998/15 CONSOM 190 MI 714 FØLGESKRIVELSE fra: Europa-Kommissionen modtaget: 29. oktober 2015 til: Generalsekretariatet for Rådet
Læs mereINSTITUT FOR DATALOGI, AARHUS UNIVERSITET
INSTITUT FOR DATALOGI, AARHUS UNIVERSITET Science and Technology EKSAMEN Antal sider i opgavesættet (incl. forsiden): 6 (seks) Eksamensdag: Fredag den 22. juni 2012, kl. 9.00-13.00 Eksamenslokale: Finlandsgade
Læs mereGrafer og graf-gennemløb
Grafer og graf-gennemløb Grafer En mængde V af knuder (vertices). En mængde E V V af kanter (edges). Dvs. ordnede par af knuder. Figur: Terminologi: n = V, m = E (eller V og E (mis)bruges som V og E ).
Læs mereEksempel 9.1. Areal = (a 1 + b 1 )(a 2 + b 2 ) a 1 a 2 b 1 b 2 2a 2 b 1 = a 1 b 2 a 2 b 1 a 1 a 2 = b 1 b 2
Oversigt [LA] 9 Nøgleord og begreber Helt simple determinanter Determinant defineret Effektive regneregler Genkend determinant nul Test determinant nul Produktreglen Inversreglen Test inversregel og produktregel
Læs mereBibelens syn på autoriteter
Møde i Bibelens syn på autoriteter Disposition 1. Definition af autoritet 2. Autoritetstabets historie 3. Bibelens autoritet 4. Treenighedens autoritet 5. Afledte autoriteter 6. Kefalæ-strukturen a) kirken
Læs mereMatematikken bag kryptering og signering RSA
Matematikken bag kryptering og signering RSA Oversigt 1 Indbyrdes primiske tal 2 Regning med rester 3 Kryptering og signering ved hjælp af et offentligt nøgle kryptosystem RSA Indbyrdes primiske hele tal
Læs mereRetningslinjer for bedømmelsen Georg Mohr-Konkurrencen 2013 2. runde
Retningslinjer for bedømmelsen Georg Mohr-Konkurrencen 2013 2. runde esvarelser som falder uden for de løsninger som ligger til grund for pointskemaerne, bedømmes ved analogi så skridt med tilsvarende
Læs mere