13. CHURCH S OCH GÖDELS SATSER. KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET.
|
|
- Rune Jansson
- för 5 år sedan
- Visningar:
Transkript
1 81 13 CHURCH S OCH GÖDELS SATSER KORT ORIENTERING OM BERÄKNINGSBARHET, EFFEKTIV UPPRÄKNELIGHET OCH AVGÖRBARHET Våra beräkningar skall utföras på symbolsträngar, där symbolerna tas från ett givet alfabet Σ = {a 0,a 1,a 2,}, ändligt eller uppräkneligt oändligt Vi sätter Σ* = {alla ändliga strängar över Σ} ; vi tar i detta sammanhang inte med den tomma strängen Vi använder beteckningen N för mängden av naturliga tal, betraktade som abstrakta matematiska objekt utan referens till någon speciell representation Vid beräkningar används någon representation Vi betraktar några sådana: Binär representation: välkänd N bin = {strängen 0 och alla strängar över {0,1} som börjar på 1} Decimal representation: välkänd N dec = {strängen 0 och alla strängar över {0,1,2,,9} som inte börjar på 0} Unär representation: talet n representeras av n+1 stycken ettor N un = {alla strängar över {1}} = {1}* Peano-representation: talet n representeras av strängen S(S(S((S(0))))) med n stycken S I övrigt kommer vi att arbeta med två logiska alfabet, det ena satslogiskt, det andra predikatlogiskt: Alfabetet Σ SL = {,,,,, (, ),, p 0 p 1,p 2,} innehåller symbolerna i satslogiken Σ * SL består av alla ändliga strängar över Σ SL En delmängd därav är WFS SL = {wellformed sentences i satslogiken} En delmängd därav är LG SL = = {alla logiskt giltiga sentenser (tautologier) i satslogiken} Alfabetet Σ AR = {,,,,,,, (, ),, (kommatecken),, =, S, +,, 0, x 0, x 1, x 2, } innehåller symbolerna i predikatlogiken med de icke-logiska symbolerna S, +,, 0 ("det aritmetiska språket"; AR står för aritmetik) som används i Peanos axiomsystem Här kan vi betrakta mängderna Σ * AR WFF AR WFS AR LG AR (WFF står för wellformed formula)
2 82 Med ett mekaniskt förfarande eller program P menar vi här en uppsättning föreskrifter, som för varje tillåtet input ger upphov till en stegvis process, vars förlopp är entydigt bestämt av input Begreppet är av intuitivt matematiskt slag (preciseringar skall diskuteras nedan), inget sägs om programspråk eller hårdvara; programmet kan tex bestå av ett antal svenska satser skrivna på ett papper, hårdvaran av en människa med papper och penna Fysikaliska begränsningar, i form av ändliga resurser i materia och tid, antas ej föreligga Processen kan (beroende av input) stoppa efter ett ändligt antal steg eller fortsätta i oändlighet Den kan under sitt förlopp ge ifrån sig inget, ett eller flera output (i det fall att processen aldrig stoppar är det möjligt att den ger oändligt många output) I denna text använder vi följande Definitioner P kallas en algoritm, om processen stoppar och ger precis ett output för varje tillåtet input En funktion f: U V är beräkningsbar, om det finns någon algoritm som beräknar den, dvs som för varje x U som input stoppar med f(x) som output P säges generera mängden M (vid input a), om (vid input a) {outputs som fås under processen} = M (Denna definition tillåter upprepningar i uppräkningen av M:s element, men programmet kan lätt modifieras så att upprepningar ej förekommer) En mängd M är effektivt uppräknelig, om det finns något program som genererar M Givet nu en mängd U ("universum") och en delmängd M av U P är ett fullständigt test för M, om för varje input x U x M processen stannar och ger output som visar x M, tex 1 och x M processen stannar och ger output som visar x M, tex 0 (1) (2) P är ett positivt test för M om (1) gäller P är ett negativt test för M om (2) gäller M är avgörbar om det finns något fullständigt test för M Exempel 131 Vilken som helst av de ovan givna representationerna av N är effektivt uppräknelig (läsaren bör övertyga sig om detta) Vi kan kortfattat säga: "N är effektivt uppräknelig"
3 83 Exempel 132 Låt N' och N" vara två vilka som helst av ovan betraktade representationer av N Då är förstås funktionen f: N' N", som översätter representationen i N' för ett tal till representationen i N" för samma tal, beräkningsbar (tänk efter!) Om delmängden M' N' svarar mot M" N", så inser vi att följande gäller: (i) M' är eff uppräknelig M" är eff uppräknelig (ii) M' är avgörbar M" är avgörbar Vi kan kortfattat säga att en delmängd av N är effektivt uppräknelig respektive avgörbar Exempel 133 Varje ändlig mängd är avgörbar (Varför?) Exempel 134 {primtal} i N är avgörbar (test?) Exempel 135 Tag Σ * SL som universum WFS SL är avgörbar, som tex framgår av programmet "wfs" i Scheme-paketet Med WFS SL som universum är LG SL avgörbar, tex ger sanningsvärdestabell-konstruktion eller tablåalgoritmen fullständiga test LG SL är också avgörbar med Σ * SL som universum enligt principen: C avgörbar delmängd av B och B avgörbar delmängd av A C avgörbar delmängd av A (motivera!) Exempel 136 Tag Σ * AR som universum WFF AR och WFS AR är avgörbara (se tex programmet "wff" i Scheme-paketet) Tablåmetoden ger nu bara ett positivt test för LG AR : om den matas med en logiskt giltig sentens kommer den efter ett ändligt antal steg att producera ett bevis för denna (en "fullständig automatisk teorembevisare"), men om den matas med en falsifierbar sentens, så kan det hända att processen inte stoppar Detta utesluter inte att det skulle kunna finnas något annat test för LG AR som är fullständigt Avgörbarheten av LG AR skall behandlas nedan Några allmänna observationer Givet ett effektivt uppräkneligt universum U och en delmängd M av U Då gäller a) M är avgörbar det finns både ett positivt test och ett negativt test för M b) M är eff uppräknelig det finns något positivt test för M
4 84 c) M är avgörbar M:s karakteristiska funktion är beräkningsbar d) M är eff uppräknelig det finns någon beräkningsbar surjektion: M N e) M är avgörbar både M och M c (M:s komplement) är eff uppräkneliga Bevis: a) ) Uppenbart ) Låt P + och P - vara ett positivt och ett negativt test för M Ett fullständigt test fås så här: ge input x U till både P + och P - och tag omväxlande ett steg enligt P + och P - Efter ett ändligt antal steg får vi antingen veta från P + att x M eller från P - att x M b) ) Givet x U som input, sätt igång generering av M, stoppa med output 1 om och när x dyker upp Detta ger ett positivt test för M ) Givet ett positivt test P + Låt P arbeta så här; sätt igång generering av U: u 0,u 1,u 2,; efter generering av u k tag med var och en av u 0,u 1,,u k som input k steg enligt P +, gå sedan vidare till generering av u k+1 osv Varje gång P + stoppar och ger output 1 för ett u i, låt P ge detta u i som output Man inser att P kommer att generera hela M c) Omedelbart klart ur definitionen av avgörbarhet d) ) Givet input ett naturligt tal n (i någon representation) Sätt igång generering av M: m 0,m 1,m 2,, stoppa när vi kommer till m n och ge m n som output Denna algoritm ger en surjektion: N M ) Låt f: N M vara en beräkningsbar surjektion Låt P arbeta så här: sätt igång generering av N: 0,1,2, För varje n beräknas f(n) och ges som output av P P kommer att generera hela M e) Ett negativt test för M är ekvivalent med ett positivt test för M c Använd a) och b) Vi skall nu införa begreppet "gödelnumrering", som gör att vi kan översätta alla utsagor om strängar (och tillhörande mängder, relationer och funktioner) till utsagor om naturliga tal (och tillhörande mängder, relationer och funktioner) Givet ett alfabet Σ = {a 0,a 1,a 2,} och motsvarande strängmängd Σ* En gödelnumrering av Σ* är en tillordning av naturliga tal till elementen i Σ*, sådan att 1) gödelnumret för en sträng kan effektivt beräknas 2) olika strängar har olika gödelnummer 3) för varje naturligt tal n kan det avgöras om n är ett
5 85 gödelnummer, och i så fall kan motsvarande sträng effektivt bestämmas Mer koncist: en gödelnumrering av Σ* är en beräkningsbar injektion gn: Σ* N med avgörbar värdemängd och beräkningsbar invers Vilken gödelnumrering vi använder spelar ingen roll; begreppet har huvudsakligen teoretiskt intresse Vi visar här en enkel sådan, gn: Σ* N bin Sätt gn(a k ) = med k stycken nollor, och låt en godtycklig sträng i Σ* få som gödelnummer den sträng som fås genom att ersätta varje bokstav med sitt gödelnummer enligt ovan Exempel 137 gn(a 1 a 0 a 3 a 1 ) = (binärt skrivet tal) Läsaren bör övertyga sig om att ovan givna gn uppfyller villkoren för en gödelnumrering (med värdemängden N {0}, om alfabetet är oändligt) Exempel 138 Σ SL = {,,,,, (, ),, p 0, p 1, p 2, } Observationer a 0 a 1 a 2 a 3 a 4 a 5 a 6 a 7 a 8 a 9 a 10 Gödelnumret för ) är Gödelnumret för (p 0 p 1 ) är Låt M vara en delmängd av Σ* och gn(m) motsvarande mängd av gödelnummer Då gäller: M eff uppräknelig gn(m) eff uppräknelig M avgörbar gn(m) avgörbar Låt f: U V vara en funktion (U och V strängmängder) och f gn motsvarande funktion: gn(u) gn(v) Då gäller f beräkningsbar f gn beräkningsbar Bevisas rakt upp och ned Läsaren bör övertyga sig Exempel 139 gn(σ * SL ) = N {0} (binär representation) är uppenbart eff uppräknelig Mot den naturliga uppräkningen 1, 10, 11, 100, 101, 110, 111, 1000, 1001, av N {0} svarar uppräkningen,,,,,,,, av Σ * SL Av den tidigare observationen e) följer att även WFS SL och LG SL är eff uppräkneliga Motsvarande fås direkt för Σ * AR, WFF AR och WFS AR Att
6 86 även LG AR är eff uppräknelig följer av observation b) och existensen av ett positivt test för LG AR Fortfarande kvarstår frågan om LG AR är avgörbar 1936 bevisade Church sin berömda oavgörbarhetssats för predikatlogiken Här är en version av den Church's oavgörbarhetssats LG AR är inte avgörbar Resultatet gäller även för andra predikatlogiska språk än just aritmetikens, det väsentliga är förekomsten av funktionssymboler och/eller flerställiga relationssymboler Med hjälp av observation e) fås följande Corollarium {falsifierbara sentenser i WFS AR } är inte eff uppräknelig Vi skall ge en skiss av hur man kan bevisa Church's sats, och samtidigt även se hur Gödels ofullständighetssats kan erhållas Eftersom Church's sats säger att det inte finns någon algoritm som ger ett fullständigt test för LG AR, så uttalar den sig om alla överhuvudtaget tänkbara algoritmer Om man vill bevisa ett sådant uttalande, så duger det inte längre att använda sin intuitiva uppfattning av begreppet algoritm, utan våra begrepp måste ges exakta definitioner Av observationerna c) och d) följer att det räcker att exakt definiera begreppet beräkningsbar funktion, och av den senaste observationen om Gödelnummer följer att det räcker att exakt definiera begreppet beräkningsbar funktion: N N Många olika analyser av detta begrepp har gjorts Här är några: 1) Funktionen kan beräknas med en Turingmaskin Detta begrepp studeras i andra kurser 2) Funktionen är "rekursiv" i en speciell mening, som kan definieras på basis av addition och multiplikation 3) Funktionen kan beräknas med en abstrakt variant av registermaskiner 4) Funktionen kan definieras i Church's "λ-kalkyl" 5) Funktionen kan beräknas medelst ett system av rekursionsekvationer enligt Herbrand - Gödel
7 87 På grund av djupet av analyserna som ledde till ovanstående definitioner och det faktum att alla dessa visat sig vara ekvivalenta (kan stringent bevisas) så måste man här ha hittat ett viktigt begrepp, och det är numera ganska allmänt accepterat att det sammanfaller med det intuitiva begreppet beräkningsbar, det är detta som kallas Church's tes I och med detta får vi också precisa definitioner av begreppen avgörbar, kallas då rekursiv, och effektivt uppräknelig, kallas då rekursivt uppräknelig Innan vi går in på Church's sats etc skall vi titta på ett oavgörbarhetsresultat som handlar om Turingmaskiner En Turingmaskin av viss typ (det finns några oväsentliga variationer av begreppet) karakteriseras av sitt "program", som kan ges som en ändlig symbolsträng Mängden av Turingmaskiner kan därmed lätt visas vara eff uppräknelig: Tm 1, Tm 2, Tm 3, Följande sats gäller: Sats Variant av stopp-problemet för Turingmaskiner Mängden M = {n N; Tm n stoppar vid input n} är ej avgörbar Bevis: Antag att M vore avgörbar Det skulle då finnas en beräkningsbar funktion: g: N {0,1} sådan att 1 om Tm n stoppar vid input n g(n) = 0 annars Enligt Church's tes finns en Turingmaskin, säg Tm d, som beräknar g Vi får därmed följande motsägelse: Tm d stannar ej vid input d [def av g] g(d) = 0 [Tm d beräknar g] Tm d stannar och ger output 0 vid input d M kan alltså inte vara avgörbar VSB Låt oss definiera begreppet "teori" Vi tar fasta på följande egenskap: om sentenserna P 1, P 2,, P n ingår i en teori och Q är en logisk konsekvens av (kan härledas från) dessa, så ingår även Q i teorin Vi gör alltså följande Definition En teori (över ett predikatlogiskt språk L) är en mängd sentenser (över L) som är sluten under härledbarhet (eller ekvivalent: under logisk konsekvens)
8 88 Exempel 1310 T Peano = {alla konsekvenser av Peanos axiom} är en teori T aritmetik = {alla sentenser som är sanna i standardtolkningen} är en teori LG AR är en teori WFS AR är en teori Om vi stryker alla induktionsaxiom i Peanos axiomsystem och lägger till som axiom x(x 0 y(x = S(y))), så får vi ett axiomsystem med sju axiom, de sk Q-axiomen T Q = {alla konsekvenser av Q-axiomen} är en teori Obs att LG AR T Q T Peano T aritmetik WFS AR Dessa teorier skall vi koncentrera oss på i fortsättningen Ett antal egenskaper hos teorier skall betraktas: konsistens, fullständighet, axiomatiserbarhet, effektiv uppräknelighet och avgörbarhet Definitioner T är konsistent (motsägelsefri) om ej tillhör T T är fullständig om för varje sentens P antingen P eller P tillhör T (dvs "T svarar på varje fråga i det aktuella språket") Observera att T är konsistent inte för någon sentens gäller att både P och P tillhör T Och: T är konsistent T är inte hela WFS L Antag vidare att T' är en utvidgning av T, dvs att T' T Då gäller: T' konsistent T konsistent ; T fullständig T' fullständig (Läsaren bör övertyga sig om alla dessa påståenden) Exempel 1311 Av teorierna i exempel 1310 är alla konsistenta utom WFS AR Varför? T aritmetik är fullständig Varför? Man kan visa att om P är sentensen x y(x+y = y+x), så är varken P eller P en konsekvens av Q-axiomen (Jfr ett tentamenstal ) Detta visar att teorin T Q inte är fullständig Däremot är ju P en konsekvens av Peanos axiom, dvs P T Peano Fullständighet eller inte för T Peano diskuteras nedan Mera banala iakttagelser: LG AR är ofullständig, WFS AR fullständig
9 89 Definition T är axiomatiserbar om det finns någon avgörbar delmängd av sentenser i T (vilka kallas axiom) från vilka alla sentenser i T kan härledas Obs: här menas "avgörbar såsom delmängd av WFS L " Lägg märke till kravet på avgörbarhet Utan det blir varje teori trivialt axiomatiserbar: tag hela teorin som axiomsystem! Exempel 1312 T Peano och T Q är uppenbarligen axiomatiserbara per definition (läsaren måste övertyga sig om att mängden av axiom i Peanos axiomsystem är avgörbar) Den intressanta frågan i detta sammanhang är huruvida T aritmetik är axiomatiserbar Den skall besvaras nedan LG AR är trivialt axiomatiserbar (tag tom axiommängd), liksom WFS AR (tag tex som enda axiom) Observation A En axiomatiserbar teori är effektivt uppräknelig Bevis: Låt T vara en axiomatiserbar teori En godtycklig sentens Q tillhör T det finns axiom P 1,,P n så att P 1 P n Q tillhör LG AR (eller allmännare: LG L ) Vi har tidigare konstaterat att LG AR är eff uppräknelig T kan genereras så här: generera LG AR ; för varje genererad sentens kan avgöras om den är på formen P 1 P n Q, där P i är axiom (här används att mängden av axiom är avgörbar); om så är fallet ges Q som output Observation B En fullständig axiomatiserbar teori är avgörbar Bevis: Antag att T är fullständig och axiomatiserbar Om T är inkonsis-tent, så är T = WFS L, trivialt avgörbar Antag därför i fortsättningen av beviset att T är konsistent För att avgöra om ett godtyckligt P tillhör T, generera T (möjligt enligt observation A) tills antingen P eller P dyker upp Då avgörs om P T eller inte, ty på grund av konsistensen gäller ( P) T P T Vi närmar oss oavgörbarhets- och ofullständighetsbevisen i logiken I grunden handlar det om samma typ av "diagonal-argument" ("själv-
10 90 referens") som vid stopp-problemet för Turingmaskiner Där användes att varje beräkningsbar funktion kan beräknas med en Turingmaskin (om vi accepterar Church's tes) Vi skall nu använda oss av nedanstående motsvarighet inom logiken - aritmetiken Definition En mängd M av naturliga tal är definierbar i teorin T, om det finns någon formel A(x) med en fri variabel, sådan att n M A(n) T n M ( A(n)) T (n är peano-representationen för n) Exempel 1313 M = {primtal} är definierbar i T Peano av formeln P(x) i exempel 68 (bevisas inte här) Man kan bevisa följande förvånansvärt starka resultat: Sats Varje avgörbar delmängd av N är definierbar i T Q Church's tes förutsättes Referens tex Boolos - Jeffrey: Computability and Logic (Cambridge University Press) Beviset är långt och tekniskt Men när vi väl har detta resultat får vi ganska snabbt vår huvudsats: Sats Låt T vara en konsistent utvidgning av T Q (ev T = T Q ) Då är T ej avgörbar Bevis: Antag att T vore avgörbar Sätt M = {n N; n är gödelnumret för någon formel P(x) med en fri variabel, och P(n) T} M är då avgörbar (tänk efter!), och kan definieras i T Q, och därmed i T, av en formel D(x) Låt d vara gödelnumret för denna formel Vi frågar oss nu om D(d) tillhör T och får följande motsägelse: D(d) T [def av M] d M [D(x) definierar M] ( D(d)) T [T konsistent] D(d) T, och D(d) T [def av M] d M [D(x) definierar M] D(d) T Härav följer att T inte kan vara avgörbar Corollarium 1 Church's sats LG AR är inte avgörbar Bevis: Låt A vara konjunktionen av de ändligt många Q-axiomen För en godtycklig sentens P gäller då P T Q (A P) LG AR Om LG AR vore avgörbar skulle tydligen T Q också bli avgörbar, i strid med satsen Härmed är saken klar
11 91 Corollarium 2 Variant av Gödels första ofullständighetssats Det finns ingen konsistent, fullständig, axiomatiserbar utvidgning av T Q Bevis: Kombinera satsen med observation B Corollarium 3 T aritmetik är inte axiomatiserbar (speciellt inte avgörbar) Corollarium 4 T Peano är inte fullständig, och förblir ofullständig vid varje konsistent utvidgning av axiomsystemet Apropå corollarium 4 skulle det vara intressant att ange en aritmetisk sentens P sådan att varken P eller P kan härledas från Peanos axiom, eller ekvivalent: att ange en (i standardmodellen) sann aritmetisk sentens som ej kan härledas från Peanos axiom En sådan är den som förekommer i Gödels andra ofullständighetssats nedan Medelst gödelnumrering kan utsagor om våra formella system översättas till utsagor om naturliga tal Tex kan utsagan "T Peano är konsistent", dvs "från Peanos axiom kan ej härledas" översättas till en sentens i aritmetikens språk, som vi skriver "Consis T Peano " Denna sentens är sann (i standardmodellen) om och endast om T Peano är konsistent (vilket ju är fallet!) I Hilberts program (omtalat i avsnitt 12) ingick att försöka bevisa konsistensen av formella system med hjälp av "ändliga metoder" Detta projekt kom på skam, som visas av följande sats (bevisas ej här): Sats Variant av Gödels andra ofullständighetssats Låt T vara en konsistent, axiomatiserad utvidgning av T Q Då är sentensen "Consis T" sann (i standardmodellen) men ingår ej i T, dvs kan ej härledas från T:s axiom Specialfall: "Konsistensen av Peano-aritmetiken kan ej visas med metoder formaliserbara inom Peano-aritmetiken" ******************************
12 92 Övningar till avsnitt 13 1 Antag att T är en fullständig teori i något predikatlogiskt språk Låt P och Q vara godtyckliga sentenser i det aktuella språket a) Visa P Q T (P T eller Q T) b) Visa att kravet på fullständighet ej kan slopas: ge ett exempel på en ofullständig teori för vilken påståendet i a) inte gäller 2 Låt T vara den teori över språket { }, som består av alla konsekvenser av följande axiom: x(x x) x y z(x y y z x z) x y(x y y x x = y) x y(x y y x) x y z(x z z y) (Totalordning med största och minsta element) Visa att T inte är en fullständig teori 3 Visa att följande två sentenser är logiska konsekvenser av Q-axiomen: a) x y(x + y = 0 x = 0 y = 0) b) x y(y x = 0 x = 0 y = 0) 4 Betrakta ett språk för gruppteorin, med tvåställiga funktionssymbolen, enställiga funktionssymbolen -1, samt individkonstanten e Teorin för abelska grupper har följande axiom: x y z((x y) z = x (y z)) x(x e = x e x = x) x(x x -1 = e x -1 x = e) x y(x y = y x) Visa att denna teori ej är fullständig! (Betrakta t ex följande strukturer: (i) Mängden av heltal med binära operationen + etc (ii) Mängden {0} med binära operationen + etc )
Kompletteringsmaterial. K2 Något om modeller, kompakthetssatsen
KTH Matematik Bengt Ek Maj 2008 Kompletteringsmaterial till kursen SF1642, Logik för D1 och IT3: K2 Något om modeller, kompakthetssatsen Vi skall presentera ett enkelt (om man känner till sundhets- och
K2 Något om modeller, kompakthetssatsen
KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K2 Något om modeller, kompakthetssatsen Vi skall presentera ett enkelt (om man känner till sundhets- och fullständighetssatsen
DD1350 Logik för dataloger
DD1350 Logik för dataloger Fö 8 Axiomatiseringar 1 Modeller och bevisbarhet Sedan tidigare vet vi att: Om en formel Φ är valid (sann i alla modeller) så finns det ett bevis för Φ i naturlig deduktion.
Om semantisk följd och bevis
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om semantisk följd och bevis Logik handlar bla om studiet av korrekta slutledningar, dvs frågan om när det är riktigt
DD1350 Logik för dataloger. Fö 7 Predikatlogikens semantik
DD1350 Logik för dataloger Fö 7 Predikatlogikens semantik 1 Kryssprodukt av mängder Om A och B är två mängder så är deras kryssprodukt A B mängden av alla par (a,b), där a A och b B. Ex: A={1,2}, B={3,4},
Lite om bevis i matematiken
Matematik, KTH Bengt Ek februari 2013 Material till kursen SF1662, Diskret matematik för CL1: Lite om bevis i matematiken Inledning Bevis är centrala i all matematik Utan (exakta definitioner och) bevis
12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI.
75 12. CANTORS PARADIS. KORT ORIENTERING OM MÄNGDTEORI. I slutet av 1800-talet uppfann Cantor mängdteorin som ett hjälpmedel vid sitt arbete med integrationsteori. Med en mängd menade Cantor "vilken som
Föreläsning 5. Deduktion
Föreläsning 5 Deduktion Hur ett deduktivt system fungerar Komponenter - Vokabulär Ett deduktivt system använder ett visst slags språk som kan kallas för systemets vokabulär. I mindre formella fall är kanske
Tal till Solomon Feferman
Ur: Filosofisk tidskrift, 2004, nr 1. Dag Westerståhl Tal till Solomon Feferman (Nedanstående text utgör det tal som Dag Westerståhl höll på Musikaliska Akademien i oktober 2003, i samband med att Feferman
Primitivt rekursiva funktioner och den aritmetiska hierarkin
Primitivt rekursiva funktioner och den aritmetiska hierarkin Rasmus Blanck 0 Inledning En rad frågor inom logiken, matematiken och datavetenskapen relaterar till begreppet beräkningsbarhet. En del i kursen
Kontinuitet och gränsvärden
Kapitel Kontinuitet och gränsvärden.1 Introduktion till kontinuerliga funktioner Kapitlet börjar med allmänna definitioner. Därefter utvidgar vi successivt familjen av kontinuerliga funktioner, genom specifika
Filosofisk logik Kapitel 19. Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 19 Robin Stenwall Lunds universitet Dagens upplägg Gödels fullständighetsteorem Sundhet och fullständighet Fullständighetsbeviset Vittneskonstanter Henkinteorin Eliminationsteoremet
Föreläsning 9: Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.
Föreläsning 9: Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står
Grundläggande logik och modellteori (5DV102)
Tentamen 2014-01-10 Grundläggande logik och modellteori (5DV102) M. Berglund och K. Markström Totalt antal uppgifter 10 Maximalt antal poäng 30 Krav för 3 i betyg 1 Krav för 4 i betyg 19 poäng, vara minst
K3 Om andra ordningens predikatlogik
KTH Matematik Bengt Ek Maj 2005 Kompletteringsmaterial till kursen 5B1928 Logik för D1: K3 Om andra ordningens predikatlogik Vi presenterar på dessa sidor kortfattat andra ordningens predikatlogik, vilket
Turingmaskiner och oavgörbarhet. Turingmaskinen. Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen.
Turingmaskiner och oavgörbarhet Turingmaskinen Den maximalt förenklade modell för beräkning vi kommer använda är turingmaskinen. Data är ett oändligt långt band där nollor och ettor står skrivna: Oändligt
Övningshäfte 2: Induktion och rekursion
GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2017 INLEDANDE ALGEBRA Övningshäfte 2: Induktion och rekursion Övning D Syftet är att öva förmågan att utgående från enkla samband, aritmetiska och geometriska,
1.1. Fördjupning: Jämförelse av oändliga mängder
Kapitel 1 Kardinalitet Den här texten är tagen från boken Diskret matematik av Asratian Björn Turesson (och delvis modifierad) Av den anledningen finns det visa hänvisningar på en del ställen som är ersatta
Sanningsvärdet av ett sammansatt påstående (sats, utsaga) beror av bindeord och sanningsvärden för ingående påståenden.
MATEMATISK LOGIK Matematisk logik formaliserar korrekta resonemang och definierar formellt bindeord (konnektiv) mellan påståenden (utsagor, satser) I matematisk logik betraktar vi påståenden som antingen
Definitionsmängd, urbild, domän
5B1493, lekt 5, HT06 Funktioner Definition av begreppet Definition: Låt X och Y vara två mängder. En funktion f av typ X Y är detsamma som en delmängd av X Y, sådan att 1. Om (x, y) och (x, z) f, så är
Om modeller och teorier
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om modeller och teorier Hittills i kursen har vi studerat flera olika typer av matematiska strukturer, bl.a. (partial)ordnade
DD1350 Logik för dataloger
DD1350 Logik för dataloger Fö 4 Predikatlogik 1 Kort repetition Satslogik Naturlig deduktion är ett sunt och fullständigt bevissystem för satslogik Avgörbarhet Så vad saknas? Egenskaper Satslogiken är
Om ordinaltal och kardinaltal
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om ordinaltal och kardinaltal (Ännu ofullständig version) Mängdteorin kan ses som grunden för all matematik Här skall
Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 15 (forts.) Robin Stenwall Lunds universitet Dagens upplägg Antalet element i en mängd Kardinalitet Humes princip Cantors teorem Den universella mängden Några mängdteoretiska paradoxer
Objektorienterad modellering och diskreta strukturer. 13. Problem. Sven Gestegård Robertz. Datavetenskap, LTH
Objektorienterad modellering och diskreta strukturer 13. Problem Sven Gestegård Robertz Datavetenskap, LTH 2014 Rekaputilation Vi har talat om satslogik och härledning predikatlogik och substitution mängder
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium. v. 2.0, den 29/ III. Metalogik 17-19
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium IV v. 2.0, den 29/4 2013 III. Metalogik 17-19 Modeller för satslogiken 18.1 Vi har tidigare sagt att en modell är en tolkning av en teori
Föreläsning 5: Kardinalitet. Funktioners tillväxt
Föreläsning 5: Kardinalitet. Funktioners tillväxt A = B om det finns en bijektion från A till B. Om A har samma kardinalitet som en delmängd av naturliga talen, N, så är A uppräknelig. Om A = N så är A
Material till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm. Axiom som är ekvivalenta med urvalsaxiomet
Matematik, KTH Bengt Ek december 2017 Material till kursen SF1679, Diskret matematik: Om urvalsaxiomet mm Vi har tidigare nämnt Zermelo-Fraenkels axiom för mängdläran, de upprepas på sista sidan av dessa
Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik
Läsanvisning till Discrete matematics av Norman Biggs - 5B1118 Diskret matematik Mats Boij 28 oktober 2001 1 Heltalen Det första kapitlet handlar om heltalen och deras aritmetik, dvs deras egenskaper som
Föreläsningsanteckningar och övningar till logik mängdlära
Inledande matematisk analys tma970, 010, logik, mängdlära Föreläsningsanteckningar och övningar till logik mängdlära Dessa öreläsningsanteckningar kompletterar mycket kortattat kap 0 och appendix B i Persson/Böiers,
Grundläggande logik och modellteori
Grundläggande logik och modellteori Kapitel 8: Predikatlogik Henrik Björklund Umeå universitet 2. oktober, 2014 Första ordningens predikatlogik Signaturer och termer Första ordningens predikatlogik Formler
Logik och modaliteter
Modallogik Introduktionsföreläsning HT 2015 Formalia http://gul.gu.se/public/courseid/70391/lang-sv/publicpage.do Förkunskaper etc. Logik: vetenskapen som studerar argument med avseende på (formell) giltighet.
Filosofisk logik Kapitel 15. Robin Stenwall Lunds universitet
Filosofisk logik Kapitel 15 Robin Stenwall Lunds universitet Dagens upplägg Första ordningens mängdlära Naiv mängdlära Abstraktionsaxiomet (eg. comprehension) Extensionalitetsaxiomet Små mängder Ordnade
p /\ q r DD1350 Logik för dataloger Kort repetition Fö 3 Satslogikens semantik
DD1350 Logik för dataloger Fö 3 Satslogikens semantik 1 Kort repetition Satslogik formellt språk för att uttrycka påståenden med variabler och konnektiv /\, \/,, t.ex. p /\ q r 1 Kort repetition Naturlig
Grundläggande logik och modellteori (5DV102)
Tentamen 2013-10-31 Grundläggande logik och modellteori (5DV102) M. Berglund och K. Markström Totalt antal uppgifter 11 Maximalt antal poäng 30 Krav för 3 i betyg 14 poäng Krav för 4 i betyg 19 poäng,
MS-A0409 Grundkurs i diskret matematik I
MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 014 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 014 1 / 44 Mängder (naiv, inte
ÄNDLIGT OCH OÄNDLIGT AVSNITT 4
VSNITT ÄNDLIGT OCH OÄNDLIGT Är det möjligt att jämföra storleken av olika talmängder? Har det någon mening om man säger att det finns fler irrationella tal än rationella? Är det överhuvudtaget möjligt
Några satser ur talteorin
Några satser ur talteorin LCB 997/2000 Fermats, Eulers och Wilsons satser Vi skall studera några klassiska satser i talteori, vilka är av betydelse bland annat i kodningsteknik och kryptoteknik. De kan
MS-A0409 Grundkurs i diskret matematik I
MS-A0409 Grundkurs i diskret matematik I G. Gripenberg Aalto-universitetet oktober 04 G. Gripenberg (Aalto-universitetet) MS-A0409 Grundkurs i diskret matematik I oktober 04 / 45 Mängder och logik Relationer
Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL2 och Media 1, SF1610 och 5B1118, onsdagen den 17 augusti 2011, kl
Matematiska Institutionen KTH Lösning till tentamensskrivning i Diskret Matematik för CINTE, CL och Media, SF60 och 5B8, onsdagen den 7 augusti 0, kl 4.00-9.00. Examinator: Olof Heden Hjälpmedel: Inga
Filosofisk Logik. föreläsningsanteckningar/kompendium (FTEA21:4) v. 2.0, den 5/ Kompakthet och Löwenheim-skolemsatsen
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar/kompendium VI v. 2.0, den 5/5 2014 Kompakthet och Löwenheim-skolemsatsen 19.6-19.7 Närhelst vi har en mängd satser i FOL som inte är självmotsägande
Viktiga frågor att ställa när ett argument ska analyseras och sedan värderas:
FTEA12:2 Föreläsning 2 Grundläggande argumentationsanalys II Repetition: Vid förra tillfället började vi se närmre på vad som utmärker filosofisk argumentationsanalys. Vi tittade närmre på ett arguments
Övningshäfte 1: Induktion, rekursion och summor
LMA100 VT2006 ARITMETIK OCH ALGEBRA DEL 2 Övningshäfte 1: Induktion, rekursion och summor Övning A 1. Kan ni fortsätta följden 1,3,5,7,9,11,...? 2. Vilket är det 7:e talet i följden? Vilket är det 184:e?
Algebra I, 1MA004. Lektionsplanering
UPPSALA UNIVERSITET Matematiska Institutionen Dan Strängberg HT2016 Fristående, IT, KandDv, KandMa, Lärare 2016-11-02 Algebra I, 1MA004 Lektionsplanering Här anges rekommenderade uppgifter ur boken till
Logik och bevisteknik lite extra teori
Logik och bevisteknik lite extra teori Inger Sigstam 2011-04-26 1 Satslogik (eng: propositional logic) 1.1 Språket Alfabetet består av följande symboler: satssymbolerna p 0, p 1, p 2,.... konnektiverna,,,,.
Grundläggande logik och modellteori
Modeller och uttrycksfullhet hos predikatlogik Department of mathematics Umeå university Föreläsning 10 Dagens föreläsning 1 Innehåll på resten av kursen 2 Varför verifikation? Formella metoder för verifikation
Formell logik Kapitel 1 och 2. Robin Stenwall Lunds universitet
Formell logik Kapitel 1 och 2 Robin Stenwall Lunds universitet Kapitel 1: Atomära satser Drömmen om ett perfekt språk fritt från vardagsspråkets mångtydighet och vaghet (jmf Leibniz, Russell, Wittgenstein,
En introduktion till predikatlogik
rasmus.blanck@gu.se FT1200, LC1510 och LGFI52 VT2017 (Premiss 1) (Premiss 2) (Slutsats) Alla människor är dödliga Sokrates är en människa Sokrates är dödlig Detta argument är intuitivt giltigt: Det finns
Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section
Föreläsning 1 Utsagor (Propositioner) sammansatta utsagor sanningstabeller logisk ekvivalens predikat (öppna utsagor) kvantifierare Section 1.1-1.3 i kursboken Definition En utsaga (proposition) är ett
inte följa någon enkel eller fiffig princip, vad man nu skulle mena med det. All right, men
MATEMATISKA INSTITUTIONEN STOCKHOLMS UNIVERSITET Christian Gottlieb Gymnasieskolans matematik med akademiska ögon Induktion Dag 2. Explicita formler och rekursionsformler. Dag mötte vi flera talföljder,
MA 11. Hur starkt de binder. 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi
MA 11 Talteori och logik 2 Reella tal 3 Slutledning 4 Logik 5 Mängdlära 6-7 Talteori 8 Diofantiska ekvationer 9 Fördjupning och kryptografi propositionssymboler: bokstäver konnektiv Paranteser konnektiv
Introduktion till formella metoder Programmeringsmetodik 1. Inledning
Introduktion till formella metoder Programmeringsmetodik 1. Inledning Fokus på imperativa program (ex. C, Java) program betyder härefter ett imperativt program Program bestäms i en abstrakt mening av hur
Hela tal LCB 1999/2000
Hela tal LCB 1999/2000 Ersätter Grimaldi 4.3 4.5 1 Delbarhet Alla förekommande tal i fortsättningen är heltal. DEFINITION 1. Man säger att b delar a om det finns ett heltal n så att a Man skriver b a när
Realism och anti-realism och andra problem
Realism och anti-realism och andra problem Vetenskap och verkligheten Vetenskapen bör beskriva verkligheten. Men vad är verkligheten? Är det vi tycker oss se av verkligheten verkligen vad verkligheten
MATEMATIKENS SPRÅK. Avsnitt 1
Avsnitt 1 MATEMATIKENS SPRÅK Varje vetenskap, liksom varje yrke, har sitt eget språk som ofta är en blandning av vardagliga ord och speciella termer. En instruktionshandbok för ett kylskåp eller för en
Övningshäfte 6: 2. Alla formler är inte oberoende av varandra. Försök att härleda ett par av de formler du fann ur några av de övriga.
GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2005 MATEMATISK BASKURS Övningshäfte 6: Syftet med övningen är att utforska strukturen hos talsystemen under addition respektive multiplikation samt sambandet
Träd och koder. Anders Björner KTH
27 Träd och koder Anders Björner KTH 1. Inledning. Det är i flera sammanhang viktigt att representera information digitalt (d.v.s omvandla till sviter av nollor och ettor). Beroende på vilka villkor som
PROV I MATEMATIK Automatateori och formella språk DV1 4p
UPPSALA UNIVERSITET Matematiska institutionen Salling (070-6527523) PROV I MATEMATIK Automatateori och formella språk DV1 4p 19 mars 2004 SKRIVTID: 15-20. POÄNGGRÄNSER: 18-27 G, 28-40 VG. MOTIVERA ALLA
I kursen i endimensionell analys är mängden av reella tal (eng. real number), R, fundamental.
Lunds tekniska högskola Datavetenskap Lennart ndersson Föreläsningsanteckningar EDF10 4 Mängder 4.1 Motivering Mängden är den mest grundläggande diskreta strukturen. Nästan alla matematiska begrepp går
A B A B A B S S S S S F F S F S F S F F F F
Uppsala Universitet Matematiska institutionen Isac Hedén isac distans@math.uu.se Algebra I, 5 hp Vecka 17. Logik När man utför matematiska resonemang så har man alltid vissa logiska spelregler att förhålla
Mängdlära. Kapitel Mängder
Kapitel 2 Mängdlära 2.1 Mängder Vi har redan stött på begreppet mängd. Med en mängd menar vi en väldefinierad samling av objekt eller element. Ordet väldefinierad syftar på att man för varje tänkbart objekt
Grundläggande logik och modellteori
Grundläggande logik och modellteori Kapitel 3: Bevissystem, Hilbertsystem Henrik Björklund Umeå universitet 8. september, 2014 Bevissystem och Hilbertsystem Teorier och deduktionsproblemet Axiomscheman
Induktion, mängder och bevis för Introduktionskursen på I
Induktion, mängder och bevis för Introduktionskursen på I J A S, ht 04 1 Induktion Detta avsnitt handlar om en speciell teknik för att försöka bevisa riktigheten av påståenden eller formler, för alla heltalsvärden
Övningshäfte 3: Funktioner och relationer
GÖTEBORGS UNIVERSITET MATEMATIK 1, MAM100, HT2014 INLEDANDE ALGEBRA Övningshäfte 3: Funktioner och relationer Övning H Syftet är att utforska ett av matematikens viktigaste begrepp: funktionen. Du har
LMA033/LMA515. Fredrik Lindgren. 4 september 2013
LMA033/LMA515 Fredrik Lindgren Matematiska vetenskaper Chalmers tekniska högskola och Göteborgs universitet 4 september 2013 F. Lindgren (Chalmers&GU) Matematik 4 september 2013 1 / 25 Outline 1 Föreläsning
Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT. Övning A
Explorativ övning 4 ÄNDLIGT OCH OÄNDLIGT Första delen av övningen handlar om begreppet funktion. Syftet är att bekanta sig med funktionsbegreppet som en parbildning. Vi koncentrerar oss på tre viktiga
Mängder och kardinalitet
UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 28 september 2007 Mängder och kardinalitet Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen
Varför är logik viktig för datavetare?
Varför är logik viktig för datavetare? 1. Datavetenskap handlar ofta om att automatisera processer som tidigare styrts av människor. Intuition, intelligens och mänskliga resonemang ersätts av beräkningar.
7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2013 1 Inledning 2 Satslogik Inledning Satslogiska uttryck Resonemang och härledningar
Logisk semantik I. 1 Lite om satslogik. 1.1 Konjunktioner i grammatisk bemärkelse. 1.2 Sant och falskt. 1.3 Satssymboler. 1.
UPPSALA UNIVERSITET Datorlingvistisk grammatik I Institutionen för lingvistik och filologi Oktober 2007 Mats Dahllöf http://stp.ling.uu.se/ matsd/uv/uv07/dg1/ Logisk semantik I 1 Lite om satslogik 1.1
Dagens teman. Mängdlära forts. Relationer och funktioner (AEE 1.2-3, AMII K1.2) Definition av de naturliga talen, Peanos axiom.
Dagens teman Mängdlära orts. Relationer och unktioner (AEE 1.2-3, AMII K1.2) Deinition av de naturliga talen, Peanos axiom. Relationer och unktioner Relationer Generell deinition: En relation R på mängden
Bakgrund. Bakgrund. Bakgrund. Håkan Jonsson Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige
Är varje påstående som kan formuleras matematiskt*) alltid antingen sant eller falskt? *) Inom Institutionen för systemteknik Luleå tekniska universitet Luleå, Sverige Exempel: 12 = 13 nej, falskt n! >
Föreläsning 6: Induktion
Föreläsning 6: Induktion Induktion är en speciell inferensregel. En mängd är välordnad om varje delmängd har ett minsta element Exempel: N är välordnad (under ) Låt P(x) vara ett predikat över en välordnad
Induktion och rekursion
Matematik, KTH Bengt Ek november 2016 Material till kursen SF1679, Diskret matematik för F: Induktion och rekursion 1. Om välgrundade binära relationer Låt R vara en binär relation på en mängd D. Vi skriver
7, Diskreta strukturer
Objektorienterad modellering och diskreta strukturer 7, Diskreta strukturer Sven Gestegård Robertz Datavetenskap, LTH 2015 Modeller Matematiska modeller Kontinuerliga modeller Kontinuerliga funktioner
Lösning till tentamensskrivning på kursen Diskret Matematik, moment B, för D2 och F, SF1631 och SF1630, den 1 juni 2011 kl
Matematiska Institutionen KTH Lösning till tentamensskrivning på kursen Diskret Matematik moment B för D2 och F SF63 och SF63 den juni 2 kl 8.- 3.. Examinator: Olof Heden tel. 7354789. Hjälpmedel: Inga
Övningshäfte 1: Logik och matematikens språk
GÖTEBORGS UNIVERSITET MATEMATIK 1, MMG200, HT2014 INLEDANDE ALGEBRA Övningshäfte 1: Logik och matematikens språk Övning A Målet är att genom att lösa och diskutera några inledande uppgifter få erfarenheter
2 Matematisk grammatik
MATEMATISK GRAMMATIK Matematisk grammatik.1 Skriva matematik Matematisk grammatik, minst lika kul som det låter, och hur man skriver matematik är nästan lika viktigt som vad man skriver. En grammatisk
Peanos axiomsystem för de naturliga talen
5B1493, lekt 3, HT06 P1. Det finns ett naturligt tal 0. Peanos axiomsystem för de naturliga talen P2. Varje natutligt tal n har en s.k. efterföljare n +. P3. Om n + = m + så är n = m. P4. Inget naturligt
Semantik och pragmatik
Semantik och pragmatik OH-serie 5 http://stp.lingfil.uu.se/~matsd/uv/uv12/semp/ Mats Dahllöf Institutionen för lingvistik och filologi Januari 2012 Så här långt Konjunktion (p q): att två enklare satser
Avslutning. Vad? Hur? Anmärkningar inför tentan 2. Vad ska kunnas?
Avslutning Anmärkningar inför tentan Vad ska kunnas? Avslutning 1 Vad? Anmärkningar inför tentan 1 Att ha en bra förståelse för det som behandlades på föreläsningarna och gruppövningarna räcker i princip.
1 Att läsa matematik.
1 Att läsa matematik. Precis som vid all annan läsning som betyder något skall matematik läsas aktivt. Detta innebär olika saker för olika personer. För en del kanske det betyder att visualisera de idéer
Kap. 7 Logik och boolesk algebra
Ka. 7 Logik och boolesk algebra Satslogik Fem logiska konnektiv: ej, och, eller, om-så, omm Begre: sats, sanningsvärde, sanningsvärdestabell tautologi, kontradiktion Egenskaer: Räkneregler för satslogik
(N) och mängden av heltal (Z); objekten i en mängd behöver dock inte vara tal. De objekt som ingår i en mängd kallas för mängdens element.
Grunder i matematik och logik (2017) Mängdlära Marco Kuhlmann 1 Grundläggande begrepp Mängder och element 2.01 En mängd är en samling objekt. Två standardexempel är mängden av naturliga tal (N) och mängden
Innehåll. Föreläsning 7. Satslogiken är för grov. Samma sak i predikatlogik: Första ordningens predikatlogik. Logik med tillämpningar
Innehåll Föreläsning 7 Logik med tillämpningar 99-03-01 Första ordningens predikatlogik Objekt, predikat, kvantifierare Funktioner, termer, wffs Bindning och räckvidd Tolkningar och värderingar Satisfiering,
Datorprogram, algoritmer och Turing-maskiner
Datorprogram, algoritmer och Turing-maskiner Uppsala universitet Turing-året 2012 Inledning Det är bekvämt om en maskin, till exempel en dator, kan utföra en uppgift, särskilt om den kan göra det avsevärt
DD1350 Logik för dataloger. Vad är logik?
DD1350 Logik för dataloger Fö 1 - Introduktion Vad är logik? Vetenskapen som studerar hur man bör resoneraoch dra slutsatser utifrån givna påståenden (=utsagor, satser). 1 Aristoteles (384-322 f.kr) Logik
Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 2014-2015. Lektion 4
Introduktion till algoritmer - Lektion 4 Matematikgymnasiet, Läsåret 014-015 Denna lektion ska vi studera rekursion. Lektion 4 Principen om induktion Principen om induktion är ett vanligt sätt att bevisa
9. Predikatlogik och mängdlära
Objektorienterad modellering och diskreta strukturer 9. Predikatlogik och mängdlära Sven Gestegård Robertz Datavetenskap, LTH 2014 Rekaputilation Vi har talat om satslogik naturlig härledning predikatlogik
ANDREAS REJBRAND NV3ANV Matematik Matematiskt språk
ANDREAS REJBRAND NV3ANV 2006-02-14 Matematik http://www.rejbrand.se Matematiskt språk Innehållsförteckning MATEMATISKT SPRÅK... 1 INNEHÅLLSFÖRTECKNING... 2 INLEDNING... 3 MÄNGDER... 4 Att uttrycka en mängd...
Uppsala Universitet Matematiska Institutionen Thomas Erlandsson
Uppsala Universitet Matematiska Institutionen Thomas Erlandsson LÄSANVISNINGAR VECKA 36 VERSION 1. ARITMETIK FÖR RATIONELLA OCH REELLA TAL, OLIKHETER, ABSOLUTBELOPP ADAMS P.1 Real Numbers and the Real
Relationer. 1. Relationer. UPPSALA UNIVERSITET Matematiska institutionen Erik Melin. Specialkursen HT07 23 oktober 2007
UPPSALA UNIVERSITET Matematiska institutionen Erik Melin Specialkursen HT07 23 oktober 2007 Relationer Dessa blad utgör skissartade föreläsningsanteckningar kombinerat med övningar. Framställningen är
Lösningsförslag till övningsuppgifter, del II
Lösningsförslag till övningsuppgifter del II Obs! Preliminär version! Ö.1. För varje delare d till n låt A d var mängden av element a sådana att gcd(a n = d. Partitionen ges av {A d : d delar n}. n = 6:
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I. v. 2.0, den 24/4 2013
Filosofisk Logik (FTEA21:4) föreläsningsanteckningar I v. 2.0, den 24/4 2013 Om detta kompendium: Filosofiska institutionen, Lunds Universitet staffan.angere@fil.lu.se Förberedande Det här kompendiet är
Tentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180)
Göteborgs Universitet och Chalmers Tekniska Högskola 25 oktober 2005 Datavetenskap TDA180/TDA181/INN110 Tentamen i kurserna Beräkningsmodeller (TDA181/INN110) och Grundläggande Datalogi (TDA180) Onsdagen
Robin Stenwall Lunds universitet
Robin Stenwall Lunds universitet Avsnitt 14.1 Numerisk kvantifikation Kvantifikatorerna i FOL är begränsade till och. Detta innebär att vi kan uttrycka satser som säger någonting om allting och någonting.
Tommy Färnqvist, IDA, Linköpings universitet. 2 Strukturer 2 2.1 Domäner... 2 2.2 Tolkningar... 3
Föreläsning 2 Semantik 729G06 Logikdelen Föreläsningsanteckningar i Programmering och logik 27 januari 2014 Tommy Färnqvist, IDA, Linköpings universitet 2.1 Innehåll Innehåll 1 Lite mer syntax 1 2 Strukturer
:1) Vid ett besök på Knarrön (där ju var och en antingen är kung (och
KTH Matematik B.Ek SF1642 LOGIK för D och IT, övningarna vt08 Exempel från gamla tentor (i 5B1928) Ö1, kungar och narrar 23.5-01:1a) Det är marknadsdag på Knarrön och många invånare från den närbelägna
D. x 2 + y 2 ; E. Stockholm ligger i Sverige; F. Månen är en gul ost; G. 3 2 = 6; H. x 2 + y 2 = r 2.
Logik Vid alla matematiskt resonemang måste man vara säker på att man verkligen menar det man skriver ner på sitt papper. Därför måste man besinna hur man egentligen tänker. Den vetenskap, som sysslar
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK
SJÄLVSTÄNDIGA ARBETEN I MATEMATIK MATEMATISKA INSTITUTIONEN, STOCKHOLMS UNIVERSITET Disjunktionsegenskaper och existensegenskaper inom intuitionistisk logik av Iris van Rooijen 2012 - No 17 MATEMATISKA