Gödels ufuldstændighedssætninger
|
|
- Oscar Juhl
- 8 år siden
- Visninger:
Transkript
1 Gödels ufuldstændighedssætninger Thomas Bolander, DTU Compute UNF foredrag, HCØ, 16. september 2014 (c_e)l[^ga=f]2 (F[_E_B])L[=A,_Ac]L[=E,_B,_E]- [E,B,E]2L[F,=B,=E]2 L[^F,C=F] Thomas Bolander, UNF, 16/ s. 1/29
2 Lidt om mig selv Thomas Bolander Lektor i logik og kunstig intelligens ved DTU Compute, Danmarks Tekniske Universitet (siden 2007). Aktuel forskning: At udstyre kunstig intelligens-systemer med en Theory of Mind. Aktuel undervisning pa DTU: diskret matematik (logik), kunstig intelligens, multiagent-systemer, adjunktpædagogikum. Thomas Bolander, UNF, 16/ s. 2/29
3 Gödels ufuldstændighedssætning Ufuldstændighedssætningen: Publiceret i 1931 af Kurt Gödel (som 25-årig!). En af det 20. århundredes mest berømte matematiske sætninger. Populær formulering: Der findes sande matematiske sætninger som ikke kan bevises. Truer matematikkens grundlag som netop er sikkerhed gennem bevis. Revolutionerende: Bruger matematiske metoder til at vise begrænsningen i matematiske metoder. Thomas Bolander, UNF, 16/ s. 3/29
4 Den oprindelige formulering Den populære formulering (sande sætninger som ikke kan bevises) er naturligvis for upræcis til at kunne bevises. Hvorfor? Oprindelig formulering af Gödels Ufuldstændighedssætning: Zu jeder ω-widerspruchsfreien rekursiven Klasse κ von Formeln gibt es rekursive Klassenzeichen r, so daß weder v Gen r noch Neg(v Gen r) zu Flg(κ) gehört (wobei v die freie Variable aus r ist). Denne formulering giver ikke mening for særligt mange mennesker, så lad os prøve at simplificere den lidt... Thomas Bolander, UNF, 16/ s. 4/29
5 Simplificeret formulering Simplificeret formulering af Gödels Ufuldstændighedssætning: I ethvert konsistent formelt system som indeholder talteori findes udsagn som hverken kan bevises eller modbevises. Intuitivt: Systemet kan udtrykke udsagn, som det ikke selv kan afgøre om er sande eller ej. Men formuleringen er stadig kryptisk. Hvad er et formelt system? Og hvad er talteori? Og hvad er konsistens? Inden vi besvarer disse spørgsmål, så lad os se på nogen af de fortolkninger som resultatet har givet anledning til... Thomas Bolander, UNF, 16/ s. 5/29
6 Fortolkninger af ufuldstændighedssætningen Gödels ufuldstændighedssætning er blevet givet meget vidtrækkende fortolkninger, f.eks.: Der findes sande matematiske sætninger som ikke kan bevises. Der er grænser for vores mulighed for erkendelse af sandhed gennem logiske argumenter. Der er grænser for den rationelle tankegangs rækkevidde. Mennesker er klogere end maskiner (John R. Lucas, Roger Penrose). Modsat computere har mennesker en fri vilje (John R. Lucas). Gödel beviste at mennesker ved mere end de kan vide, hvorfra de ved (Tor Nørretranders i Mærk Verden). Thomas Bolander, UNF, 16/ s. 6/29
7 Formelle systemer Gödels sætning udtaler sig i første omgang kun om formelle systemer. Formelle systemer er formelle, matematiske strukturer som modellerer en del af verden. model modelleret virkelighed Thomas Bolander, UNF, 16/ s. 7/29
8 Modeller og formelle systemer En model kan være et billede: Thomas Bolander, UNF, 16/ s. 8/29
9 Modeller og formelle systemer: Sproglig beskriv En model kan være en sproglig beskrivelse: 1. Småkagedåsen ligger på bordet 2. Den grønne terning ligger på småkagedåsen 3. Den røde terning ligger på den grønne terning 4. Den grønne terning ligger højere end kagedåsen 5. Den røde terning ligger højere end den grønne terning 6. Den røde terning ligger højere end kagedåsen Thomas Bolander, UNF, 16/ s. 9/29
10 Modeller og formelle systemer En model kan være en formaliseret sproglig beskrivelse: 1. på(kagedåse, bord) 2. på(grøn terning, kagedåse) 3. på(rød terning, grøn terning) 4. højere(grønne terning, kagedåse) 5. højere(røde terning, grønne terning) 6. højere(røde terning, kagedåse) Thomas Bolander, UNF, 16/ s. 10/29
11 Modeller og formelle systemer En model kan være en række formler i et formelt system: 1. på(kagedåse, bord) 2. på(grøn terning, kagedåse) 3. på(rød terning, grøn terning) 4. på(x, y) højere(x, y) 5. højere(x, y)&højere(y, z) højere(x, z) Thomas Bolander, UNF, 16/ s. 11/29
12 Modeller og formelle systemer En model kan være et formelt system: en mængde af aksiomer og en række slutningsregler: Aksiomer: (A1) på(kagedåse, bord) (A2) på(grøn terning, kagedåse) (A3) på(rød terning, grøn terning) (A4) på(x, y) højere(x, y) (A5) højere(x, y) & højere(y, z) højere(x, z) Slutningsregler: (S1) Udfra φ ψ og φ kan sluttes ψ. (S2) Udfra φ og ψ kan sluttes φ & ψ. (S3) Variable (f.eks. x) kan erstattes med konstanter (f.eks. rød terning). Thomas Bolander, UNF, 16/ s. 12/29
13 Formelle systemer Formelle systemer består af en mængde aksiomer og en mængde slutningsregler. Et bevis i et formelt system er en endelig sekvens af formler hvor der for hver formel gælder en af følgende: 1. Formlen er et aksiom. 2. Formlen følger af de foregående formler ved brug af en af slutningsreglerne. En formel kan bevises (er bevisbar) hvis der findes et bevis for den. Den kan modbevises (er modbevisbar) hvis det modsatte udsagn kan bevises. Thomas Bolander, UNF, 16/ s. 13/29
14 Formelle systemer for talteori Gödel ser ikke på formelle systemer for kagedåser og skumterninger, men formelle systemer for talteori. Formelt system for talteori: Aksiomerne inkluderer bl.a.: x + 0 = x x x (y + 1) = x y + x Slutningsreglerne inkluderer bl.a.: Udfra φ ψ og φ kan sluttes ψ. Konsistens: Et formelt system kaldes konsistent hvis der ikke findes formler som både kan bevises og modbevises. Nu kan vi bedre forstå den simplificerede udgave af Gödels Ufuldstændighedssætning: I ethvert konsistent formelt system som indeholder talteori findes udsagn som hverken kan bevises eller modbevises. Thomas Bolander, UNF, 16/ s. 14/29
15 Modeller der modellerer sig selv Formelle systemer er som sagt en slags modeller. To typer af modeller: 1. Modeller som er komplet adskilt fra den virkelighed de modellerer. F.eks. Legolands model af Big Ben eller det formelle system for kagedåserne. 2. Modeller som selv er en del af den virkelighed de modellerer. F.eks. en model af Legoland inde i Legoland. Eller et menneske der forsøger at skabe en model af sig selv. Hvilken type model er mon et formelt system for talteori? Modeller af den anden type giver ofte anledning til problemer i form af selvreference. Selvreference bruges om objekter som refererer til sig selv. Det sker ved at en del af objektet refererer til objektet som helhed. Thomas Bolander, UNF, 16/ s. 15/29
16 Eksempler på selvreference Sætninger: Denne sætning indeholder 5 ord. Billeder: Thomas Bolander, UNF, 16/ s. 16/29
17 Eksempler på selvreference Regler: Alle regler har en undtagelse. Fraktaler: Thomas Bolander, UNF, 16/ s. 17/29
18 Problemet med selvreference (og modeller som modellerer sig selv) Problemet med selvreference er at det kan lede til paradokser. Paradoks: Et tilsyneladende korrekt ræssonement der, baseret på tilsyneladende korrekte antagelser, leder til en modstrid. Et af de mest berømte paradokser er løgnerparadokset... Thomas Bolander, UNF, 16/ s. 18/29
19 Løgnerparadokset Løgnerparadokset bygger på løgnersætningen L: L: Denne sætning er falsk. Spørgsmålet er nu: Er løgnersætningen L sand eller falsk? Egenskaber: Selvrefererende + paradoksal. Thomas Bolander, UNF, 16/ s. 19/29
20 Fra løgnersætning til Gödelformel Gödels bevis bygger på Gödelformlen G som udtrykker: G: Denne formel kan modbevises. (Bemærk selvreference & relation til løgnersætning). Spørgsmålet er nu: Kan formlen G bevises eller ej? 1. G kan bevises G er sand G kan modbevises. 2. G kan ikke bevises vi kan ikke bevise at G kan modbevises vi kan ikke modbevise G. Konklusion. Der må gælde en af følgende: 1. G kan både bevises og modbevises. 2. G kan hverken bevises eller modbevises. Altså: Hvis systemet er konsistent (ikke 1), så er det findes der formler som hverken kan bevises eller modbevises (2). Dette er netop formuleringen i Gödels sætning! Thomas Bolander, UNF, 16/ s. 20/29
21 Fra Gödelformel til ufuldstændighedssætning Hvad vi har (fra foregående slide): I ethvert konsistent system som kan udtrykke Gödelformlen findes der formler som hverken kan bevises eller modbevises. Hvad vi vil vise (jvf. starten af forelæsning): I ethvert konsistent formelt system som indeholder talteori findes der formler som hverken kan bevises eller modbevises. Hvad vi mangler at vise: Formelt system indeholder talteori kan udtrykke Gödelformel. (Altså at talteori er tilstrækkeligt til at systemet kan modellerer sig selv og dermed referere til sig selv). Gödelformel ufuldstændighed + talteori Gödelformel = talteori ufuldstændighed Thomas Bolander, UNF, 16/ s. 21/29
22 Talteori Formelt system indeholder talteori hvis: Kan udtrykke egenskaber ved de naturlige tal 0, 1, 2,.... Har passende aksiomer for de naturlige tal, f.eks. x Mål: Indenfor sådanne systemer at udtrykke Gödelformlen: Denne formel kan modbevises. Udfordring: Formler i talteori taler om tal og egenskaber ved tal. Vi skal have dem til i stedet at tale om formler og egenskaber ved formler (så vi kan danne Gödelformlen). Antag de eneste objekter du må tale om er tal. Hvordan vil du da tale om objekterne i dette rum? Thomas Bolander, UNF, 16/ s. 22/29
23 Gödel-nummerering Gödel-nummerering: Hver formel ϕ i det formelle system får et entydig nummer (et CPR-nummer ). Dette nummer kaldes Gödelnummeret af formlen, og betegnes ϕ. Pointen er: Formelle systemer indeholdende talteori kan da udtrykke egenskaber ved formler via deres Gödelnumre > 2 2 > 1 Thomas Bolander, UNF, 16/ s. 23/29
24 Selvreference i formelle systemer Vigtigste egenskab ved formler: Er de bevisbare eller ej? Denne egenskab indfanger Gödel i en formel bevisbar(x). Der gælder: formlen ϕ kan bevises formlen bevisbar( ϕ ) kan bevises. Intuitivt: Formlen bevisbar(x) tillader systemet at tale om hvilke formler der er bevisbare i systemet selv (via deres Gödelnumre)! Formlen bevisbar(x) er et alvidende orakel for systemet. Hvad er relationen til selvreference? Thomas Bolander, UNF, 16/ s. 24/29
25 Gödelformlen Gödel konstruerer en formel G så følgende er bevisbart: G bevisbar( G ). Her står G for negationen af G, dvs. formlen som udtrykker ikke-g. Intuitivt: G udtrykker at dens egen negation er bevisbar. Altså: Denne formel kan modbevises. Dvs. Gödelformlen. Konklusion: Gödelformlen kan udtrykkes i ethvert system som indeholder talteori. Thomas Bolander, UNF, 16/ s. 25/29
26 Opsummering af ufuldstændighedssætningen Gödels ufuldstændighedssætning. I ethvert konsistent formelt system som udvider talteori findes der formler som hverken kan bevises eller modbevises. Bevisskitse: Introducér Gödelnummerering i systemet (via talteori). Konstruér formlen bevisbar(x) som udtrykker bevisbarhed indenfor systemet selv (via Gödelnumre). Konstruér formlen G som udtrykker sin egen modbevisbarhed. Der må nu gælde en af følgende: 1. G kan både bevises og modbevises. 2. G kan hverken bevises eller modbevises. Da vi har antaget konsistens, må 2 gælde. Dette er den ønskede konklusion, og beviset er hermed fuldført. Thomas Bolander, UNF, 16/ s. 26/29
27 Konsekvenser af Gödels Ufuldstændighedssætning Umiddelbart siger Gödels Ufuldstændighedssætning kun noget om formelle systemer. Svarer sædvanlig matematisk praksis til et formelt system? I så fald siger Gödels sætning også noget om begrænsninger i den matematiske metode. Er mennesker underlagt de samme begrænsninger i ræssonering som formelle systemer? I så fald siger Gödels sætning potentielt noget om grænser for vores erkendelse. Hvis ikke, siger den noget menneskers overlegenhed i forhold til maskiner. Gödels sætning er med sikkerhed sand: et matematisk resultat omkring matematiske strukturer (formelle systemer). Men matematisk praksis og menneskelig tænkning er ikke matematiske strukturer, så dem kan vi ikke sige noget om med samme matematiske sikkerhed. Albert Einstein: As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality. Thomas Bolander, UNF, 16/ s. 27/29
28 Fortolkninger af ufuldstændighedssætningen Gödels ufuldstændighedssætning er blevet givet meget vidtrækkende fortolkninger, f.eks.: Der findes sande matematiske sætninger som ikke kan bevises. Der er grænser for vores mulighed for erkendelse af sandhed gennem logiske argumenter. Der er grænser for den rationelle tankegangs rækkevidde. Mennesker er klogere end maskiner (John R. Lucas, Roger Penrose). Modsat computere har mennesker en fri vilje (John R. Lucas). Gödel beviste at mennesker ved mere end de kan vide, hvorfra de ved (Tor Nørretranders i Mærk Verden). Disse kan dog ikke være direkte konsekvenser af Gödels sætning. Thomas Bolander, UNF, 16/ s. 28/29
29 Pinocchios paradoks Thomas Bolander, UNF, 16/ s. 29/29
Gödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige 2 Folkeuniversitetet i København, efteråret 2011 Thomas Bolander, FUKBH 11 s. 1/21 Gödels ufuldstændighedssætning
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 mereGödels ufuldstændighedssætninger
Gödels ufuldstændighedssætninger Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige Folkeuniversitetet i København, efteråret 2009 Thomas Bolander, FUKBH 09 s. 1/27 Gödels første ufuldstændighedssætning
Læs mereSelvreference i begrænsningsresultaterne
Selvreference i begrænsningsresultaterne Thomas Bolander, IMM, DTU. tb@imm.dtu.dk To pointer: (1) Der skal kun meget lidt udover selvreference til for at få de klassiske logiske begrænsningsresultater.
Læs mereThomas Bolander og Helge Elbrønd Jensen. 7. marts 2005
Om Gödels sætning Thomas Bolander og Helge Elbrønd Jensen 7. marts 2005 Resumé Gödels sætning er en af det 20. århundredes mest berømte matematiske sætninger. Den er kendt langt ud over de professionelle
Læs mereUfuldstændighed, mængdelære og beregnelighed
Ufuldstændighed, mængdelære og beregnelighed Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige Folkeuniversitetet i København, efteråret 2009 Thomas Bolander, FUKBH 09 s. 1/27 Sidste
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 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 mereProjekt 10.1 Er der huller i Euklids argumentation? Et moderne aksiomsystem (især for A)
Projekt 10.1 Er der huller i Euklids argumentation? Et moderne aksiomsystem (især for A) Indhold Introduktion... 2 Hilberts 16 aksiomer Et moderne, konsistent og fuldstændigt aksiomsystem for geometri...
Læs mereGödel: Über formal unentschiedbare Sätze der Principia Mathematica und verwandter Systeme I, 1931
Kommentar til 1 Gödel: Über formal unentschiedbare Sätze der Principia Mathematica und verwandter Systeme I, 1931 Denne afhandling af den 24-årige Kurt Gödel er blevet en klassiker. Det er vist den eneste
Læs mereHenrik Bulskov Styltsvig
Matematisk logik Henrik Bulskov Styltsvig Datalogiafdelingen, hus 42.1 Roskilde Universitetscenter Universitetsvej 1 Postboks 260 4000 Roskilde Telefon: 4674 2000 Fax: 4674 3072 www.dat.ruc.dk Disposition
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 mereArealer under grafer
HJ/marts 2013 1 Arealer under grafer 1 Arealer og bestemt integral Som bekendt kan vi bruge integralregning til at beregne arealer under grafer. Helt præcist har vi denne sætning. Sætning 1 (Analysens
Læs mereAfstandsformlerne i Rummet
Afstandsformlerne i Rummet Frank Nasser 12. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:
Læs mereOpgave 1 Alle tallene er reelle tal, så opgaven er at finde den mindste talmængde, som resultaterne tilhører.
Opgave 1 Alle tallene er reelle tal, så opgaven er at finde den mindste talmængde, som resultaterne tilhører. A. Q B. R (sidelængden er 5, som er irrational) C. Q Opgave 2 A. 19 = 1 19 24 = 2 3 3 36 =
Læs mereTALTEORI Wilsons sætning og Euler-Fermats sætning.
Wilsons sætning og Euler-Fermats sætning, marts 2007, Kirsten Rosenkilde 1 TALTEORI Wilsons sætning og Euler-Fermats sætning. Disse noter forudsætter et grundlæggende kendskab til talteori som man kan
Læs mereForslag til løsning af Opgaver til ligningsløsning (side172)
Forslag til løsning af Opgaver til ligningsløsning (side17) Opgave 1 Hvis sønnens alder er x år, så er faderens alder x år. Der går x år, før sønnen når op på x år. Om x år har faderen en alder på: x x
Læs mereHypotese test. Repetition fra sidst Hypoteser Test af middelværdi Test af andel Test af varians Type 1 og type 2 fejl Signifikansniveau
ypotese test Repetition fra sidst ypoteser Test af middelværdi Test af andel Test af varians Type 1 og type fejl Signifikansniveau Konfidens intervaller Et konfidens interval er et interval, der estimerer
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 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 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 mereSecret Sharing. Olav Geil Institut for Matematiske Fag Aalborg Universitet email: olav@math.aau.dk URL: http://www.math.aau.dk/ olav.
1 Læsevejledning Secret Sharing Olav Geil Institut for Matematiske Fag Aalborg Universitet email: olav@math.aau.dk URL: http://www.math.aau.dk/ olav September 2006 Nærværende note er tænkt som et oplæg
Læs mereDifferentiation af Logaritmer
Differentiation af Logaritmer Frank Nasser 11. juli 2011 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Indhold
Læs mere01017 Diskret Matematik E12 Alle bokse fra logikdelens slides
01017 Diskret Matematik E12 Alle bokse fra logikdelens slides Thomas Bolander 1 Udsagnslogik 1.1 Formler og sandhedstildelinger symbol står for ikke eller og ( A And) hvis... så... hvis og kun hvis...
Læs meret a l e n t c a m p d k Matematiske Metoder Anders Friis Anne Ryelund 25. oktober 2014 Slide 1/42
Slide 1/42 Hvad er matematik? 1) Den matematiske metode 2) Hvad vil det sige at bevise noget? 3) Hvor begynder det hele? 4) Hvordan vælger man et sæt aksiomer? Slide 2/42 Indhold 1 2 3 4 Slide 3/42 Mængder
Læs mereFormelle systemer og aksiomatisk mængdelære
Formelle systemer og aksiomatisk mængdelære Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige 2 Folkeuniversitetet i København, efteråret 2011 Thomas Bolander, FUKBH 11 s. 1/32 Lidt
Læs mereStatistikkompendium. Statistik
Statistik INTRODUKTION TIL STATISTIK Statistik er analyse af indsamlet data. Det vil sige, at man bearbejder et datamateriale, som i matematik næsten altid er tal. Derved får man et samlet overblik over
Læs mereTALTEORI Wilsons sætning og Euler-Fermats sætning.
Wilsons sætning og Euler-Fermats sætning, marts 2007, Kirsten Rosenkilde 1 TALTEORI Wilsons sætning og Euler-Fermats sætning. Disse noter forudsætter et grundlæggende kendskab til talteori som man kan
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 merePotens & Kvadratrod. Navn: Klasse: Matematik Opgave Kompendium. Opgaver: 22 Ekstra: 4 Point: Matematik / Potens & Kvadratrod
Navn: Klasse: Matematik Opgave Kompendium Potens & Kvadratrod Opgaver: Ekstra: Point: http://madsmatik.dk/ d.0-0-01 1/1 Potenser: Du har måske set udtrykket før eller måske 10 1. Begge to er det vi kalder
Læs mereTALTEORI Primfaktoropløsning og divisorer.
Primfaktoropløsning og divisorer, oktober 2008, Kirsten Rosenkilde 1 TALTEORI Primfaktoropløsning og divisorer. Disse noter forudsætter et grundlæggende kendskab til talteori som man kan få i Marianne
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 mereMatematik D. Almen voksenuddannelse. Skriftlig prøve. Fredag den 11. december 2015 kl. 9.00-13.00 AVU151-MAT/D. (4 timer)
Matematik D Almen voksenuddannelse Skriftlig prøve (4 timer) AVU151-MAT/D Fredag den 11. december 2015 kl. 9.00-13.00 Økonomi Matematik niveau D Skriftlig matematik Opgavesættet består af: Opgavehæfte
Læs mereKryptografi Anvendt Matematik
Kryptografi Anvendt Matematik af Marc Skov Madsen PhD-studerende Matematisk Institut, Aarhus Universitet email: marc@imf.au.dk Kryptografi p.1/23 Kryptografi - Kryptografi er læren om, hvordan en tekst
Læs mereTeoretisk og praktisk beregnelighed
Teoretisk og praktisk beregnelighed Thomas Bolander, DTU Informatik Matematik: Videnskaben om det uendelige 2 Folkeuniversitetet i København, efteråret 2011 Thomas Bolander, FUKBH 11 s. 1/28 Beregnelighed:
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 mereGrafteori, Kirsten Rosenkilde, september 2007 1. Grafteori
Grafteori, Kirsten Rosenkilde, september 007 1 1 Grafteori Grafteori Dette er en kort introduktion til de vigtigste begreber i grafteori samt eksempler på opgavetyper inden for emnet. 1.1 Definition af
Læs mereFunktioner af flere variable
Funktioner af flere variable Stud. Scient. Martin Sparre Københavns Universitet 23-10-2006 Definition 1 (Definition af en funktion af flere variable). En funktion af n variable defineret på en delmængde,
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 mereBogstavregning. Formler... 46 Reduktion... 47 Ligninger... 48. Bogstavregning Side 45
Bogstavregning Formler... 6 Reduktion... 7 Ligninger... 8 Bogstavregning Side I bogstavregning skal du kunne regne med bogstaver og skifte bogstaver ud med tal. Formler En formel er en slags regne-opskrift,
Læs mereEtiske principper (og hensyn) for prioriteringer i sundhedsarbejdet
CENTER FOR STUDIER AF LIGHED OG MULTIKULTURALISME/FØDEVAREØKONOMISK INSTITUT, LIFE Etiske principper (og hensyn) for prioriteringer i sundhedsarbejdet Morten Ebbe Juul Nielsen, Adjunkt Københavns Universitet,
Læs meretre gange. Der er ikke noget at sige til, hvis Peter sidder og vrider sig lidt i den dårlige samvittighed.
Gudstjeneste i Skævinge & Lille Lyngby Kirke den 3. april 2016 Kirkedag: 1.s.e.påske/B Tekst: Joh 21,15-19 Salmer: SK: 749 * 447 * 449 * 212 * 249 * 199,5 * 218 LL: 403 * 7 * 249 * 199,5 * 218 Der står
Læs mereDen bedste dåse, en optimeringsopgave
bksp-20-15e Side 1 af 7 Den bedste dåse, en optimeringsopgave Mange praktiske anvendelser af matematik drejer sig om at optimere en variabel ved at vælge en passende kombination af andre variable. Det
Læs mere2013-7. Vejledning om mulighederne for genoptagelse efter såvel lovbestemte som ulovbestemte regler. 10. april 2013
2013-7 Vejledning om mulighederne for genoptagelse efter såvel lovbestemte som ulovbestemte regler Ombudsmanden rejste af egen drift en sag om arbejdsskademyndighedernes vejledning om mulighederne for
Læs mereVejledning til KL s Excelværktøj
1 Vejledning til KL s Excelværktøj Indhold 1. Indledning... 2 2. It-krav... 2 3. Principperne bag værktøjet... 3 2.1 Forklaring af rensningsprocessen... 3 2.2 Forklaring af analyseprocessen... 3 3. Guide
Læs mereReelle tal. Symbolbehandlingskompetencen er central gennem arbejdet med hele kapitlet i elevernes arbejde med tal og regneregler.
Det første kapitel i grundbogen til Kolorit i 9. klasse handler om de reelle tal. Første halvdel af kapitlet har karakter af at være opsamlende i forhold til, hvad eleverne har arbejdet med på tidligere
Læs mereProjekt 4.8. Kerners henfald (Excel)
Projekt.8. Kerners henfald (Excel) Når radioaktive kerner henfalder under udsendelse af stråling, sker henfaldet I følge kvantemekanikken helt spontant, dvs. rent tilfældigt uden nogen påviselig årsag.
Læs mereUdvikling af folkeskolens prøver Nye prøve- og testformer med it. Hvornår og hvordan?
Udvikling af folkeskolens prøver Nye prøve- og testformer med it. Hvornår og hvordan? Konference om mundtlige prøver Rikke Kjærup Læringskonsulent i undervisningsministeriet Odense Congress Center, 20.
Læs mereKUNSTIG INTELLIGENS. - Menneskelig bevidsthed: en beregnelig egenskab?
KUNSTIG INTELLIGENS - Menneskelig bevidsthed: en beregnelig egenskab? 3. Semester, efterår 2001 Udarbejdet af: Peter G. Hansen, Morten Franck, Anders Fleron & Morten Poulsen Gruppe 10, RUC, Hus 14.2 Vejleder:
Læs mereAnalyse 1, Prøve 4. 25. juni 2009. r+1. Men vi har øjensynligt, at 2. r r+1
Analyse 1, Prøve 4 25. juni 29 Alle henvisninger til CB er henvisninger til Metriske Rum (1997, Christian Berg), alle henvisninger til TL er til Kalkulus (26, Tom Lindstrøm), og alle henvisninger til Opgaver
Læs mereI dette forløb arbejder eleverne med de forskellige led, der kan være i en sætning. De faglige mål med forløbet er, at eleverne skal:
Om Sprogkassen Sprogkassen indeholder en samling af forskelligartede sprogforløb. Hvert forløb gennemgår et sprogligt område, som er nødvendigt at beherske for at kunne udtrykke sig nuanceret, entydigt
Læs mereKonfirmand- og forældreaften 27. februar 2014, Hurup kirke Mattæus 14, 22 33
Konfirmand- og forældreaften 27. februar 2014, Hurup kirke Mattæus 14, 22 33 Genezaret sø er ikke større, end at man i klart dagslys kan se til land, ligegyldigt hvor man er på søen. Rundt om søen er der
Læs merep q Både p og q S S F F S F S F F F Sandhedstabel for konjunktionen p q p eller q S S S S F S F Sandhedstabel for disjunktionen p q Hvis p så q S S S
3. Udsagnslogik Der er meget mere at sige om den logiske slutning end det, man får ud af at studere Aristoteles' klassiske syllogismer. elv hos Aristoteles findes der mange andre væsentlige bidrag til
Læs mereFermat, ABC og alt det jazz...
Fermat, ABC og alt det jazz... Matematiklærerdag 2013 Simon Kristensen Institut for Matematik Aarhus Universitet 22. marts 2013 Oversigt 1 Hvad er ABC-formodningen? Oversigt 1 Hvad er ABC-formodningen?
Læs mereMatematikvejledning i praksis. Marianne Bie, Rysensteen Hans Bolvinkel, Nørre G
Matematikvejledning i praksis Marianne Bie, Rysensteen Hans Bolvinkel, Nørre G 1 De tre projekter Projekt 1 Projekt 2 Projekt 3 Tema: Begreber og begrebsdannelse Sprog og ligninger Tema: Argumentation
Læs merePendulbevægelse. Måling af svingningstid: Jacob Nielsen 1
Pendulbevægelse Jacob Nielsen 1 Figuren viser svingningstiden af et pendul i sekunder som funktion af udsvinget i grader. For udsving mindre end 20 grader er svingningstiden med god tilnærmelse konstant.
Læs mereForældelse af erstatningskrav efter lov om patientforsikring 19, Højesterets dom af 8. december 2003.
Forældelse af erstatningskrav efter lov om patientforsikring 19, Højesterets dom af 8. december 2003. (Årsberetning 2003) Højesterets dom af 8. december 2003. En patient blev opereret for en nedgroet negl
Læs mereBrug og Misbrug af logiske tegn
Brug og Misbrug af logiske tegn Frank Nasser 20. april 2011 c 2008-2011. Dette dokument må kun anvendes til undervisning i klasser som abonnerer på MatBog.dk. Se yderligere betingelser for brug her. Bemærk:
Læs mereOm hvordan Google ordner websider
Om hvordan Google ordner websider Hans Anton Salomonsen March 14, 2008 Man oplever ofte at man efter at have givet Google et par søgeord lynhurtigt får oplysning om at der er fundet et stort antal - måske
Læs mereMatematik A Vejledende opgaver 5 timers prøven
Højere Teknisk Eksamen 007 Matematik A Vejledende opgaver 5 timers prøven Undervisningsministeriet Prøvens varighed er 5 timer. Opgavebesvarelsen skal dokumenteres/begrundes. Opgavebesvarelsen skal udformes
Læs mereBegrænsning i antallet af deltagere til PBP 2011 13. februar 2010
Begrænsning i antallet af deltagere til PBP 2011 13. februar 2010 Denne udgave er opdateret i forhold til den, der blev udsendt sammen med efterårsudsendelsen i 2009. Opdateringen vedrører specielt datoer
Læs mereLogin til den digitale ansøgningsportal
Login til den digitale ansøgningsportal Vejledning om login til den digitale ansøgningsportal for kandidatansøgninger Login til den digitale ansøgningsportal sker via WAYF (Where Are You From), som er
Læs mereMatematiske metoder - Opgavesæt
Matematiske metoder - Opgavesæt Anders Friis, Anne Ryelund, Mads Friis, Signe Baggesen 24. maj 208 Beskrivelse af opgavesættet I dette opgavesæt vil du støde på opgaver, der er markeret med enten 0, eller
Læs mereElementær Matematik. Mængder og udsagn
Elementær Matematik Mængder og udsagn Ole Witt-Hansen 2011 Indhold 1. Mængder...1 1.1 Intervaller...4 2. Matematisk Logik. Udsagnslogik...5 3. Åbne udsagn...9 Mængder og Udsagn 1 1. Mængder En mængde er
Læs mereBILAG A SPØRGESKEMA. I denne At-vejledning præsenteres et kort spørgeskema med i alt 44 spørgsmål fordelt på otte skalaer.
16 BILAG A SPØRGESKEMA I denne At-vejledning præsenteres et kort spørgeskema med i alt 44 spørgsmål fordelt på otte skalaer. Skalaernes spørgsmål indgår i et større spørgeskema, der omfatter i alt 26 skalaer
Læs mereDesignMat Uge 11 Vektorrum
DesignMat Uge Vektorrum Preben Alsholm Forår 200 Vektorrum. Definition af vektorrum Definition af vektorrum Lad L betegne R eller C. Lad V være en ikke-tom mængde udstyret med en addition + og en multiplikation
Læs mereBilag 4: Transskription af interview med Ida
Bilag 4: Transskription af interview med Ida Interviewet indledes med, at der oplyses om, hvad projektet i grove træk handler om, anonymitet, og at Ida til enhver tid kan sige, hvis der er spørgsmål hun
Læs mereEKSEMPEL PÅ INTERVIEWGUIDE
EKSEMPEL PÅ INTERVIEWGUIDE Briefing Vi er to specialestuderende fra Institut for Statskundskab, og først vil vi gerne sige tusind tak fordi du har taget dig tid til at deltage i interviewet! Indledningsvis
Læs mereMiniprojekt 3: Fejlkorligerende køder Fejlkorrigerende koder
Miniprojekt 3: Fejlkorligerende køder Fejlkorrigerende koder Denne note er skrevet med udgangspunkt i [, p 24-243, 249] Et videre studium kan eksempelvis tage udgangspunkt i [2] Eventuelle kommentarer
Læs mereSæt ord pa sproget. Indhold. Mål. November 2012
Sæt ord pa sproget November 2012 Indhold Mål... 1 Baggrund... 1 Projektets mål... 1 Sammenhæng... 2 1 Beskrivelse af elevernes potentialer og barrierer... 2 2 Beskrivelse af basisviden og hverdagssprog...
Læs mereKUNSTEN AT LEDE DEM, DER IKKE LIGNER DIG
Herning 29. februar Vibeke Fladkjær Nielsen, SEGES Kvæg KUNSTEN AT LEDE DEM, DER IKKE LIGNER DIG KVÆGKONGRES 2016 HVAD OPLEVER VI PÅ BEDRIFTERNE? Jeg fortæller den samme ting igen og igen, det hænger simpelthen
Læs mereMinistertale ved åbent samråd om L 160 om offentlig digital post tirsdag den 15. maj 2012 kl. 14.00
Kommunaludvalget 2011-12 L 160, endeligt svar på spørgsmål 26 Offentligt Side 1 af 5 Samrådssvar 15. maj 2012 Ministertale ved åbent samråd om L 160 om offentlig digital post tirsdag den 15. maj 2012 kl.
Læs mereFormål Fremgangsmåde Trækteori generelt
Formål En kritisk gennemgang af trækteori, med fokus på Allport og femfaktor teorien som formuleret af Costa & McCrae. Ønsket er at finde frem til de forskellige kritikpunkter man kan stille op i forhold
Læs merePolynomier et introforløb til TII
Polynomier et introforløb til TII Formål At introducere polynomier af grad 0, 1, 2 samt højere, herunder grafer og rødder At behandle andengradspolynomiet og dets graf, parablen, med fokus på bl.a. toppunkt,
Læs mereMatematik B. Højere forberedelseseksamen
Matematik B Højere forberedelseseksamen hfe11-mat/b-3108011 Onsdag den 31. august 011 kl. 9.00-13.00 Opgavesættet er delt i to dele. Delprøven uden hjælpemidler består af opgave 1-6 med i alt 6 spørgsmål.
Læs mereVejledning til AT-eksamen 2016
Sorø Akademis Skole Vejledning til AT-eksamen 2016 Undervisningsministeriets læreplan og vejledning i Almen Studieforberedelse kan findes her: http://www.uvm.dk/uddannelser/gymnasiale-uddannelser/fag-og-laereplaner/fagpaa-stx/almen-studieforberedelse-stx
Læs mereMatematisk Metode. Jesper Lützen og Ian Kiming
Matematisk Metode Jesper Lützen og Ian Kiming 17. oktober 2008 ii Contents Introduktion. Den aksiomatisk-deduktive metode ix 1 Logik 1 1.1 Udsagn og prædikater........................ 1 1.2 Sammensatte
Læs mereEn simpel, men ganske præcis forklaring på, hvad et argument er, stammer fra Monty Pythons sketch The Argument Clinic:
Kapitel 2 Argumenter Jeg er ked af at sige det, men det fag, jeg brød mig mindst om var matematik. Jeg har tænkt over det. Jeg tror grunden er, at matematik ikke efterlader noget at diskutere. Hvis du
Læs mereDen svingende streng
Den svingende streng Stig Andur Pedersen October 2, 2009 Ufuldstændigt udkast. Abstract 1 I det 18. århundrede blev differential- og integralregningen, som var introduceret af Newton, Leibniz og mange
Læs mereTERMINSPRØVEORIENTERING
TERMINSPRØVEORIENTERING HF 2016 TERMINSPRØVEORIENTERING HF 2016 Kære HF-kursist ved Horsens HF & VUC. I denne folder finder du en lang række praktiske oplysninger vedrørende terminsprøverne. Hvis du har
Læs mereVejledning for klage over en prøve ved Det Sundhedsfaglige Hovedområde, UCN
Vejledning for klage over en prøve ved Det Sundhedsfaglige Hovedområde, UCN Indledning Reglerne om klager og anke over eksamen står i kapitel 10 og 11 i Undervisningsministeriets eksamensbekendtgørelse.
Læs mereKøbenhavns åbne Gymnasium
Københavns åbne Gymnasium Information om eksamen i Almen Studieforberedelse AT 2015 Redaktion Nina Jensen Vigtige datoer: 26. januar udmelder Undervisningsministeriet emnet og det såkaldte ressourcerum,
Læs mereRetningslinjer for bedømmelsen. Georg Mohr-Konkurrencen 2011 2. runde
Retningslinjer for bedømmelsen. Georg Mohr-Konkurrencen 20 2. runde Det som skal vurderes i bedømmelsen af en besvarelse, er om deltageren har formået at analysere problemstillingen, kombinere de givne
Læs mereFlemming Jensen. Parforhold
Flemming Jensen Parforhold Papyrus Publishing Art direction: Louise Bech Illustatorer: Lea Maria Lucas Wierød Louise Bech Forskningsleder: Flemming Jensen Faglige konsulenter: Gitte S. Nielsen Lene V.
Læs mereStudieprøven. Mundtlig del. Lytteforståelse. November-december 2015. Opgavehæfte
Delprøve 2 Studieprøven November-december 2015 Mundtlig del Lytteforståelse Opgavehæfte Delprøve 1: Jagtvej 69 Delprøve 2: Smukke formler får hjernen til at lyse op Hjælpemidler: Dansk-danske ordbøger
Læs merePia Schiermer, Underviser ved UNI-C og Amtscentrene 2 pia@schiermer.dk
Pia Schiermer, Underviser ved UNI-C og Amtscentrene 2 Bloggen er et online medie for både de store og de små, høje og lave, lange og brede. Bloggen er for alle på nettet også de andre. En blog, også kaldet
Læs mereOpgaveproduktion og kvalitetssikring af opgaver til de nationale test
Afdeling for Almen Uddannelse og Tilsyn Frederiksholms Kanal 26 1220 København K Tlf. 3392 5000 Fax 3392 5567 E-mail stuk@stukuvm.dk www.stukuvm.dk CVR nr. 29634750 Opgaveproduktion og kvalitetssikring
Læs mereTale: Jane Findahl, formand for KL s Børne- og Kulturudvalg, KL s Børnetopmøde
Tale af Jane Findahl Ref. Sae/jbs Side 1/11 Anledning Børnetopmøde 2012 Dato 2. februar 2012 Sted Aalborg Kl. 10.08 10.20 Titel Taletid 8-9 minutter Tale: Jane Findahl, formand for KL s Børne- og Kulturudvalg,
Læs mereEvaluering af Kandidatuddannelsen i generel pædagogik
Evaluering af Kandidatuddannelsen i generel pædagogik På Kandidatuddannelsen i generel pædagogik blev der i efteråret 2009 udbudt undervisning på fem moduler:,,, Daginstitutions- og skolestartspædagogik
Læs mereTraditionen tro byder august september på forældremøder i de enkelte klasser,
Vi skrev i første nummer af Fællesnyt, at vi ville udkomme én gang i kvartalet. Det bryder vi allerede her i andet nummer, hvor I kan læse om konfirmationsforberedelse i 7. klasse, en sjov bemærkning og
Læs mereKaninfører i Brøndby Golfklub 2016
Kaninfører i Brøndby Golfklub 2016 Velkommen som kaninfører i Brøndby Golfklub. Med dette kaninførernotat forsøger vi at beskrive kaninførerrollen i Brøndby Golfklub. Kaninførernotatet skal ses som en
Læs mereUdvalget for Fødevarer, Landbrug og Fiskeri 2012-13 FLF Alm.del Bilag 266 Offentligt EN DANSK ELITE VIRKSOMHED
Udvalget for Fødevarer, Landbrug og Fiskeri 2012-13 FLF Alm.del Bilag 266 Offentligt EN DANSK ELITE VIRKSOMHED BARMARKSPROJEKT TIL PRODUKTION AF FRITGÅENDE SLAGTEKYLLINGER Gråsten Fjerkræ s barmarksprojekt
Læs merebrøker basis+g brikkerne til regning & matematik preben bernitt
brikkerne til regning & matematik brøker basis+g preben bernitt brikkerne til regning & matematik brøker G ISBN: 978-87-92488-04 06 2. udgave som E-bog 202 by bernitt-matematik.dk Denne bog er beskyttet
Læs mereMener ministeren, at der er tilstrækkelig klarhed om reglerne for opkrævning af registreringsafgift,
Skatteudvalget 2014-15 SAU Alm.del endeligt svar på spørgsmål 142 Offentligt Tale Samrådsspørgsmål G 12. november 2014 J.nr. 14-4367518 Samrådsspm G Mener ministeren, at der er tilstrækkelig klarhed om
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 mereSkriftlig dansk 2014 STX. Karakter- og opgavestatistik
Skriftlig dansk 2014 STX Karakter- og opgavestatistik INDHOLD Indhold... 2 Forord... 3 Opgaveformuleringer... 4 22.05.2014 (Ordinær)... 4 28.05.2014 (Ordinær)... 5 22.05.2014 (Netadgang)... 6 28.05.2014
Læs mereCensorvejledning engelsk B, hf Maj 2014. Fagkonsulent hanne.kaer.pedersen@uvm.dk 25324494
Censorvejledning engelsk B, hf Maj 2014 Fagkonsulent hanne.kaer.pedersen@uvm.dk 25324494 Indholdsfortegnelse Censorvejledning engelsk B, hf... 1 Maj 2014... 1 Opgavesættet... 1 Bedømmelsen... 1 Opgaveinstruksens
Læs mereEvaluering af Kandidatuddannelsen i pædagogisk filosofi
Evaluering af Kandidatuddannelsen i pædagogisk filosofi På Kandidatuddannelsen i pædagogisk filosofi blev der i efteråret 2009 udbudt undervisning på følgende fem moduler:,, Viden og dannelse i pædagogisk-filosofisk
Læs mereMiniguide for oplægsholdere
Miniguide for oplægsholdere Intro Vi har lavet den her miniguide, som en hjælp til dig i din fremtidige rolle som oplægsholder. Guiden er din værktøjskasse og huskeliste. Den samler alt det, vi gennemgår
Læs mereTryghed og sikkerhed for borgerne
Tryghed og sikkerhed for borgerne Tønder Brandvæsen løser mange opgaver i lokalsamfundet. Opgaver, ressourcer, mål og udfordringer er beskrevet i dimensioneringsplanen. Her får du et sammendrag af planen
Læs mere