Løsningsforslag oblig. innlevering 1
|
|
- Monika Bjerke
- 6 år siden
- Visninger:
Transkript
1 Løsningsforslag oblig. innlevering 1 IN1150 Logiske metoder Høsten 2017 Oppgave 1 - Mengdelære (10 poeng) a) Ut fra opplysningene under, angi hvilke mengder A og B er. A B = {1, 2, 3, 4, 5, 6} A B = {2, 6} A \ B = {3, 4} A = {2, 3, 4, 6}, B = {1, 2, 5, 6} b) Hvor mange elementer er det i A B? List opp minst 3 av disse elementene. Det er 4 4 = 16 elementer i A B. Noen av disse elementene er 2, 1, 3, 6 og 6, 5. c) A B = {7, 8, 9} Hvilken mengde er da den universelle mengden U? U = {1, 2, 3, 4, 5, 6, 7, 8, 9} d) M {1, 2, 3, 4, 5} M = 3 { {2}, {4}, {1, 2} } P(M) (P(M) er potensmengden til M, se definisjon 8.3.) Angi hvilken mengde M er. M = {1, 2, 4} e) Hva er kardinaliteten til P(M)? P(M) = 2 M = 2 3 = 8 Forklaring: P(M) er mengden av alle delmengdene av M. Spørsmålet kunne altså like gjerne vært hvor mange delmengder M har. For å lage en delmengde av M må man for hvert av de 3 elementene i M velge om det elementet skal være med eller ikke. Man har altså 3 uavhengige valg med 2 muligheter i hvert valg. Dette gir totalt = 2 3 = 8 muligheter. 1
2 f) La C = {1, 2}. Finn en mengde D slik at C både er et element i D og en delmengde av D. En mulighet er D = {{1, 2}, 1, 2}. Oppgave 2 - Utsagnslogikk (8 poeng) a) La F = (P Q). Gi 3 forskjellige utsagnslogiske formler som er logiske konsekvenser av F, men som ikke er ekvivalente med F. Tre muligheter er P, Q, og (P Q). Alle tautologier er også logiske konsekvenser av (P Q), for en tautologi er en logisk konsekvens av enhver formel. b) Er {(P Q), (P Q)} en uavhengig mengde formler? Begrunn svaret. (Se definisjon 4.8 for definisjonen av en uavhengig mengde formler.) Nei, for (P Q) er en logisk konsekvens av (P Q). c) Er det sant at (P Q) ( P Q)? Begrunn svaret. Nei. Valuasjonen som gjør P sann og Q usann gjør (P Q) usann og ( P Q) sann. d) Bevis at ((P Q) ( P Q)) er en tautologi med et motsigelsesbevis. (Du skal altså begynne med å anta at påstanden er usann, og vise at det leder til en motsigelse.) Antar for motsigelse at F = ((P Q) ( P Q)) ikke er en tautologi, altså at F er falsifiserbar. Da finnes det en valuasjon v som gjør F usann. F er en disjunksjon (eller-formel), og den eneste måten å gjøre en disjunksjon usann på, er ved å gjøre begge disjunktene usanne. v må altså gjøre både (P Q) og ( P Q) usanne. ( P Q) er også en disjunksjon, og siden v gjør ( P Q) usann, må v gjøre P usann og Q usann. Da gjør v P sann og Q sann. Men hvis v gjør P og Q sanne, er (P Q) sann. Det er ikke mulig at en valuasjon gjør (P Q) både sann og usann samtidig, og vi har kommet til en motsigelse. Dermed kan vi konkludere med at F er en tautologi. 2
3 Oppgave 3 - Relasjoner og funksjoner (8 poeng) La A = {1, 2, 3, 4}. a) La R være en refleksiv relasjon på A. Hva er det minste antallet elementer R kan inneholde? 4, siden det er 4 elementer i A. b) S = { 1, 4, 2, 4, 3, 2, 4, 2 }. Hva er den transitive tillukningen av S? S { 1, 2, 2, 2, 3, 4, 4, 4 } c) Angi en binær relasjon på A som er symmetrisk og irrefleksiv, og som også er en funksjon fra A til A. (Merk at det står irrefleksiv, se definisjon 6.7.) En mulighet: { 1, 2, 2, 1, 3, 4, 4, 3 } d) Er funksjonen din i c) injektiv, surjektiv eller bijektiv? Begrunn svaret. Funksjonen er både injektiv og surjektiv, så den er bijektiv. Funksjonen er injektiv siden det for alle par av tupler x 1, y 1, x 2, y 2 i funksjonen er slik at hvis x 1 x 2, så y 1 y 2. Funksjonen er surjektiv, siden det for alle y A finnes en x A slik at x, y er med i funksjonen. Oppgave 4 - Rekursive funksjoner (6 poeng) a) Definer en rekursiv funksjon f på bitstrenger som bytter ut alle 1-ere i en bitstreng med 0-er, og alle 0-er med 1-ere. Eksempler: f(101) = 010 f( ) = f(1) = 0 f(0) = 1 f(b1) = f(b)0 f(b0) = f(b)1 Forklaring: Først må vi se på den induktive definisjonen av mengden av bitstrenger (definisjon 9.9). Mengden av bistrenger er induktivt definert som den minste mengden som er slik at 0 og 1 er bitstrenger, og hvis b er en bitstreng, er b0 og b1 også bitstrenger. 3
4 Basismengden her er altså {0, 1}. Etter definisjon 10.1 for rekursive funksjoner må vi først for hvert element x i basismengden spesifisere en verdi for f(x). Derfor spesifiserer vi først f(1) = 0 og f(0) = 1 i overenstemmelse med oppgaven. Så må vi for hver bitstreng x som fremkommer i et induksjonssteg, definere verdien til f(x) ved å bruke «tidligere definerte verdier for f». Siden b1 fremkommer i et induksjonssteg basert på b, må vi definere verdien til f(b1) basert på verdien til f(b). Siden bitstrengen b1 slutter på 1, skal f(b1) være strengen b der alle 1-ere er byttet med 0-er, og alle 0-er er byttet med 1-ere, og i tillegg en 0 på slutten. Derfor setter vi f(b1) = f(b)0. Siden b1 også fremkommer i et induksjonssteg basert på b, må vi definere verdien til f(b1) basert på verdien til f(b). Analogt med definisjonen av f(b1) setter vi f(b0) = f(b)1. b) Definer en rekursiv funksjon g fra bitstrenger til heltall som gir differansen mellom antall 1-ere og antall 0-er i en bitstreng b. Hvis b inneholder m 1-ere og n 0-er, så skal g(b) = m n. Eksempler: f(1011) = 2 f(00000) = 5 f(1) = 1 f(0) = 1 f(b1) = f(b) + 1 f(b0) = f(b) 1 Oppgave 5 - Strukturell induksjon (8 poeng) La B være språket over alfabetet {(, )} som er indukivt definert slik: Λ B Hvis s B, så (s) B. Hvis s B og t B, så st B. Her er noen av elementene i B: Λ, (), ()(), (()), (()()), (())() og ()()(). Bevis ved strukturell induksjon at for alle strenger x B, er det slik at antall tegn i x er et partall. Basissteget: Påstanden holder for Λ, fordi antall tegn i Λ er 0, som er et partall. 4
5 Induksjonssteget: Anta at påstanden holder for s og t. Dette er induksjonshypotesen. Fra denne antakelsen må vi vise at påstanden holder for (s) og st. Antall tegn i (s) er lik antall tegn i s pluss 2. Ved induksjonshypotesen er det partall mange tegn i s, og siden 2 pluss et partall er et partall, er det partall mange tegn i (s). Antall tegn i st er lik antall tegn i s pluss antall tegn i t. Ved induksjonshypotesen er begge disse tallene partall, og siden summen av to partall er et partall, er det også partall mange tegn i st. Ved induksjon følger det at for alle s B, er det slik at antall tegn i s er et partall. 5
UNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 29. november 2013 Tid for eksamen: 09.00 13.00 (Fortsettes på side 2.) Oppgave
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 10. desember 2012 Tid for eksamen: 09.00 13.00 Innledning La U være mengden
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. desember 2015 Tid for eksamen: 09.00 13.00 (Fortsettes på side 2.) INF1080 Logiske metoder for informatikk Oppgave
DetaljerINF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]
INF1080 Logiske metoder for informatikk Digital eksamen (med løsningsforslag) Dette er et utkast til løsningsforslag til eksamen i INF1080, og feil kan forekomme. Hvis du finner noen feil, si ifra til
DetaljerPrøveeksamen 2016 (med løsningsforslag)
Prøveeksamen 2016 (med løsningsforslag 1 Grunnleggende mengdelære La A = {0, {0}} og B = {0, {0}, {0, {0}}}. Er følgende påstander sanne eller usanne? 1 {{0}} A 2 0 B 3 A B 4 A B 1 Usann 2 Usann 3 Sann
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 25. november 2011 Tid for eksamen: 14:45 16:45 Oppgave 1 Mengdelære (15 poeng)
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. INF1080 Logiske metoder for informatikk
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag:. desember Tid for eksamen:.. INF Logiske metoder for informatikk Oppgave Mengdelære ( poeng) La A = {,, {}}, B =
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 9. desember 2010 Tid for eksamen: 09:00 13:00 Oppgavesettet er på 5 sider.
DetaljerUNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 10. desember 2013 Tid for eksamen: 09.00 13.00 Oppgave 1 Mengdelære (10 poeng)
DetaljerINF1080 Logiske metoder for informatikk. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]
INF1080 Logiske metoder for informatikk Digital eksamen Tid: Onsdag 7. desember 2016 kl. 14.30 18.30 (4 timer) Tillatte hjelpemidler: Ingen Eksamen består av to deler som er verdt omtrent like mye. Den
DetaljerLØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng)
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. desember 2010 Tid for eksamen: 09:00 13:00 INF1080 Logiske metoder for informatikk Oppgave 1 Mengdelære (10 poeng)
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 28. november 2014 Tid for eksamen: 08.15 12.15 Oppgave 1 Mengdelære (10 poeng)
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 27. desember 2015 Tid for eksamen: 08.15 12:15 Oppgave 1 Grunnleggende mengdelære
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 27. november 2012 Tid for eksamen: 13:00 16:00 Oppgave 1 Mengdelære (15 poeng)
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 26. november 2010 Tid for eksamen: 13:00 17:00 Oppgave 1 La A = { }. Mengdelære
DetaljerRepetisjonsforelesning - INF1080
Repetisjonsforelesning - INF1080 Mengder, relasjoner og funksjoner 18. november 2015 1 Grunnleggende mengdelære 1.1 Elementært om mengder 1.1.1 Hva er en mengde? Definisjon 1.1 (Mengde). En mengde er en
DetaljerINF3170 Forelesning 2
INF3170 Forelesning 2 Mengdelære, induktive definisjoner og utsagnslogikk Roger Antonsen - 2. februar 2010 (Sist oppdatert: 2010-02-02 14:26) Dagens plan Innhold Litt mer mengdelære 1 Multimengder.........................................
DetaljerLitt mer mengdelære. INF3170 Logikk. Multimengder. Definisjon (Multimengde) Eksempel
INF3170 Logikk Forelesning 2: Mengdelære, induktive definisjoner og utsagnslogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Litt mer mengdelære 2. februar 2010 (Sist oppdatert: 2010-02-02
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF Logiske metoder for informatikk Eksamensdag:. desember Tid for eksamen:.. Oppgavesettet er på sider. Vedlegg: Ingen Tillatte
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 28. november 2014 Tid for eksamen: 08.15 12.15 Oppgavesettet er på 6 sider. Vedlegg: Tillatte hjelpemidler: INF1080
DetaljerForelesning januar 2006 Induktive denisjoner og utsagnslogikk
Forelesning 2-30. januar 2006 Induktive denisjoner og utsagnslogikk 1 Praktisk informasjon INF5170 { Logikkseminar Tirsdager 14:15-16:00 pa Buerommet (3. etg, I). Flg med pa forskning og aktuelle temaer
DetaljerHint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.
Hint til oppgavene Fullstendige løsningsforslag finnes på emnesidene for 2017. Uke 34 Oppgave 1, 2, 3 og 4 kan alle løses ved å tegne sannhetstabeller, men i flere tilfeller kan man like gjerne manipulere
DetaljerIN1150 Høst Logiske metoder for informatikk. Digital eksamen
IN1150 Høst 2017 Logiske metoder for informatikk Digital eksamen id: orsdag 23. november 2017 kl. 14.30 18.30 (4 timer) illatte hjelpemidler: Ingen Eksamen består av to deler som er verdt omtrent like
DetaljerTo mengder S og T er like, S = T, hvis de inneholder de samme elementene. Notasjon. Mengden med elementene a, b, c og d skrives ofte {a, b, c, d}.
Forelesning 0: Mengdelære, Induksjon Martin Giese - 23. januar 2008 1 Mengdelære 1.1 Mengder Mengder Definisjon 1.1. En mengde er en endelig eller uendelig samling objekter der innbyrdes rekkefølge og
DetaljerUkeoppgaver fra kapittel 10 & Induksjonsbevis
Plenumsregning 11 Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen - 24. april 2008 Grafteori Vi regner oppgavene på tavlen i dag. Oppgave 10.9 Oppgave 10.10 Oppgave 10.11 Oppgave 10.12 Oppgave
DetaljerGrafteori. MAT1030 Diskret matematikk. Induksjonsbevis
Grafteori MAT1030 Diskret matematikk Plenumsregning 11: Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen Matematisk Institutt, Universitetet i Oslo 24. april 2008 Vi regner oppgavene på tavlen
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 11: Ukeoppgaver fra kapittel 10 & Induksjonsbevis Roger Antonsen Matematisk Institutt, Universitetet i Oslo 24. april 2008 Grafteori Vi regner oppgavene på tavlen
DetaljerForelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen januar 2007
Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen - 29. januar 2007 1 Induktive definisjoner Induktive definisjoner Definisjon 1.1 (Induktiv definisjon). Å
DetaljerDagens plan. INF3170 Logikk. Induktive definisjoner. Eksempel. Definisjon (Induktiv definisjon) Eksempel
INF3170 Logikk Dagens plan Forelesning 2: Induktive definisjoner, utsagnslogikk og sekventkalkyle Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 Induktive definisjoner 2 29.
DetaljerDagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008.
INF3170 Logikk Dagens plan Forelesning 0:, Induksjon Martin Giese 1 Institutt for informatikk, Universitetet i Oslo 2 23. januar 2008 Institutt for informatikk (UiO) INF3170 Logikk 23.01.2008 2 / 47 1
DetaljerLØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1
LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1 p q p p q p q T T F T T Sannhetstabell: T F F F F F T T T T F F T T T Siden proposisjonene p q og p q har samme sannhetsverdier (for alle sannhetsverdier
DetaljerTMA4140 Diskret Matematikk Høst 2018
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4140 Diskret Matematikk Høst 018 Seksjon 81 11 a) Oppgaven spør etter antall måter man kan gå opp n trappetrinn dersom man
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 32: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 21. mai 2008 Streik? Det er muligheter for streik i offentlig sektor fra midnatt, natt til fredag.
DetaljerDefinisjon 1.1 (Sunnhet). Sekventkalkylen LK er sunn hvis enhver LK-bevisbar sekvent er gyldig.
Forelesning 5: Kompletthet og første-ordens logikk Roger Antonsen - 20. februar 2006 1 Kompletthet 1.1 Repetisjon Gyldig P, P Q Q Hvis v = P og v = P Q, så v = Q. Bevisbar P P Q Q P, P Q Q Falsifiserbar
DetaljerLøsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.
Løsningsforslag Emnekode: ITF75 Dato: 5 desember Emne: Matematikk for IT Eksamenstid: kl 9 til kl Hjelpemidler: To A4-ark med valgfritt innhold på begge sider Kalkulator er ikke tillatt Faglærer: Christian
DetaljerForelesning 3: Utsagnslogikk sekventkalkyle, sunnhet og kompletthet Christian Mahesh Hansen - 5. februar 2007
Forelesning 3: Utsagnslogikk sekventkalkyle, sunnhet og kompletthet Christian Mahesh Hansen - 5. februar 2007 1 Sekventkalkyle 1.1 Semantikk for sekventer Semantikk for sekventer Definisjon 1.1 (Gyldig
DetaljerEksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag
Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 7 848 Eksamensdato: 3. mai 014 Eksamenstid (fra
DetaljerNoen løsningsforslag/fasitsvar
Kapittel 8 Noen løsningsforslag/fasitsvar Etter ønske fra kursdeltagerne suppleres heftet med fasit for noen av oppgavene. Der det er aktuelt, gir vi også mer utfyllende forslag til hvordan oppgaven kan
DetaljerDagens plan. INF3170 Logikk. Semantikk for sekventer. Definisjon (Motmodell/falsifiserbar sekvent) Definisjon (Gyldig sekvent) Eksempel.
INF3170 Logikk Dagens plan Forelesning 3: Utsagnslogikk sekventkalkyle, sunnhet og kompletthet 1 Sekventkalkyle Christian Mahesh Hansen 2 Institutt for informatikk, Universitetet i Oslo 3 5. februar 2007
DetaljerINF3170 Forelesning 1
INF3170 Forelesning 1 Introduksjon og mengdelære Roger Antonsen - 26. januar 2010 (Sist oppdatert: 2010-01-26 14:58) Dagens plan Innhold Velkommen til INF3710 Logikk 1 Litt praktisk informasjon...................................
DetaljerForelesning 3-6. februar 2006 Utsagnslogikk sekventkalkyle og sunnhet. 1 Mengdelære III. 2 Utsagnslogikk. 1.1 Multimengder. 2.
Forelesning 3-6. februar 2006 Utsagnslogikk sekventkalkyle og sunnhet 1 Mengdelære III 1.1 Multimengder Multimengder Mengder der antall forekomster av hvert element teller Definisjon (Multimengde). En
DetaljerMAT1030 Forelesning 13
MAT1030 Forelesning 13 Funksjoner Dag Normann - 2. mars 2010 (Sist oppdatert: 2010-03-02 14:15) Kapittel 6: Funksjoner Forrige uke Forrige forelesning snakket vi om relasjoner. Vi snakket om ekvivalensrelasjoner
DetaljerKapittel 6: Funksjoner
MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 6: Funksjoner 2. mars 2010 (Sist oppdatert: 2010-03-02 14:14) MAT1030 Diskret Matematikk
DetaljerKONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 6 KONTINUASJONSEKSAMEN I TMA440 LØSNINGSFORSLAG Oppgave Sannhetsverditabell for det logiske utsagnet ( (p q) ) ( q r
DetaljerForelesning 1: Introduksjon. Utsagnslogikk og sekventkalkyle Arild Waaler januar 2008
Forelesning 1: Introduksjon. Utsagnslogikk og sekventkalkyle Arild Waaler - 21. januar 2008 1 Praktisk informasjon 1.1 Forelesere og tid/sted Forelesere: Martin Giese (martingi@ifi.uio.no) Arild Waaler
DetaljerInnføring i bevisteknikk
Innføring i bevisteknikk (Kun det som undervises på forelesningen er pensum. NB! Avsnitt 1.6 og 1.7 inngår ikke i pensum) Et bevis går ut på å demonstrere at implikasjonen p q er sann. p kalles for premissen
DetaljerDagens plan INF3170 Logikk. Obliger og eksamen. Forelesning 1: Introduksjon, mengdelære og utsagnslogikk. Christian Mahesh Hansen og Roger Antonsen
Dagens plan INF3170 Logikk Forelesning 1: Introduksjon, mengdelære og utsagnslogikk Christian Mahesh Hansen og Roger Antonsen Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 23.
DetaljerDagens plan. INF3170 Logikk. Obliger og eksamen. Forelesning 1: Introduksjon. Utsagnslogikk og sekventkalkyle. Arild Waaler. 21.
INF3170 Logikk Dagens plan Forelesning 1: Introduksjon. og sekventkalkyle Arild Waaler Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 21. januar 2008 3 Institutt for informatikk
DetaljerTMA4140 Diskret Matematikk Høst 2016
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4140 Diskret Matematikk Høst 016 Seksjon 5 4 a) Ved å observere at 18 4 + 7, 19 3 4 + 7, 0 4 5 og 1 3 7 så ser vi at P(18),
Detaljer1 Utsagnslogikk (10 %)
1 Utsagnslogikk (10 %) a1) A A, C A A C A B A B (A C) B, C B B C B B, C A, C B, C A C B C A C B C B (A C) A (B C) B (A C) Utledningen lukkes ikke og vi får følgende valuasjon v som falsifiserer formelen:
DetaljerForelesning 31: Repetisjon
MAT1030 Diskret Matematikk Forelesning 31: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo Forelesning 31: Repetisjon 18. mai 2010 (Sist oppdatert: 2010-05-18 14:11) MAT1030 Diskret Matematikk
DetaljerDagens plan. INF3170 Logikk. Syntaks: Utsagnslogiske formler. Motivasjon
INF3170 Logikk Dagens plan Forelesning 4: og førsteordens logikk Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 2 12. februar 2007 3 Institutt for informatikk (UiO) INF3170 Logikk
DetaljerHvis Ole følger inf3170, så liker Ole logikk. Ole følger inf3170, og Ole følger ikke inf3170. Ole følger inf3170, eller Ole følger ikke inf3170.
Forelesning 4: Repetisjon og førsteordens logikk Christian Mahesh Hansen - 12. februar 2007 1 Repetisjon Motivasjon Er utsagnene sanne? Hvis Ole følger inf3170, så liker Ole logikk. Ole følger inf3170,
DetaljerINF4170 { Logikk. Forelesning 1: Utsagnslogikk. Arild Waaler. 20. august Institutt for informatikk, Universitetet i Oslo
INF4170 { Logikk Forelesning 1: Utsagnslogikk Arild Waaler Institutt for informatikk, Universitetet i Oslo 20. august 2013 Dagens plan 1 Utsagnslogikk 2 Sekventkalkyle 3 Sunnhet 4 Kompletthet Institutt
DetaljerTMA4140 Diskret Matematikk Høst 2016
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA44 Diskret Matematikk Høst 26 Seksjon 3. Husk at w = λ, den tomme strengen, for enhver streng w. 4 a) Følgende utledning/derivasjon
DetaljerMAT1030 Forelesning 13
MAT1030 Forelesning 13 Funksjoner Roger Antonsen - 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) Kapittel 6: Funksjoner Opphenting Forrige forelesning snakket vi veldig grundig om relasjoner Vi snakket
DetaljerINF1800 Forelesning 6
INF1800 Forelesning 6 Utsagnslogikk Roger Antonsen - 3. september 2008 (Sist oppdatert: 2008-09-03 12:49) Mer om bruk av utsagnslogikk Hvordan fange inn utsagn? Jeg spiser det hvis det er godt. Jeg spiser
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55) Repetisjon
DetaljerRepetisjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER. Mengder. Multimengder og tupler.
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Repetisjon Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55)
DetaljerMerk: kopieringen av hovedformelen i γ-reglene medfører at bevissøk i førsteordens logikk ikke nødvendigvis behøver å terminere!
Forelesning 8: Førsteordens logikk kompletthet Martin Giese - 10. mars 2008 1 Repetisjon: Kalkyle og Sunnhet av LK 1.1 Sekventkalkyleregler Definisjon 1.1 (γ-regler). γ-reglene i sekventkalkylen LK er:
DetaljerEmnenavn: Matematikk for IT. Eksamenstid: Faglærer: Christian F Heide
EKSAMEN ny og utsatt Emnekode: ITF10705 Dato: 4. juni 2018 Hjelpemidler: - To A4-ark med valgfritt innhold på begge sider. Emnenavn: Matematikk for IT Eksamenstid: 09.00 13.00 Faglærer: Christian F Heide
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) Kapittel 6: Funksjoner MAT1030 Diskret
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 6: UTSAGNSLOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 3. september 2008 (Sist oppdatert: 2008-09-03 12:49) Mer om bruk av utsagnslogikk
DetaljerLøsningsforslag Øving 7 TMA4140 Diskret matematikk Høsten 2008
Løsningsforslag Øving 7 TMA4140 Diskret matematikk Høsten 008 3-1-9 prosedyre palindromsjekk (a 1, a,..., a n : streng) svar :=sann for i := 1 to n/ if a i a n+1 i then svar :=usann {svaret er sant hvis
DetaljerRepetisjonsforelesning
Repetisjonsforelesning INF3170 Andreas Nakkerud Institutt for informatikk 24. november 2014 Institutt for informatikk Universitetet i Oslo Repetisjon 24. november 2014 1 / 39 Utsagnslogikk Utsagnslogikk
DetaljerEksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag
Institutt for matematiske fag Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag Faglig kontakt under eksamen: Martin Strand Tlf: 970 27 848 Eksamensdato:. august 2014 Eksamenstid (fra
DetaljerINF3170 Forelesning 11
INF3170 Forelesning 11 Intuisjonistisk logikk Roger Antonsen - 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) Innhold Intuisjonistisk logikk 1 Innledning........................................... 1
DetaljerSemantikk Egenskaper ved predikatlogikk Naturlig deduksjon INF3170 / INF4171. Predikatlogikk: Semantikk og naturlig deduksjon.
INF3170 / INF4171 Predikatlogikk: Semantikk og naturlig deduksjon Andreas Nakkerud 3. september 2015 Eksempel Gitt en similaritetstype 0, 2; 1; 2 bygger vi en struktur (modell) hvor A = {c 1, c 2, a, b},
DetaljerIntuisjonistisk logikk
INF3170 Logikk Forelesning 11: Intuisjonistisk logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Intuisjonistisk logikk 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) INF3170 Logikk
DetaljerINF3170 Logikk. Forelesning 11: Intuisjonistisk logikk. Roger Antonsen. 27. april Institutt for informatikk, Universitetet i Oslo
INF3170 Logikk Forelesning 11: Intuisjonistisk logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 27. april 2010 (Sist oppdatert: 2010-04-27 11:58) Intuisjonistisk logikk INF3170 Logikk
DetaljerINF3170 Forelesning 4
INF3170 Forelesning 4 Sunnhet og kompletthet - 16. februar 2010 (Sist oppdatert: 2010-02-09 17:43) Dagens plan Innhold Sunnhet 1 Introduksjon.......................................... 1 Bevaring av falsifiserbarhet..................................
DetaljerKapittel 6: Funksjoner
MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) MAT1030 Diskret
DetaljerKompletthet av LK. INF3170 Logikk. Overblikk. Forelesning 9: Mer sekventkalkyle og kompletthet. Roger Antonsen
INF370 Logikk Forelesning 9: Mer sekventkalkyle og kompletthet Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kompletthet av LK 3. april 200 (Sist oppdatert: 200-04-3 2:04) INF370 Logikk
DetaljerForelesning 11. Relasjoner. Dag Normann februar Oppsummering. Relasjoner. Relasjoner. Relasjoner
Forelesning 11 Dag Normann - 18. februar 2008 Oppsummering Vi har gjort oss ferdige med innføringen av Boolesk mengdelære. Bruk av Venn-diagrammer er et av læringsmålene i dette emnet. Vi så kort på digital
DetaljerMAT1030 Diskret matematikk
MAT30 Diskret matematikk Plenumsregning 6: Ukeoppgaver fra kapittel Roger Antonsen Matematisk Institutt, Universitetet i Oslo. februar 008 Oppgave. Skriv følgende mengder på listeform. (a) Mengden av alle
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 5: UTSAGNSLOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 2. september 2008 (Sist oppdatert: 2008-09-04 17:26) Praktisk informasjon Endringer
DetaljerForelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen januar Praktisk informasjon. 1.1 Forelesere og tid/sted
Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen - 22. januar 2007 1 Praktisk informasjon 1.1 Forelesere og tid/sted Foreleser: Christian Mahesh Hansen (chrisha@ifi.uio.no) Kontor 2403,
DetaljerPraktisk informasjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 5: UTSAGNSLOGIKK. Endringer i undervisningen. Spørreskjemaet.
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 5: UTSAGNSLOGIKK Roger Antonsen Praktisk informasjon Institutt for informatikk Universitetet i Oslo 2. september 2008 (Sist oppdatert: 2008-09-04 17:26) Endringer
DetaljerLO118D Forelesning 3 (DM)
LO118D Forelesning 3 (DM) Mengder og funksjoner 27.08.2007 1 Mengder 2 Funksjoner Symboler x y Logisk AND, både x og y må være sanne x y Logisk OR, x eller y må være sann x Negasjon, ikke x x For alle
DetaljerMAT1140 Strukturer og argumenter
12. november 2018 MAT1140 Strukturer og argumenter Innleveringsfrist Obligatorisk oppgave 2 av 2 Torsdag 8. november 2018, klokken 14:30 i Devilry (devilry.ifi.uio.no). Instruksjoner Du velger selv om
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 6: Ukeoppgaver fra kapittel 5 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 21. februar 2008 Oppgave 5.1 Skriv følgende mengder på listeform. (a) Mengden
DetaljerDagens plan. INF3170 Logikk. Negasjon som bakgrunn for intuisjonistisk logikk. Til nå i kurset. Forelesning 9: Intuisjonistisk logikk.
INF3170 Logikk Dagens plan Forelesning 9: Arild Waaler 1 Institutt for informatikk, Universitetet i Oslo 2 Konsistens 19. mars 2007 Institutt for informatikk (UiO) INF3170 Logikk 19.03.2007 2 / 28 Innledning
DetaljerDagens plan. INF3170 Logikk
INF3170 Logikk Dagens plan Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 Hva skal vi lære? 22. januar 2007 3
DetaljerDefinisjon 1.1 (Kompletthet). Sekventkalkylen LK er komplett hvis enhver gyldig sekvent er LK-bevisbar.
Forelesning 16: Repetisjon Christian Mahesh Hansen - 4. juni 2007 1 Kompletthet 1.1 Introduksjon Definisjon 1.1 (Kompletthet). Sekventkalkylen LK er komplett hvis enhver gyldig sekvent er LK-bevisbar.
DetaljerBevis for sunnhet (og kompletthet) av bevissystemet med hensyn på semantikken
Forelesning 4: Intuisjonistisk logikk Arild Waaler - 11. februar 2008 1 Intuisjonistisk logikk 1.1 Innledning Til nå i kurset Det utsagnslogiske språket: konnektiver og formler Bevissystem:LK og DPLL for
DetaljerLF, KONTINUASJONSEKSAMEN TMA
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Haaken A. Moe 92650655 Bokmål LF, KONTINUASJONSEKSAMEN TMA4140 2008 Oppgave 1 (10%)
DetaljerAnalysedrypp I: Bevis, mengder og funksjoner
Analysedrypp I: Bevis, mengder og funksjoner Hensikten med Analysedrypp er å bygge en bro mellom MAT1100 og MAT1110 på den ene siden og MAT2400 på den andre. Egentlig burde det være unødvendig med en slik
DetaljerMAT1030 Forelesning 19
MAT1030 Forelesning 19 Generell rekursjon og induksjon Roger Antonsen - 25. mars 2009 (Sist oppdatert: 2009-03-25 11:06) Forelesning 19 Forrige gang så vi på induktivt definerte mengder og noen eksempler
DetaljerGenerell induksjon og rekursjon. MAT1030 Diskret matematikk. Generell induksjon og rekursjon. Generell induksjon og rekursjon.
MAT1030 Diskret matematikk Forelesning 18: Generell rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 12. mars 2008 Mandag så vi på induktivt definerte mengder og noen eksempler
DetaljerMengder, relasjoner og funksjoner
MAT1030 Diskret Matematikk Forelesning 15: og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo Mengder, relasjoner og funksjoner 9. mars 2010 (Sist oppdatert: 2010-03-09 14:18) MAT1030
DetaljerOppsummering. MAT1030 Diskret matematikk. Relasjoner. Relasjoner. Forelesning 11: Relasjoner
Oppsummering MAT1030 Diskret matematikk Forelesning 11: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo 18. februar 2008 Vi har gjort oss ferdige med innføringen av Boolesk mengdelære.
DetaljerLøsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008. i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. 0 1 0 0
Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008 8.4.27 Vi beregner matrisene W i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. a) W 0 = W 1 = W 2 = 1 0 0 0 1 1 0 0 b) W 0 = c) W 0 = d) W 0
Detaljeri Dato:
c:- høgskolen i oslo I Emne I EmnlekOde: I FagligvelIeder: Diskret matematikk FO 019A UJfUttersrud raruppe( r): i Dato: - I Eksamenstid: 12.12.2005 9-14 I Eksam-ensopp gavenbestår av: I Antall sid~nkl
DetaljerFortsettelse. INF3170 Logikk. Eksempel 1. Forelesning 8: Mer sekventkalkyle og sunnhet. Roger Antonsen
INF3170 Logikk Forelesning 8: Mer sekventkalkyle og sunnhet Roger Antonsen Institutt for informatikk, Universitetet i Oslo Fortsettelse 6. april 2010 (Sist oppdatert: 2010-04-06 14:24) INF3170 Logikk 6.
DetaljerINF3170 / INF4171. Intuisjonistisk logikk: Kripke-modeller, sunnhet, kompletthet. Andreas Nakkerud. 15. september 2015
INF3170 / INF4171 Intuisjonistisk logikk: Kripke-modeller, sunnhet, kompletthet Andreas Nakkerud 15. september 2015 Kripke-modeller Vi ser på modeller for et språk L. Definisjon En Kripke-modell er et
DetaljerEKSAMEN. Oppgavesettet består av 16 oppgaver. Ved sensur vil alle oppgaver telle like mye med unntak av oppgave 6 som teller som to oppgaver.
EKSAMEN Emnekode: ITF0705 Dato: 5. desember 204 Emne: Matematikk for IT Eksamenstid: kl 09.00 til kl 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer:
DetaljerINF3170 Logikk. Forelesning 8: Mer sekventkalkyle og sunnhet. Roger Antonsen. 6. april Institutt for informatikk, Universitetet i Oslo
INF3170 Logikk Forelesning 8: Mer sekventkalkyle og sunnhet Roger Antonsen Institutt for informatikk, Universitetet i Oslo 6. april 2010 (Sist oppdatert: 2010-04-06 14:23) Fortsettelse INF3170 Logikk 6.
DetaljerPlenumsregning 9. Diverse ukeoppgaver. Roger Antonsen april Oppgaver fra forelesningene. Oppgave (fra forelesningen 10/3).
Plenumsregning 9 Diverse ukeoppgaver Roger Antonsen - 10. april 2008 Oppgaver fra forelesningene Oppgave (fra forelesningen 10/3). a) Ved å bruke den rekursive definisjonen av PL, vis hvordan vi skritt
DetaljerObligatorisk oppgave 2 i MAT1140, Høst Løsninger og kommentarer
Obligatorisk oppgave 2 i MAT1140, Høst 2014. Løsninger og kommentarer Dette vil ikke være et løsningsforslag i vanlig forstand, men en diskusjon av oppgavene, av hvordan studentene løste dem og av diverse
Detaljer