TMA 4140 Diskret Matematikk, 1. forelesning
|
|
|
- Else Hanssen
- 7 år siden
- Visninger:
Transkript
1 TMA 4140 Diskret Matematikk, 1. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) August 29, 2011 Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
2 Outline 1 Generell informasjon 2 Logikk 1.1 Proposisjonslogikk 1.2 Ekvivalens av proposisjoner 1.3 Predikater og kvantorer Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
3 Outline 1 Generell informasjon 2 Logikk 1.1 Proposisjonslogikk 1.2 Ekvivalens av proposisjoner 1.3 Predikater og kvantorer Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
4 Diverse generell informasjon Jeg heter Haaken Annfelt vikar for Christian Skau de to første ukene. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
5 Diverse generell informasjon Jeg heter Haaken Annfelt vikar for Christian Skau de to første ukene. Forelesninger i EL5: Mandag Fredag Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
6 Diverse generell informasjon Jeg heter Haaken Annfelt vikar for Christian Skau de to første ukene. Forelesninger i EL5: Mandag Fredag Hjemmeside: Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
7 Diverse generell informasjon Jeg heter Haaken Annfelt vikar for Christian Skau de to første ukene. Forelesninger i EL5: Mandag Fredag Hjemmeside: Øvinger: 12 øvinger, du trenger 7 godkjente for å få ta eksamen. Gruppe og tid finnes på hjemmesida. Første øving legges ut i morgen, og skal leveres innen 12.15, mandag 12. september. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
8 Diverse generell informasjon Jeg heter Haaken Annfelt vikar for Christian Skau de to første ukene. Forelesninger i EL5: Mandag Fredag Hjemmeside: Øvinger: 12 øvinger, du trenger 7 godkjente for å få ta eksamen. Gruppe og tid finnes på hjemmesida. Første øving legges ut i morgen, og skal leveres innen 12.15, mandag 12. september. NB: Det er gjort endringer i noen øvingsgruppetider, gå inn på hjemmesida for å sjekke om det berører deg. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
9 Diverse generell informasjon Jeg heter Haaken Annfelt vikar for Christian Skau de to første ukene. Forelesninger i EL5: Mandag Fredag Hjemmeside: Øvinger: 12 øvinger, du trenger 7 godkjente for å få ta eksamen. Gruppe og tid finnes på hjemmesida. Første øving legges ut i morgen, og skal leveres innen 12.15, mandag 12. september. NB: Det er gjort endringer i noen øvingsgruppetider, gå inn på hjemmesida for å sjekke om det berører deg. Øvingsforelesninger: Onsdag , i EL5, fra neste uke (dvs uke 36). Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
10 Diverse generell informasjon Jeg heter Haaken Annfelt vikar for Christian Skau de to første ukene. Forelesninger i EL5: Mandag Fredag Hjemmeside: Øvinger: 12 øvinger, du trenger 7 godkjente for å få ta eksamen. Gruppe og tid finnes på hjemmesida. Første øving legges ut i morgen, og skal leveres innen 12.15, mandag 12. september. NB: Det er gjort endringer i noen øvingsgruppetider, gå inn på hjemmesida for å sjekke om det berører deg. Øvingsforelesninger: Onsdag , i EL5, fra neste uke (dvs uke 36). Mer NB:Det er øvingsforelesning denne uka også, fredag , sted er ikke avgjort ennå. Det blir ført opp på hjemmesida når auditorium er funnet. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
11 Diverse generell informasjon Grov pensumoversikt: Logikk Mengdelære Algoritmer og heltall, kompleksitet Induksjon og rekursjon Telling og kombinatorikk Relasjoner, grafer og trær Abstrakte (data)maskiner og språk Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
12 Diverse generell informasjon Grov pensumoversikt: Logikk Mengdelære Algoritmer og heltall, kompleksitet Induksjon og rekursjon Telling og kombinatorikk Relasjoner, grafer og trær Abstrakte (data)maskiner og språk Hensikt: vi skal formalisere masse forskjellig, og lære å forholde oss til formaliserte systemer. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
13 Diverse generell informasjon Grov pensumoversikt: Logikk Mengdelære Algoritmer og heltall, kompleksitet Induksjon og rekursjon Telling og kombinatorikk Relasjoner, grafer og trær Abstrakte (data)maskiner og språk Hensikt: vi skal formalisere masse forskjellig, og lære å forholde oss til formaliserte systemer. Konsekvens: Definisjoner er svært viktig her. Lær definisjonene presist og grundig. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
14 Diverse generell informasjon Grov pensumoversikt: Logikk Mengdelære Algoritmer og heltall, kompleksitet Induksjon og rekursjon Telling og kombinatorikk Relasjoner, grafer og trær Abstrakte (data)maskiner og språk Hensikt: vi skal formalisere masse forskjellig, og lære å forholde oss til formaliserte systemer. Konsekvens: Definisjoner er svært viktig her. Lær definisjonene presist og grundig. Hint: Om det er øvingsoppgaver du ikke forstår, sjekk alle de involverte definisjonene. Boka har en indeks. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
15 Diverse generell informasjon Pensumbok: Kenneth H. Rosen: Discrete Mathematics and Its Applications, 6. utgave. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
16 Diverse generell informasjon Pensumbok: Kenneth H. Rosen: Discrete Mathematics and Its Applications, 6. utgave. De fleste som tar dette kurset synes det går fort... Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
17 Outline 1 Generell informasjon 2 Logikk 1.1 Proposisjonslogikk 1.2 Ekvivalens av proposisjoner 1.3 Predikater og kvantorer Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
18 Proposisjoner Definition (Proposisjon) En proposisjon er en deklarativ setning som en enten er sann eller usann. Vi benytter p, q, r, s for å symbolisere proposisjoner, dvs et eller annet som har en av to sannhetsverdier. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
19 Proposisjoner Definition (Proposisjon) En proposisjon er en deklarativ setning som en enten er sann eller usann. Vi benytter p, q, r, s for å symbolisere proposisjoner, dvs et eller annet som har en av to sannhetsverdier. Sannhetsverdien til en proposisjon er T (true/sann) eller F (false/usann). Representeres ofte med 0 (usann) og 1 (sann). Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
20 Proposisjoner Definition (Proposisjon) En proposisjon er en deklarativ setning som en enten er sann eller usann. Vi benytter p, q, r, s for å symbolisere proposisjoner, dvs et eller annet som har en av to sannhetsverdier. Sannhetsverdien til en proposisjon er T (true/sann) eller F (false/usann). Representeres ofte med 0 (usann) og 1 (sann). Hvis p er en proposisjon så er ikke p, p, også en proposisjon, med motsatt sannhetsverdi av p. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
21 Proposisjoner Definition (Proposisjon) En proposisjon er en deklarativ setning som en enten er sann eller usann. Vi benytter p, q, r, s for å symbolisere proposisjoner, dvs et eller annet som har en av to sannhetsverdier. Sannhetsverdien til en proposisjon er T (true/sann) eller F (false/usann). Representeres ofte med 0 (usann) og 1 (sann). Hvis p er en proposisjon så er ikke p, p, også en proposisjon, med motsatt sannhetsverdi av p. Proposisjoner dannet med eksisterende proposisjoner og operatorer (f.eks ) kalles sammensatte proposisjoner. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
22 Sannhetstabeller og operatorer En sannhetstabell er en tabell som viser hvordan sannhetsverdien til en sammensatt proposisjon varierer med sannhetsverdien til de involverte proposisjonene. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
23 Sannhetstabeller og operatorer En sannhetstabell er en tabell som viser hvordan sannhetsverdien til en sammensatt proposisjon varierer med sannhetsverdien til de involverte proposisjonene. Flere logiske operatorer: og ( ) eller ( ) exclusive or, xor ( ) implikasjon ( ) bikondisjonal ( ) Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
24 Tautologier og kontradiksjoner Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
25 Tautologier og kontradiksjoner Definition (Tautologi/Kontradiksjon) En sammensatt proposisjon som alltid er sann kalles en tautologi, T. Motsatt, en sammensatt proposisjon som aldri er sann kalles en kontradiksjon, F. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
26 Tautologier og kontradiksjoner Definition (Tautologi/Kontradiksjon) En sammensatt proposisjon som alltid er sann kalles en tautologi, T. Motsatt, en sammensatt proposisjon som aldri er sann kalles en kontradiksjon, F. To sammensatte proposisjoner p og q som alltid har samme sannhetsverdi kalles logisk ekvivalente, skrives p q. Boka bruker tegnet for. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
27 Tautologier og kontradiksjoner Definition (Tautologi/Kontradiksjon) En sammensatt proposisjon som alltid er sann kalles en tautologi, T. Motsatt, en sammensatt proposisjon som aldri er sann kalles en kontradiksjon, F. To sammensatte proposisjoner p og q som alltid har samme sannhetsverdi kalles logisk ekvivalente, skrives p q. Boka bruker tegnet for. p og q er logisk ekvivalente hvis og bare hvis p q er en tautologi. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
28 Predikater og kvantorer Utsagn som x < 7 og x y = 5 er ikke sanne eller gale før det er bestemt verdier for x og y. Dvs de får en sannhetsverdi som varierer ettersom hva x og y er. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
29 Predikater og kvantorer Utsagn som x < 7 og x y = 5 er ikke sanne eller gale før det er bestemt verdier for x og y. Dvs de får en sannhetsverdi som varierer ettersom hva x og y er. Definition (Proposisjonell funksjon) Et utsagn P(x 1, x 2,...) som er enten sant eller usant avhengig av verdien på variablene x 1, x 2,... kalles en proposisjonell funksjon. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
30 Predikater og kvantorer Utsagn som x < 7 og x y = 5 er ikke sanne eller gale før det er bestemt verdier for x og y. Dvs de får en sannhetsverdi som varierer ettersom hva x og y er. Definition (Proposisjonell funksjon) Et utsagn P(x 1, x 2,...) som er enten sant eller usant avhengig av verdien på variablene x 1, x 2,... kalles en proposisjonell funksjon. Det som skal oppfylles, som < 7, kalles predikatet. Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
31 Neste gang: Avsnitt 1.3 forts, 1.4 og 1.5. Vi sees! Haaken Annfelt Moe (NTNU) TMA 4140 Diskret Matematikk, 1. forelesning / 12
TMA 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
TMA 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
TMA 4140 Diskret Matematikk, 4. forelesning
TMA 4140 Diskret Matematikk, 4. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 9, 2011 Haaken Annfelt Moe (NTNU) TMA
Ekvivalente 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).
Velkommen til MAT1030!
MAT1030 Diskret Matematikk Forelesning 1: Algoritmer, pseudokoder, kontrollstrukturer Roger Antonsen Institutt for informatikk, Universitetet i Oslo Velkommen til MAT1030! 13. januar 2009 (Sist oppdatert:
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 1: Algoritmer, pseudokoder, kontrollstrukturer Roger Antonsen Institutt for informatikk, Universitetet i Oslo 13. januar 2009 (Sist oppdatert: 2009-01-14 16:44) Velkommen
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
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».
Sammensatte 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)
Kapittel 4: Logikk. MAT1030 Diskret Matematikk. Oppsummering. En digresjon. Forelesning 6: Utsagnslogikk og predikatlogikk.
MAT1030 Diskret Matematikk Forelesning 6: Utsagnslogikk og predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Logikk 3. februar 2010 (Sist oppdatert: 2010-02-03 12:49) MAT1030
MAT1030 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)
MAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 7: Predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo 4. februar 2008 Oppsummering Vi har innført sannhetsverdiene T og F, begrepet utsagnsvariabel
Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel ((p q) r) Eksempel (p (q r))
Oppsummering MAT1030 Diskret matematikk Forelesning 7: Predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo 4. februar 2008 Vi har innført sannhetsverdiene T og F, begrepet utsagnsvariabel
Emne 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
Kapittel 4: Logikk (predikatlogikk)
MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 4: Logikk (predikatlogikk) 9. februar 2010 (Sist oppdatert: 2010-02-09 14:22)
Kapittel 4: Logikk (utsagnslogikk)
MAT1030 Diskret Matematikk Forelesning 6: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (utsagnslogikk) 28. januar 2009 (Sist oppdatert: 2009-01-28
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 6: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 28. januar 2009 (Sist oppdatert: 2009-01-28 12:23) Kapittel 4: Logikk (utsagnslogikk)
Chapter 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
INF1800 Forelesning 4
INF1800 Forelesning 4 Utsagnslogikk Roger Antonsen - 27. august 2008 (Sist oppdatert: 2008-09-03 12:39) Før vi begynner Praktiske opplysninger Kursets hjemmeside blir stadig oppdatert: http://www.uio.no/studier/emner/matnat/ifi/inf1800/
Vi 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
INF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 4: UTSAGNSLOGIKK Roger Antonsen Institutt for informatikk Universitetet i Oslo 27. august 2008 (Sist oppdatert: 2008-09-03 12:39) Før vi begynner Praktiske opplysninger
Det betyr igjen at det får verdien F nøyaktig når p = T, q = T og r = F.
Forelesning 7 Dag Normann - 4. februar 2008 Oppsummering Vi har innført sannhetsverdiene T og F, begrepet utsagnsvariabel og de utsagnslogiske bindeordene,,, og. Vi har sett hvordan vi kan undersøke egenskapene
TMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart forelesning 2 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart forelesning 2 Program for teknostart Torsdag 15. aug 10:15-11:00 Velkomst Informasjon om
Et 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;
Kapittel 4: Logikk (predikatlogikk)
MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (predikatlogikk) 10. februar 2009 (Sist oppdatert: 2009-02-11
MAT1030 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.
MAT1030 Forelesning 6
MAT1030 Forelesning 6 Logikk, predikatlogikk Roger Antonsen - 28. januar 2009 (Sist oppdatert: 2009-01-28 12:23) Kapittel 4: Logikk (utsagnslogikk) Mer om parenteser Eksempel. (p q r) (p r) (q r) Her mangler
Faglig kontakt under eksamen: Haaken A. Moe Bokmål MIDTSEMESTERPRØVE I TMA4140/MA Oktober 2006 Tid:
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Haaken A. Moe 92650655 Bokmål MIDTSEMESTERPRØVE I TMA4140/MA0302 18.Oktober 2006 Tid:
Dagens 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.
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 4. mai 2010 (Sist oppdatert: 2010-05-04 14:11) Forelesning 27 MAT1030 Diskret Matematikk 4. mai 2010
Forelesning 2 torsdag den 21. august
Forelesning 2 torsdag den 21 august 15 Flere eksempler på bevis ved induksjon Proposisjon 151 La n være et naturlig tall Da er 1 + 2 + 4 + + 2 n 1 = 2 n 1 Bevis Først sjekker vi om proposisjonen er sann
Et 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;
TMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart forelesning 2 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart forelesning 2 Program for teknostart Torsdag 15. aug 10:15-11:00 Velkomst Informasjon om
MAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 27: Trær Dag Normann Matematisk Institutt, Universitetet i Oslo 30. april 2008 Oppsummering Mandag så vi på hvordan vi kan finne uttrykk og termer på infiks form,
Forelesning 5 mandag den 1. september
Forelesning mandag den. september. Fibonnacitall forts. Proposisjon..6. La n være et naturlig tall. Da er u + u + + u n = u n+. Bevis. Først sjekker vi om proposisjonen er sann når n =. I dette tilfellet
Vi som skal undervise. MAT1030 Diskret matematikk. Hva er diskret matematikk? Hva er innholdet i MAT1030?
Vi som skal undervise MAT1030 Diskret matematikk Forelesning 1: Algoritmer, pseudokoder og kontrollstrukturer Dag Normann Matematisk Institutt, Universitetet i Oslo 14. januar 2008 Dag Normann Roger Antonsen
INF1080 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. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]](/thumbs/57/40971904.jpg "INF1080 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
INF1800 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
Praktisk 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
Kalles 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
EKSAMEN. 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:
UNIVERSITETET 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
Forelesning 27. MAT1030 Diskret Matematikk. Bevistrær. Bevistrær. Forelesning 27: Trær. Roger Antonsen. 6. mai 2009 (Sist oppdatert: :28)
MAT1030 Diskret Matematikk Forelesning 27: Trær Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 27 6. mai 2009 (Sist oppdatert: 2009-05-06 22:28) MAT1030 Diskret Matematikk 6.
MAT1030 Diskret matematikk
MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Innledning Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske
Innledning. MAT1030 Diskret matematikk. Kapittel 11. Kapittel 11. Forelesning 33: Repetisjon
Innledning MAT1030 Diskret matematikk Forelesning 33: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mai 2008 Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske
Lø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,
Forelesning 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
Velkommen til MA Lineær algebra og geometri
Velkommen til MA1201 - Lineær algebra og geometri Benedikte Grimeland Institutt for matematiske fag 13. august 2014 2 Plan for forelesningen 1. informasjon om praktiske aspekt, samt øvingsopplegg 2. påmelding
TMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart forelesning 1 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart forelesning 1 Velkommen til TMA4100 Matematikk 1 www.ntnu.no TMA4100 Matematikk 1, høst
MAT1030 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
MAT1030 Forelesning 5
MAT1030 Forelesning 5 Logikk, utsagnslogikk Roger Antonsen - 27. januar 2009 (Sist oppdatert: 2009-01-28 09:12) Kapittel 4: Logikk (fortsettelse) Repetisjon Forrige gang snakket vi om utsagn og predikater,
TMA4100 Matematikk 1, høst 2013
TMA4100 Matematikk 1, høst 2013 Teknostart forelesning 1 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Teknostart forelesning 1 Velkommen til TMA4100 Matematikk 1 www.ntnu.no TMA4100 Matematikk 1, høst
Faglig kontakt under eksamen: Haaken A. Moe Bokmål MIDTSEMESTERPRØVE I TMA Oktober 2007 Tid:
Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Haaken A. Moe 92650655 Bokmål MIDTSEMESTERPRØVE I TMA4140 23.Oktober 2007 Tid: 18.15
Prø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
Matematikk 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
MAT1030 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
EKSAMEN. Oppgavesettet består av 11 oppgaver med i alt 21 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.
EKSAMEN Emnekode: ITF0705 Dato: 6. desember 03 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:
Matematikk for IT, høsten 2016
Matematikk or IT, høsten 016 Oblig 4 Løsningsorslag 30. setember 016.4.11 a) ( 1, 3, 5, 7, ) Her vil relasjonsmengden være slik: {(1, 1), (3, 1), (3, 3), (5, 1), (5, 3), (5, 5), (7, 1), (7, 3), (7, 5),
UNIVERSITETET 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)
UNIVERSITETET 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)
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 4: Logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 21. januar 2009 (Sist oppdatert: 2009-01-22 13:02) Kapittel 4: Logikk (fortsettelse) MAT1030
LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 2003 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin:
LØSNINGSFORSLAG, SIF 5015, DISKRET MATEMATIKK 12. august 200 Oppgave 1. La oss begynne med å bygge en ikke-deterministisk maskin: s 0 s 1 gjennkjenner 0 1og s 0 gjennkjenner (0 1). Fra dette ser vi at
Kapittel 4: Logikk (fortsettelse)
MAT1030 Diskret Matematikk Forelesning 4: Logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (fortsettelse) 21. januar 2009 (Sist oppdatert: 2009-01-22 13:03) MAT1030
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Plenumsregning 4: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 6. februar 2009 (Sist oppdatert: 2009-02-10 11:21) Plenumsregning 4 MAT1030 Diskret Matematikk
Forelesning 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
Oppsummering av Kapittel 3. MAT1030 Diskret matematikk LOGIKK. Logikk. Forelesning 5: Logikk
Oppsummering av Kapittel 3 MAT1030 Diskret matematikk Forelesning 5: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 28. januar 2008 I Kapittel 3 så vi på hvordan data, som hele tall og reelle
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 4: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 27. januar 2010 (Sist oppdatert: 2010-01-27 12:47) Kapittel 4: Logikk (fortsettelse) MAT1030 Diskret
INF1800 LOGIKK OG BEREGNBARHET
INF1800 LOGIKK OG BEREGNBARHET FORELESNING 1: INTRODUKSJON Roger Antonsen Institutt for informatikk Universitetet i Oslo 19. august 2008 (Sist oppdatert: 2008-09-03 12:35) Velkommen til INF1800! Introduksjon
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo 17. februar 2010 (Sist oppdatert: 2010-02-17 12:40) Kapittel 5: Mengdelære MAT1030 Diskret Matematikk
Logikk og Mengdelære. Dag Normann Universitetet i Oslo Matematisk Institutt Boks Blindern 0316 Oslo
Logikk og Mengdelære Dag Normann Universitetet i Oslo Matematisk Institutt Boks 1053 - Blindern 0316 Oslo 16. februar 2005 Innhold 1 Mengdelære 6 1.1 Hva er en mengde?.......................... 6 1.2 Hvordan
Kapittel 5: Mengdelære
MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Mengdelære 17. februar 2010 (Sist oppdatert: 2010-02-17 12:41) MAT1030 Diskret Matematikk
MAT1030 Diskret matematikk
MAT1030 Diskret matematikk Plenumsregning 4: Ukeoppgaver fra kapittel 3 & 4 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 7. februar 2008 Oppgave 3.15 Forklar følgende påstand ved å vise til
INF1800. Logikk og Beregnbarhet
INF1800 Logikk og Beregnbarhet Lærebok: Discrete Structures, Logic, and Computability Utdrag blir pensum. Obs: Første opplag inneholder mange feil, andre opplag inneholder noen feil. Har du kjøpt boken
Forelesning 33. Repetisjon. Dag Normann mai Innledning. Kapittel 11
Forelesning 33 Repetisjon Dag Normann - 26. mai 2008 Innledning Onsdag 21/5 gjorde vi oss ferdige med det meste av den systematiske repetisjonen av MAT1030. Det som gjensto var kapitlene 11 om trær og
Forelesning 1. Algoritmer, pseudokoder og kontrollstrukturer. Dag Normann - 14. januar 2008. Vi som skal undervise. Hva er diskret matematikk?
Forelesning 1 Algoritmer, pseudokoder og kontrollstrukturer Dag Normann - 14. januar 2008 Vi som skal undervise Dag Normann Roger Antonsen Christian Schaal Robin Bjørnetun Jacobsen http://www.uio.no/studier/emner/matnat/math/mat1030/v08/
INF1080 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. 1 Små oppgaver [70 poeng] 1.1 Grunnleggende mengdelære [3 poeng] 1.2 Utsagnslogikk [3 poeng]](/thumbs/60/44567099.jpg "INF1080 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
MAT1030 Forelesning 7
MAT1030 Forelesning 7 Logikk, predikatlogikk Dag Normann - 9. februar 2010 (Sist oppdatert: 2010-02-09 14:24) Kapittel 4: Logikk (predikatlogikk) Predikatlogikk Vi brukte hele forrige uke til å innføre
Obligatorisk 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
MAT1030 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
TMA4100 Matematikk 1 for MTFYMA høsten 2013
TMA4100 Matematikk 1 for MTFYMA høsten 2013 Faglærer: Professor Kristian Seip, Institutt for matematiske fag Emnets hjemmeside (felles for alle paralleller), hvor dere finner all informasjon om emnet,
MAT1030 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
Kvantorer. 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
MAT1030 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
Matematikk 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,
Dagens 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
24. AUGUST Diskret matematikk. onsdag 23. august 2017
24. AUGUST 2017 Diskret matematikk onsdag 23. august 2017 1 Hva er matematikk? Matematikk er, likhet med norsk, engelsk og Java, et språk om man kan uttrykke noe i, f.eks. sammenhenger og sannheter. Symbolene
MAT1030 Diskret Matematikk
MAT1030 Diskret Matematikk Plenumsregning 4: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 6. februar 2009 (Sist oppdatert: 2009-02-10 11:20) Plenumsregning 4 MAT1030 Diskret Matematikk
Forelesning 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
UNIVERSITETET 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
LF, 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%)
Lø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:
Forelesning 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
I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser
Forelesning 5 Logikk Dag Normann - 28. januar 2008 Oppsummering av Kapittel 3 I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser i en datamaskin. Stoffet
FOL: syntaks og representasjon. 15. og 16. forelesning
FOL: syntaks og representasjon 15. og 16. forelesning Førsteordens logikk Førsteordens logikk: et formelt system som man bruker til å representere og studere argumenter. Som utsagnslogikk, men mer uttrykkskraftig,
UNIVERSITETET 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)
Oppgave 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,
EKSAMEN. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.
EKSAMEN 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
Forelesning januar 2006 Introduksjon, mengdelre og utsagnslogikk. 1 Praktisk informasjon. 1.1 Forelesere og tid/sted. 1.2 Obliger og eksamen
Forelesning 1-23. januar 2006 Introduksjon, mengdelre og utsagnslogikk 1 Praktisk informasjon 1.1 Forelesere og tid/sted Forelesere: { Christian Mahesh Hansen (chrisha@ifi.uio.no) { Roger Antonsen (rantonse@ifi.uio.no)
Repetisjon av MA og 3. april Repetisjon av MA0301
Repetisjon av MA0301 1. og 3. april 2014 1 Repetisjon av MA0301 (Denne presentasjonen er tilstrekkelig forberedelse til eksamen.) Aprilsnarr. Hvordan bruke disse timene: Ikke bruk for mye tid på å notere:
MAT1030 Forelesning 4
MAT1030 Forelesning 4 Logikk Roger Antonsen - 21. januar 2009 (Sist oppdatert: 2009-01-22 13:02) Kapittel 4: Logikk (fortsettelse) Enda et eksempel (a) Jeg liker ikke Bamsemums. (b) Du liker alt jeg liker.
Lø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,