Slides til 1.6 og 1.7. Andreas Leopold Knutsen
|
|
- Morten Hjelle
- 7 år siden
- Visninger:
Transkript
1 Slides til 1.6 og 1.7 Andreas Leopold Knutsen January 17, 2010
2 Begreper Matematiske resultater/utsagn som er sanne kalles gjerne: Teorem = viktig utsagn Proposisjon/Sats/Setning = litt mindre viktig utsagn Lemma = Hjelpesetning Korollar = Følgesetning (direkte fra et av ovenstående) Andre begreper: Formodning (Conjecture) = noe vi hevder og tror er sant uten at vi (be)viser det. Aksiomer/Postulater = utsagn vi aksepterer uten bevis som grunnlag for teorien (Eks: Aksiomer for reelle tall i App. 1; Euklids postulater for geometri) Bevis = gyldig argument som viser at teorem/prop./lemma er sann Bevis involvererer: aksiomer, denisjoner, teoremer/resultater som allerede er bevist, antagelser/premisser i teoremet, logiske slutninger, konklusjon.
3 Ofte univ. instansiering uten å si det Dersom n er et naturlig tall, er n 2 n betyr For alle naturlige tall x er x 2 x" dvs. ( ) (x N) x 2 x NB: I beviset kan vi bare bruke at n N. Riktig bevis: La n være et vilkårlig naturlig tall. Da er n 1, slik at n 2 n 1 = n. QED Galt bevis: La n være et vilkårlig naturlig tall, for eksempel 4. Da er n 2 = 4 2 = 16 4 = n. QED
4 Direkte bevis (s. 76) Viser p q ved å anta p er sann og utlede/slutte q. (Eventuelt viser x(p(x) Q(x)) ved univ. inst.) Eksempel: Oppgave 10 i 1.6: Produktet av to rasjonale tall er rasjonalt (a, b Q) (ab Q) Bevis: Anta a, b Q. Betyr: Da: der a = a 1 a 2, b = b 1 b 2, a 1, a 2, b 1, b 2 Z, a 2, b 2 0. a b = a 1 a 2 b1 b 2 = a 1 b 1 a 2 b 2 (a 1 b 1 ), (a 2 b 2 ) Z, (a 2 b 2 ) 0, hvilket betyr at a b Q. QED
5 Bevis ved kontraposisjon (indirekte) (s. 77) Viser p q ved å vise q p (kontrapositiv), ved å anta q er sann og utlede/slutte p. Eksempel: Oppgave 16 i 1.6: Hvis m, n Z slik at mn er partall, da er m eller n partall P(x) x partall Vil vise: P(mn) ( P(m) P(n) ) Kontrapositiv: P(m) P(n) P(mn). ( ) De Morgan: P(m) P(n) P(m) P(n) P(m) P(n) m og n er oddetall P(mn) mn oddetall Bevis: Anta m og n odde. Da: m = 2k + 1 og n = 2l + 1, for bestemte k, l Z. Da: mn = (2k+1)(2l+1) = 4kl+2k+2l+1 = 2(2kl+k+l)+1, som betyr mn odde. QED Korollar x 2 partall medfører x partall.
6 Bevis ved motsigelse (indirekte) (s. 80) Mål: vil vise p sann. Utleder kontradiksjon fra p, slik at p må være usann. Formelt: nner en ny prop. r og viser at p (r r) Klassisk (Eks. 10 i 1.6): 2 er irrasjonalt Bevis: Anta 2 rasjonalt. Da kan vi skrive: 2 = a b med a, b Z uten felles faktorer Medfører at: 2 2 = 2 = a2 b 2, dvs. 2b2 = a 2. Da: a 2 partall, som medfører a partall (korollaret), dvs. a = 2c, for en c Z. Da: b 2 = a2 2 = 4c2 2 = 2c 2, slik at b partall. Har da vist: Selvmotsigelse. QED a, b har felles faktor
7 Hva var hva? p 2 irrasjonalt. p 2 rasjonalt." r "a, b har ikke felles faktorer r "a, b har felles faktorer Viste p (r r)
8 Litt mer om bevis ved kontradiksjon Bevis ved kontraposisjon kan tolkes som bevis ved motsigelse: Antar: (p q) ( p q) p q. Utleder p fra q. Får da p p, selvmotsigelse. Ditto: direkte bevis kan tolkes som bevis ved motsigelse: Antar som over p q. Utleder q fra p. Får da q q, selvmotsigelse.
9 Eksempel: kontradiksjon + case by case Oppg. 25 i 1.6: Det nnes ikke noe rasjonalt tall r slik at r 3 + r + 1 = 0. Bevis: Anta det nnes et slikt rasjonalt tall. Da: r = a b, a, b Z med a og b uten felles faktorer og ( a ) 3 a = 0 b b Fire tilfeller: ( ) a 3 + ab 2 + b 3 = 0 a og b begge partall: skjer ikke, siden ikke felles faktorer. a par, b odde. V.S: par+ par + odde = odde. a odde, b odde. V.S: odde + odde + odde = odde. a odde, b par. V.S: odde + par + par = odde. Venstre siden i ligningen (*) er alltid odde og samtidig lik 0. Selvmotsigelse. QED Case by case bygger på tautologien ( p 1 p n q ) ( ) (p 1 q) (p n q)
10 Eksempel WLOG= without loss of generality (s. 89) Teorem Dersom x og y er relle tall med motsatt fortegn, er xy < 0. Bevis: To hovedtilfeller: x < 0 og y > 0. x > 0 og y < 0. Kan anta WLOG at x < 0 og y > 0. Da: x = x og y = y, slik at: xy = x y = ( x y ) < 0, siden x > 0 og y > 0. QED
11 Ekvivalensbevis (s. 82) p q vises ved å vise p q og q p. Bygger på tautologien ( p q ) [ ] (p q) (q p) Ofte: Viser at p 1, p 2 og p 3 er ekvivalente ved å vise p 1 p 2, p 2 p 3 og p 3 p 1. Bygger på tautologien (p 1 p 2 p 3 ) [ ] (p 1 p 2 ) (p 2 p 3 ) (p 3 p 1 ) Se Eksempel 13 i 1.6. NB: De forskjellige -bevisene kan være av ere forskjellige typer.
12 Eksistensbevis (s. 91) Vis at det eksisterer..?.. slik at..?.. Finn a slik at P(a) er sann Konstruktivt bevis: Vi nner a eksplisitt. Ikke-konstruktivt bevis: Se eksempel under. Klassisk (Eks. 11 i 1.7): Det nnes irrasjonale tall x, y slik at x y er rasjonalt. Bevis: Vi vet at 2 er irrasjonalt. To muligheter: 2 2 rasjonalt. FERDIG. 2 2 irrasjonalt. Da er QED ( ) = 2 = 2 2 = 2, som er rasjonalt. FERDIG.
13 Backward reasoning (s. 94) Eksempel 14 i 1.7: Dersom x og y er to forskjellige positive relle tall, da er. x + y 2 > xy Bevis: Utleder ekvivalensene x + y 2 (x + y)2 4 > xy > xy (x + y) 2 > 4xy x 2 + 2xy + y 2 > 4xy x 2 2xy + y 2 > 0 (x y) 2 > 0 Siste ligning sann gir at første ligning sann. (Skriver beviset i motsatt retning) QED.
14 Typiske feil i bevis matematiske/regnetekniske (Eks.: deler på noe som kan være null, eks. 15 i 1.6) Logiske feil (ugyldig argument), surr med pilretningen. glemmer et tilfelle i case by case roter med WLOG.
Den første implikasjonen er bevist i oppgave 1.30c. Den andre vises kontrapositivt slik:
1. Noen bevismetoder OPPGAVE 1.0 a) x og y er begge partall x= 2 k og y = 2 l og k og l er begge hele tall x y = 2k 2l = 22 kl = 2 s Når både k og l er hele tall, må også s = 2 kl være et helt tall. Derfor
DetaljerKarakteriseringen av like mengder. Mengder definert ved en egenskap.
Notat 2 for MAT1140 2 Bevis La oss si at vi er overbevist om at utsagn P er sant, og at vi ønsker å kommunisere denne innsikten. Eller la oss si vi er ganske sikre på at P er sant, men ønsker, overfor
DetaljerSlides til 1.5. Andreas Leopold Knutsen
Slides til 1.5 Andreas Leopold Knutsen January 20, 2010 Argument Mål: korrekt resonnement (eks.:matematiske bevis) p 1 p 2. p n q Premisser/hypoteser/antagelser: p 1,..., p n (sammensatte prop.) Konklusjon/slutning/konsekvens:
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 5: Ukeoppgaver fra kapittel 4 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 14. februar 2008 Oppgave 4.4 Skriv ned setninger som svarer til den konverse
DetaljerOppgave 4.4 Skriv ned setninger som svarer til den konverse og den kontrapositive av følgende utsagn.
Plenumsregning 5 Ukeoppgaver fra kapittel 4 Roger Antonsen - 14. februar 2008 Oppgave 4.4 Skriv ned setninger som svarer til den konverse og den kontrapositive av følgende utsagn. Husk at hvis p q er påstanden,
DetaljerMAT1030 Plenumsregning 5
MAT1030 Plenumsregning 5 Ukeoppgaver Mathias Barra - 13. februar 2009 (Sist oppdatert: 2009-03-06 18:29) Oppgave 4.18 Uttrykk følgende påstander i predikatlogikk, og finn deres sannhetsverdier. (a) Det
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
DetaljerMatematikk for IT, høsten 2015
Matematikk for IT, høsten 015 Oblig 5 Løsningsforslag 5. oktober 016 3.1.1 3.1.13 a) Modus ponens. b) Modus tollens. c) Syllogismeloven. a) Ikke gyldig. b) Gyldig. 3.1.15 a) Hvis regattaen ikke avlyses,
DetaljerMAT1030 Forelesning 8
MAT1030 Forelesning 8 Logikk, predikatlogikk, bevisteknikker Roger Antonsen - 11. februar 009 (Sist oppdatert: 009-0-17 10:5) Kapittel 4: Mer predikatlogikk Oppsummering Læringsmålene for kapitlet om logikk
DetaljerKapittel 4: Mer predikatlogikk
MAT1030 Diskret Matematikk Forelesning 8: Logikk, predikatlogikk, bevisteknikker Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Mer predikatlogikk 11. februar 009 (Sist oppdatert:
DetaljerFagdag 4 - R
Innhold: Gjennomgå Algebraprøve Begreper i sannsynlighetsregning Bevis Fagdag 4 - R1-27.11.08 Vi arbeider og samarbeider i grupper som vanlig. I Sannsynlighetsregning Begreper: Diskuter og prøv å forstå
DetaljerKvantorer. MAT1030 Diskret matematikk. Kvantorer. Kvantorer. Eksempel. Eksempel (Fortsatt) Forelesning 8: Predikatlogikk, bevisføring
Kvantorer MAT1030 Diskret matematikk Forelesning 8: Predikatlogikk, bevisføring Dag Normann Matematisk Institutt, Universitetet i Oslo 6. februar 008 Mandag 04.0.008 introduserte vi predikatlogikk Vi innførte
DetaljerMAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 8: Predikatlogikk, bevisføring Dag Normann Matematisk Institutt, Universitetet i Oslo 6. februar 2008 Kvantorer Mandag 04.02.2008 introduserte vi predikatlogikk Vi
DetaljerKapittel 4: Mer predikatlogikk
MAT1030 Diskret Matematikk Forelesning 8: Logikk, predikatlogikk, bevisteknikker Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Mer predikatlogikk 10. februar 010 (Sist oppdatert: 010-0-10
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
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
DetaljerOppgaveark Uke 37 (07/09-11/09) MAT111 - H09
Oppgaveark Uke 37 (07/09-11/09) MAT111 - H09 Oppgave 1 Du ar fått deg en jobb i et firma og skal kjøre til en konferanse med overnatting. Du drar jemmefra på mandag kl 07:15 og ankommer 11:07. Du overnatter
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
DetaljerVi startet forelesningen med litt repetisjon fra forrige uke: Det omvendte, kontrapositive og inverse utsagnet. La p og q være to utsagn, og p -> q
Vi startet forelesningen med litt repetisjon fra forrige uke: Det omvendte, kontrapositive og inverse utsagnet. La p og q være to utsagn, og p -> q Begrepene «tilstrekkelig», «nødvendig» og «bare hvis».
DetaljerTMA 4140 Diskret Matematikk, 2. forelesning
TMA 4140 Diskret Matematikk, 2. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 2, 2011 Haaken Annfelt Moe (NTNU) TMA
DetaljerHva man må kunne i kapittel 2 - Algebra
Hva man må kunne i kapittel 2 - Algebra Teknikker og type-eksempler Faktorisering Se også eget notat om faktorisering på nettsidene mine. Faktorisering brukes til å: Finne fellesnevner i rasjonale uttrykk.
DetaljerMatematikk for IT, høsten 2017
Matematikk for IT, høsten 017 Oblig 5 Løsningsforslag 0. september 017 Oppgave 1 (eksamen desember 013) Gitt følgende logiske utsagn: ( p ( p q)) Benytt lovene i logikk til å finne hvilket av følgende
DetaljerForelesning 1 mandag den 18. august
Forelesning 1 mandag den 18 august 11 Naturlige tall og heltall Definisjon 111 Et naturlig tall er et av tallene: 1,, Merknad 11 Legg spesielt merke til at i dette kurset teller vi ikke 0 iblant de naturlige
DetaljerEmne 13 Utsagnslogikk
Emne 13 Utsagnslogikk Et utsagn er en erklæring som er entydig sann eller usann, men ikke begge deler. Noen eksempler på (ekte) utsagn: Utsagn : Gjøvik har bystatus er sann ( i alle fall pr. dags dato
DetaljerFra skolematematikken husker vi at kvadratroten til et tall a er det ositive tallet som har kvadrat lik a. Men det betyr at x2 = n x for x 0 x for x <
Lsningsforslag til utvalgte ogaver i kaittel 2 I seksjon 2.1 far du velse i a lse ulikheter hvor tallverdier inngar (ogave 2.1.5) og enkel trening i a fre matematiske resonnementer ved a kombinere bruk
DetaljerEkvivalente utsagn. Eksempler: Tautologi : p V p Selvmotsigelse: p Λ p
Ekvivalente utsagn Definisjoner: Et sammensatt utsagn som ALLTID er SANT kalles for en TAUTOLOGI. Et sammensatt utsagn som ALLTID er USANT kalles for en SELVMOTIGELSE eller en KONTRADIKSJON (eng. contradiction).
DetaljerForelesning 14 torsdag den 2. oktober
Forelesning 14 torsdag den 2. oktober 4.1 Primtall Definisjon 4.1.1. La n være et naturlig tall. Da er n et primtall om: (1) n 2; (2) de eneste naturlige tallene som er divisorer til n er 1 og n. Eksempel
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
DetaljerLøsningsforslag til prøveunderveiseksamen i MAT-INF 1100, H-03
Løsningsforslag til prøveunderveiseksamen i MAT-INF 1100, H-03 Denne prøveeksamenen har samme format som den virkelige underveiseksamenen, og inneholder oppgaver av samme type og vanskelighetsgrad. De
DetaljerPrøveunderveiseksamen i MAT-INF 1100, H-03
Prøveunderveiseksamen i MAT-INF 1100, H-03 Denne prøveeksamenen har samme format som den virkelige underveiseksamenen, og inneholder oppgaver av samme type og vanskelighetsgrad. De 15 første oppgavene
DetaljerTMA4140 Diskret Matematikk Høst 2018
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA4140 Diskret Matematikk Høst 2018 Seksjon 4.1 6 Dersom a c og b d, betyr dette at det eksisterer heltall s og t slik at c
DetaljerSlides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis. Andreas Leopold Knutsen
Slides til 4.1 og 4.2: Eksempler på feil i induksjonsbevis Andreas Leopold Knutsen February 9, 2010 Eks. 1: Finn feilen Fibonaccitallene F 1, F 2, F 3,... er denert rekursivt ved: F 0 = 0, F 1 = 1, og
DetaljerKalles p for premissen og q for konklusjonen. Utsagnet kan uttrykkes på mange forskjellige måter:
Logisk implikasjon (eng: conditional statement) La p og q være to utsagn. Utsagnet leses som «p impliserer q». Utsagnet er usant hvis p er sant og q er usant, og er sant ellers. Huskeregel: «SUSS» Operatoren
DetaljerMA1301 Tallteori Høsten 2014 Løsninger til Eksamen
MA1301 Tallteori Høsten 2014 Løsning til Eksamen Richard Williamson 11. desemb 2014 Innhold Oppgave 1 2 a)........................................... 2 b)........................................... 2 c)...........................................
DetaljerTMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart Forelesning 3 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart Forelesning 3 Tema Logikk Definisjoner og Teoremer Mengder og Egenskaper ved de Reelle Tall
DetaljerLøsningsforslag til oblig 1 i DM 2018
Løsningsforslag til oblig 1 i DM 2018 Oppgave 2 p: «Det regner» q: «Det blåser» a) ikke p og ikke q blir: p q = ( p q) b) q hvis ikke p blir det samme som hvis ikke p så q: p q c) p bare hvis ikke q blir:
DetaljerMA1301 Tallteori Høsten 2014
MA1301 Tallteori Høsten 014 Richard Williamson 1. august 015 Innhold Forord 7 1 Induksjon og rekursjon 9 1.1 Naturlige tall og heltall............................ 9 1. Bevis.......................................
DetaljerForelesning 10 torsdag den 18. september
Forelesning 10 torsdag den 18. september 2.8 Relativt primiske heltall og Euklids lemma Merknad 2.8.1. Korollar 2.7.20 er et svært viktig teoretisk verktøy. I denne og neste del av kapittelet skal vi se
DetaljerMA1301 Uke 1: In(tro)duksjon
MA1301 Uke 1: In(tro)duksjon Magnus Bakke Botnan 21. august 2012 Magnus Bakke Botnan () MA1301 Uke 1: In(tro)duksjon 21. august 2012 1 / 14 Introduksjon Praktisk Praktisk Faglærer Magnus B. Landstad: magnus.landstad@math.ntnu.no
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
DetaljerEt utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand.
Utsagnslogikk. Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Eksempler: Avgjør om følgende setninger er et utsagn, og i så fall;
DetaljerForelesning 19 torsdag den 23. oktober
Forelesning 19 torsdag den 23. oktober 5.3 Eulers kriterium Merknad 5.3.1. Følgende proposisjon er kjernen til teorien for kvadratiske rester. Kanskje ser beviset ikke så vanskelig ut, men la merke til
DetaljerOppgaver. Innhold. Algebra R1
Oppgaver Innhold.1 Faktorisering... Polynomdivisjon.... Omforme og forenkle sammensatte rasjonale funksjoner og andre symbolske uttrykk... 6 Rasjonale uttrykk som inneholder andregradspolynomer... 6 Rasjonale
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
DetaljerINF1800 Forelesning 20
INF1800 Forelesning 20 Førsteordens logikk Roger Antonsen - 22. oktober 2008 (Sist oppdatert: 2008-10-22 10:51) Mer om førsteordens logikk Tillukninger Vi har definert semantikk kun for lukkede formler.
DetaljerOppfriskningskurs i matematikk Dag 3
Oppfriskningskurs i matematikk Dag 3 Petter Nyland Institutt for matematiske fag Onsdag 8. august 2018 Dagen i dag Tema 4 Polynomer: Faktorisering, røtter, polynomdivisjon, kvadratiske ligninger og rasjonale
DetaljerNotasjon i rettingen:
UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Løsningsforslag med kommentarer) til Innlevering /4 i emnet MAT, høsten 207 Notasjon i rettingen: R Rett R Rett, men med liten tulle)feil
DetaljerLøsningsforslag for 1. obligatoriske oppgave høsten 2014
Løsningsforslag for 1 obligatoriske oppgave høsten 2014 Oppgave 1a) 1) Bruk av sannhetsverditabell: p q p p ( p ) p (( p ) S S U S U S S U U S U S U S S S S S U U S U U S Vi ser at (( p ) er en tautologi,
DetaljerLitt om Logikk, Denisjoner og Teoremer. Mengder og Egenskaper ved de Reelle Tall. Bevisføring i Teori og Praksis
Litt om Logikk, Denisjoner og Teoremer. Mengder og Egenskaper ved de Reelle Tall. Bevisføring i Teori og Praksis Karl K. Brustad 11. august 2013 1 Logikk Logikk er læren om lovene som gjør tenkningen,
DetaljerINF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 20: FØRSTEORDENS LOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 22. oktober 2008 (Sist oppdatert: 2008-10-22 10:50) Mer om førsteordens
DetaljerMer om førsteordens logikk
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 20: FØRSTEORDENS LOGIKK Roger Antonsen Mer om førsteordens logikk Institutt for informatikk Universitetet i Oslo 22. oktober 2008 (Sist oppdatert: 2008-10-22
DetaljerRepetisjon: høydepunkter fra første del av MA1301-tallteori.
Repetisjon: høydepunkter fra første del av MA1301-tallteori. Matematisk induksjon Binomialteoremet Divisjonsalgoritmen Euklids algoritme Lineære diofantiske ligninger Aritmetikkens fundamentalteorem Euklid:
DetaljerVi var midt i et eksempel, som vi tar opp igjen her, da tiden var ute.
Forelesning 6 Logikk Dag Normann - 30. januar 2008 Sammensatte utsagn, sannhetsverditabeller Mandag 28/1 innførte vi bindeordene (konnektivene) for og, for eller og for ikke. Vi så hvordan vi kunne definere
DetaljerUnderveiseksamen i MAT-INF 1100, 17. oktober 2003 Tid: Oppgave- og svarark
Underveiseksamen i MAT-INF 1100, 17. oktober 003 Tid: 9.00 11.00 Kandidatnummer: De 15 første oppgavene teller poeng hver, de siste 5 teller 4 poeng hver. Den totale poengsummen er altså 50. Det er 5 svaralternativer
DetaljerSammensatte utsagn, sannhetsverditabeller. MAT1030 Diskret matematikk. Sammensatte utsagn, sannhetsverditabeller
Sammensatte utsagn, sannhetsverditabeller MAT1030 Diskret matematikk Forelesning 6: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 30. januar 2008 Mandag 28/1 innførte vi bindeordene (konnektivene)
DetaljerLøsningsforslag oblig. innlevering 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,
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
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
DetaljerChapter 1 - Discrete Mathematics and Its Applications
Chapter 1 - Discrete Mathematics and Its Applications Løsningsforslag på utvalgte oppgaver Avsnitt 1.2 Oppgave 3 På norsk blir dette: Du kan velges til president i USA bare hvis du er minst 35 år, er født
DetaljerTMA 4140 Diskret Matematikk, 3. forelesning
TMA 4140 Diskret Matematikk, 3. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 5, 2011 Haaken Annfelt Moe (NTNU) TMA
DetaljerMA2401 Geometri Vår 2018
MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag 6.1 1 Anta at alle trekanter i nøytral geometri har samme defekt 1 c vi skal vise at vi må ha c = 0.
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT-INF 11 Modellering og beregninger. Eksamensdag: Torsdag 12. oktober 26. Tid for eksamen: 9: 11:. Oppgavesettet er på 8 sider.
DetaljerLøsningsforlag til eksamen i Diskret matematikk. 29. november 2017
Løsningsforlag til eksamen i Diskret matematikk 29. november 2017 Oppgave 1, 2, 3, 4, 5 og 6 teller likt. For å få full score må man vise hvordan man har kommet frem til svarene (ved f. eks. figurer eller
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
Detaljer6 Kryptografi Totienten Eulers teorem Et eksempel på et bevis hvor Eulers teorem benyttes RSA-algoritmen...
Innhold 6 Kryptografi 3 6.1 Totienten.................................... 3 6.2 Eulers teorem.................................. 8 6.3 Et eksempel på et bevis hvor Eulers teorem benyttes............ 19
DetaljerMA2401 Geometri Vår 2018
MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 8 5.1 9 La l og m være to parallelle linjer. Vi skal vise at det finnes ei linje
DetaljerLitt om Logikk, Denisjoner og Teoremer. Mengder og Egenskaper ved de Reelle Tall. Bevisføring i Teori og Praksis
Litt om Logikk, Denisjoner og Teoremer. Mengder og Egenskaper ved de Reelle Tall. Bevisføring i Teori og Praksis Karl K. Brustad 14. august 2013 1 Logikk Logikk er læren om lovene som gjør tenkningen,
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)
DetaljerINDUKSJONSPRINSIPPET MAT111 - H16
INDUKSJONSPRINSIPPET MAT - H ANDREAS LEOPOLD KNUTSEN. Matematisk induksjon I læreboken står kun en liten trudelutt om matematisk induksjon i margen på side 0 (side 09 i utg. 7, side 08 i utg. ). Det er
DetaljerDagens plan. INF3170 Logikk. Introduksjon. Forelesning 7: Førsteordens logikk sekventkalkyle og sunnhet. Christian Mahesh Hansen. 5.
INF3170 Logikk Dagens plan Forelesning 7: Førsteordens logikk sekventkalkyle og sunnhet Christian Mahesh Hansen 1 Institutt for informatikk, Universitetet i Oslo 2 5. mars 2007 Institutt for informatikk
DetaljerEt utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand.
Utsagnslogikk. Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Eksempler: Avgjør om følgende setninger er et utsagn, og i så fall;
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.
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
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.
DetaljerEksamensoppgave i MA1201 Lineær algebra og geometri
Institutt for matematiske fag Eksamensoppgave i MA1201 Lineær algebra og geometri Faglig kontakt under eksamen: Steffen Oppermann Tlf: 9189 7712 Eksamensdato: 05.10.2016 Eksamenstid (fra til): 08:15 09:45
DetaljerDet utsagnslogiske spraket: konnektiver og formler. Semantikk: Denisjon av sannhet og gyldighet
Forelesning 4-13. februar 2006 Intuisjonistisk logikk 1 Intuisjonistisk logikk 1.1 Innledning Til na i kurset Det utsagnslogiske spraket: konnektiver og formler Bevissystem: sekventkalkylen LK for klassisk
DetaljerMAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 10. februar 2009 (Sist oppdatert: 2009-02-11 01:52) Kapittel 4: Logikk (predikatlogikk)
DetaljerSekventkalkyle for utsagnslogikk
Sekventkalkyle for utsagnslogikk Tilleggslitteratur til INF1800 Versjon 11. september 2007 1 Hva er en sekvent? Hva er en gyldig sekvent? Sekventkalkyle er en alternativ type bevissystem hvor man i stedet
DetaljerNotater fra forelesning i MAT1100 mandag
Notater fra forelesning i MAT00 mandag 3.08.09 Amandip Sangha, amandips@math.uio.no 8. august 009 Følger og konvergens (seksjon 4.3 i Kalkulus) Definisjon.. En følge er en uendelig sekvens av tall {a,a,a
DetaljerBevisformer. Kapittel Direkte bevis
Kapittel 5 former 5.1 Direkte bevis Et bevis er en måte å kommunisere en forståelse for hvorfor en matematisk påstand er riktig fra en person til en annen, eventuelt til mange andre. Når vi skal skrive
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:
DetaljerFinne løsninger på ligninger numerisk: Newton-Raphson metoden og Fikspunktiterasjon MAT111, høsten 2017
Finne løsninger på ligninger numerisk: Newton-Raphson metoden og Fikspunktiterasjon MAT111, høsten 2017 Andreas Leopold Knutsen 4. oktober 2017 Problem og hovedidé Problem: Finn løsning(er) r på en ligning
DetaljerMA1201, , Kandidatnummer:... Side 1 av 5. x =.
MA1201, 05.10.2016, Kandidatnummer:... Side 1 av 5 Oppgave 1 Løs ligningssystemet S T S T 1 1 0 1 W X W X U2 1 1 V x = U5V. 1 0 2 1 x =. Oppgave 2 Regn ut: S T S T 1 2 1 1 1 W X W X U 3 0 1 V U0 1 V =
DetaljerTALL. 1 De naturlige tallene. H. Fausk
TALL H. Fausk 1 De naturlige tallene De naturlige tallene er 1, 2, 3, 4, 5,... (og så videre). Disse tallene brukes til å telle med, og de kalles også telletallene. Listen med naturlige tall stopper ikke
DetaljerNotasjon i rettingen:
UNIVERSITETET I BERGEN Det matematisk-naturvitenskapelige fakultet Løsningsforslag med kommentarer) til Innlevering /4 i emnet MAT, høsten 07 Notasjon i rettingen: R = Rett R = Rett, men med liten tulle)feil
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)
DetaljerForelesning 6 torsdag den 4. september
Forelesning 6 torsdag den 4. september 1.13 Varianter av induksjon Merknad 1.13.1. Det finnes mange varianter av induksjon. Noen av disse kalles noen ganger sterk induksjon, men vi skal ikke benytte denne
DetaljerNotat 1 for MAT1140 høsten 2017
Notat 1 for MAT1140 høsten 2017 0 Innledningsvis 0.1 Om kurset Vi begynner med å introdusere et fundament for matematikk. Hovedtemaene er: Logikk (utsagn, konnektiver, kvantorer, bevis). Mengder (aksiomer
DetaljerMA2401 Geometri Vår 2018
MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 7 4.8 1 La ABC være en trekant og E et punkt i det indre av BC. Vi skal vise
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
DetaljerForelesning 9 mandag den 15. september
Forelesning 9 mandag den 15. september 2.6 Største felles divisor Definisjon 2.6.1. La l og n være heltall. Et naturlig tall d er den største felles divisoren til l og n dersom følgende er sanne. (1) Vi
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). Å
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
DetaljerForelesning 7 mandag den 8. september
Forelesning 7 mandag den 8. september 1.1 Absoluttverdien Definisjon 1.1.1. La n være et heltall. Da er absoluttverdien til n: (1) n dersom n 0; (2) n dersom n < 0. Merknad 1.1.2. Med andre ord får vi
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
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.
DetaljerLineære ligningssystemer og gausseliminasjon
Kapittel Lineære ligningssystemer og gausseliminasjon Vi skal lære en metode for å finne og beskrive alle løsninger av systemer av m lineære ligninger med n ukjente Oppvarming Her er et eksempel på et
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Deleksamen i: MAT-INF 1100 Modellering og beregninger. Eksamensdag: Onsdag 12. oktober 2016. Tid for eksamen: 15:00 17:00. Oppgavesettet
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
Detaljer