Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017.

Størrelse: px
Begynne med side:

Download "Hint til oppgavene. Uke 34. Uke 35. Fullstendige løsningsforslag finnes på emnesidene for 2017."

Transkript

1 Hint til oppgavene Fullstendige løsningsforslag finnes på emnesidene for Uke 34 Oppgave 1, 2, 3 og 4 kan alle løses ved å tegne sannhetstabeller, men i flere tilfeller kan man like gjerne manipulere uttrykkene, eller finne moteksempler. For eksemepel 1.1.1c) (P Q) R er sann dersom R er sann, men P (Q R) usann dersom P er usann. Utsagnene er dermed ikke ekvivalente Husk at hvis n, k Z så er k delelig med n (skrives k n) hvis det finnes r Z slik at n = rk. Ved å skrive opp hva denne definisjonen medfører i de forskjellige deloppgavene blir det ofte tydelig hva man kan gjøre. For eksempel 1.1.5a) Siden 6 n, finnes det k Z slik at n = 6k. Men da er n = 3 (2k). Så det finnes l Z slik at n = 3l (nemlig l = 2k). Hvis påstanden ikke er sann, kan man prøve å finne et moteksempel: 1.1.5b) 9 er delelig med 3, men ikke delelig med 6, så påstanden er usann. Uke a) Her er det nok enklest med et direkte bevis: Anta at m Z er et partall (det finnes k Z slik at m = 2k) og at n Z er vilkårlig. Vis at mn er et partall b) Samme fremgangsmåte som over Bruk definisjonen av at r, s Z r s, og bevis påstanden direkte Siden n Z enten er et partall eller et oddetall har vi to tilfeller. Vis begge tilfellene med direkte bevis Følger fra Euklidsk divisjon. (Kan også vises ved motsigelse: Anta at n er både et partall og et oddetall. Hva skjer da?) Prøv et motsigelsesbevis. For å konkludere kan du for eksempel bruke forrige oppgave Anta for motsigelse at 3 Q. Du må bruke at 3 n 2 3 n (se oppgave for eksempel). Hvis r/s (r, s Z) er et rasjonalt tall, kan du anta at r og s ikke har noen felles faktorer. 1

2 Uke Alternativ 1: Hva er definisjonen av A B? Skriv definisjonen kontrapositivt. Alternativ 2: Prøv et motsigelsesbevis a) Hvis x + y 2 = 0 og x y, hvilke muligheter har vi da? Vis at dette er umulig b) Vis at de forskjellige uttrykkene er på formen x + y 2 for x, y Q. Du kan få bruk for at (x + y 2)(x y 2) Q Vis direkte ved hjelp av definisjoner. Oppgave fra forelesning 03B. La A og B være mengder. Vis at a) A A b) (A B) (B A) A = B c) (A B) c = A c B c d) (A B) c = A c B c Her er A c = {x : x / A}. Hint: Husk at A B hvis [x A x B], og at A = B hvis [x A x B]. Bruk disse definisjonene til å vise a) og b). For å vise c) og d) kan du for eksempel bruke DeMorgans lover (Prop i Lakins). Uke Husk at en påstand er ekvivalent med det kontrapositive utsagnet. Så [ x U (x A x B) ] [ x U (x / A x / B) ]. Bruk definisjoner til å konkludere Vis på standard måte, ved å vise at mengdene er inkludert i hverandre La B være en mengde. Husk at elementene i P(B) er delmengder av B Her holder det å vise at for hver z R, så finnes det et par (x, y) R 2 slik at f(x, y) = z Det holder å vise at for hver k Z finnes det n Z slik at f(n) = k. k er enten et partall eller et oddetall. Se på de to tilfellene hver for seg Se på intervallene (, 0), [0, 4) og [4, ). Hva blir f g på de forskjellige intervallene? Uke a) Her er det vanskelig å gi hint uten å gi svaret b) Vis på standard måte, altså ved å vise at mengdene er inkludert i hverandre: 2

3 Bruk samme metode som over. A = B hvis [x A x B] For å vise at f er injektiv se hintet i boka. For å se at f er surjektiv gjør det samme som i oppgave Tilsvarende som oppgavene over a) La f være som i oppgaven og la P (f) være utsagnet for alle menger Z og funksjoner h, k : Z X har vi at (f h = f k) h = k. Vis at [f injektiv P (f)] ved direkte bevis. For å vise at [P (f) f injektiv] må du finne en mengde Z, og konstruere funksjoner h, k : Z X som sammen med P (f) fanger opp egenskapen at f er injektiv, altså at f(x) = f(x ) x = x. Du kan også prøve å vise det kontrapositive utsagnet [f ikke injektiv P (f)] b) Her er det kanskje lettest å vise den ene implikasjonen kontrapositivt ([f ikke surjektiv Q(f)], hvor Q(f) er utsagnet i oppgaven). Du må også her konstruere passende funksjoner. Uke a) Per definisjon har vi f 1 (f(a)) = {x X : f(x) f(a)} b) Se på en funksjon f : X Y som ikke er injektiv. Da finnes x, y X, slik at x y og f(x) = f(y). Da vil enhver mengde A X slik at x A, y / A, tilfredstille A f 1 (f(a)) (hvorfor?). Finn et konkret eksempel Vis først at direkte bilder har følgende egenskaper: 1) Hvis C, D X og C D, har vi alltid f(c) f(d). 2) Hvis y f(a) f(b) finnes det x A og x B slik at f(x) = y = f(x ). (Begge egenskapene følger mer eller mindre direkte fra definisjonene). Bruk 1) til å vise at f(a B) f(a) f(b). For å vise at f(a) f(b) f(a B) må du bruke at f er injektiv sammen med 2). Peano: Bevis teorem 1.3 (P1.3) og 1.4 (P1.4). Induksjonsaksiomet sier at Bruk dette i bevisene. P (0) [ n N P (n) P (S(n))] n N P (n). P1.3 Anta at : N N N er en annen avbilding som tilfredsstiller (12) og (13) (i notatet). Fra (12) får vi at = + på N {0}. Bruk induksjon og (13) til å konkludere med at + = på hele N N. 3

4 P1.4 Vi bruker induksjon og egenskapene ved + fra P1.3. (14) La P (p) være utsagnet (m + n) + p = m + (n + p). Bruk induksjon på p. Med andre ord, vis først P (0), og deretter at n N P (p) P (S(p)). Helt konkret vis at n N har vi (m + n) + p = m + (n + p) (m + n) + S(p) = m + (n + S(p)). (15) Også induksjon. (16) Induksjon på n. P (0) er opplagt fra (15). Vi vil vise Ved å anta P (n) får vi m + n = n + m m + S(n) = S(n) + m. m + S(n) = S(m + n) = S(n + m) = n + S(m), hvor vi bruker induksjonshypotesen ved andre likhet. Dette er fortsatt ikke helt det vi vil ha. Ved å skrive 1 = S(0) får vi m + (n + 1) = n + (m + 1). Bevis (ved induksjon på m) at m + 1 = 1 + m (altså m + S(0) = S(0) + m). Bruk dette sammen med (14) til å fullføre induksjonsbeviset for P (n). (17) Induksjon på p. Uke 43 Oppgaver fra notatet om algebra 2.1. (i) Se på uttrykket Når er dette sant? (ii) Tilsvarende som (i). x 2 + xy + yx + y 2 = x 2 + 2xy + y (i) Dette følger av at operasjonen på B A er definert ved hjelp av operasjonen på B, og at f, g B A f = g x A f(x) = g(x). (ii) Det meste er allerede sjekket i (i) Her har vi gjort mye av jobben i oppgave (se over)! Spesielt følger det fra at (a + b 2) 1 = 1/(a + b 2) A. 4

5 2.4. I en ikke-triviell ring er 0 1. En måte å gjøre denne oppgaven på er som følger: Anta at B (resp. C) har en total orden som er kompatibel ringstrukturen. Vis at dette medfører at 1 = 0. For eksempel kan du videre bruke følgende: Hvis er en total orden på B så er 1 0 eller 0 1. Vis at om ordenen er kompatibel med strukturen så har vi Bruk samme strategi for C: Anta at du har en total orden som er kompatibel med ringstrukturen. Da må i 0 eller 0 i. Vis at det medfører at i = 0, som igjen medfører at 1 = (i) Rett frem. (ii) Finn funksjoner f, g : A R, og x, y A slik at f(x) g(x) men g(y) f(y) og 2.7. Vis at likhetene (ulikhetene) er oppfylt ved induksjon (i) Vis at x, y P så har vi at x + y P, xy P. For å vise at P P = {0} bruk at x 0 er ekvivalent med 0 x. (ii) Sjekk aksiomene for en ordnet ring. For å vise at er den eneste ordenen som bestemmer P, anta at det finnes en orden slik at P = {x R : 0 x}. Vis at y x y x. 5

Karakteriseringen av like mengder. Mengder definert ved en egenskap.

Karakteriseringen 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

Detaljer

Notat om Peanos aksiomer for MAT1140

Notat om Peanos aksiomer for MAT1140 Notat om Peanos aksiomer for MAT1140 1 Tall Hva er egentlig tall? Tanken her, er ikke å si hva tall er, hva deres interne struktur muligens kan være, men å si hva vi kan gjøre med dem, sett utenifra. Vi

Detaljer

Løsningsforslag oblig. innlevering 1

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,

Detaljer

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

UNIVERSITETET 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

Detaljer

7 Ordnede ringer, hele tall, induksjon

7 Ordnede ringer, hele tall, induksjon Notat 07 for MAT1140 7 Ordnede ringer, hele tall, induksjon Definition 7.1. La R være utstyrt med addisjon og multiplikasjon slik at vi har å gjøre med en kommutativ ring. Anta videre at R er utstyrt med

Detaljer

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

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)

Detaljer

x A e x = x e = x. (2)

x A e x = x e = x. (2) Notat om Algebra for MAT1140 1 Algebra 1.1 Operasjoner Definisjon 1.1. En operasjon på en mengde A er en avbildning fra A A til A. Bemerkning 1.1. Mer generelt kan man snakke om n-ære operasjoner på A,

Detaljer

MAT1030 Plenumsregning 5

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

Detaljer

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] 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

Detaljer

Oppgave 4.4 Skriv ned setninger som svarer til den konverse og den kontrapositive av følgende utsagn.

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,

Detaljer

Plenumsregning 9. Diverse ukeoppgaver. Roger Antonsen april Oppgaver fra forelesningene. Oppgave (fra forelesningen 10/3).

Plenumsregning 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

Detaljer

MAT1030 Diskret matematikk

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

Detaljer

Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har:

Dette krever ikke noe nytt aksiom. Hvorfor? Og hvorfor må vi anta at A ikke er tom? Merk at vi har: Notat 4 for MAT1140 4 Mer om mengder 4.1 Familier av mengder Union og snitt. Aksiom 4.1. Dersom A er en mengde bestående av mengder, kan de sistnevnte føyes sammen til en stor mengde, kalt unionen til

Detaljer

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] 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

Detaljer

LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1

LØ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

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

Analysedrypp 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

Detaljer

Løsningsforslag for 1. obligatoriske oppgave høsten 2014

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,

Detaljer

Analysedrypp I: Bevis, mengder og funksjoner

Analysedrypp 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

Detaljer

Matematikk for IT, høsten 2017

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

Detaljer

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner

Notat 05 for MAT Relasjoner, operasjoner, ringer. 5.1 Relasjoner Notat 05 for MAT1140 5 Relasjoner, operasjoner, ringer 5.1 Relasjoner Når R er en relasjon som er veldefinert på A B, slik at R(x, y) er en påstand når x A og B B, tenker vi på relasjonen som noe som lever

Detaljer

MA2401 Geometri Vår 2018

MA2401 Geometri Vår 2018 MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 6 4.5 1 La ABC være en trekant, og la D være et punkt på AB slik at A B D. Utsagnet

Detaljer

Grublegruppe 19. sept. 2011: Algebra I

Grublegruppe 19. sept. 2011: Algebra I Grublegruppe 19. sept. 2011: Algebra I Ivar Staurseth ivarsta@math.uio.no Innledning, definisjoner Vi har så langt jobbet med mengder, X, hvor vi har hatt et avstandsbegrep og hvor vi har vært i stand

Detaljer

Løsningsforslag til oblig 1 i DM 2018

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:

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET 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

Detaljer

MA1301 Uke 1: In(tro)duksjon

MA1301 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

Detaljer

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Eksamensoppgave 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

Detaljer

Repetisjonsforelesning - INF1080

Repetisjonsforelesning - 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

Detaljer

Slides til 1.6 og 1.7. Andreas Leopold Knutsen

Slides til 1.6 og 1.7. Andreas Leopold Knutsen Slides til 1.6 og 1.7 Andreas Leopold Knutsen January 17, 2010 Begreper Matematiske resultater/utsagn som er sanne kalles gjerne: Teorem = viktig utsagn Proposisjon/Sats/Setning = litt mindre viktig utsagn

Detaljer

Innføring i bevisteknikk

Innfø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

Detaljer

Løsningsforslag øving 7

Løsningsforslag øving 7 Løsningsforslag øving 7 8 Husk at en funksjon er injektiv dersom x y gir f(x) f(y), men her ser vi at f(3) 9 f( 3), eller generelt at f(z) z f( z) for alle z C, som betyr at f ikke er injektiv Vi ser også

Detaljer

Matematikk for IT, høsten 2015

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,

Detaljer

Noen løsningsforslag/fasitsvar

Noen 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

Detaljer

LØSNINGSFORSLAG UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. Oppgave 1 Mengdelære (10 poeng)

LØ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)

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Plenumsregning 9: Diverse ukeoppgaver Roger Antonsen Matematisk Institutt, Universitetet i Oslo 10. april 2008 Oppgaver fra forelesningene Oppgave (fra forelesningen 10/3) a)

Detaljer

Prøveeksamen 2016 (med løsningsforslag)

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

Detaljer

Oppgaver fra forelesningene. MAT1030 Diskret matematikk. Oppgave (fra forelesningen 10/3) Definisjon. Plenumsregning 9: Diverse ukeoppgaver

Oppgaver fra forelesningene. MAT1030 Diskret matematikk. Oppgave (fra forelesningen 10/3) Definisjon. Plenumsregning 9: Diverse ukeoppgaver Oppgaver fra forelesningene MAT1030 Diskret matematikk Plenumsregning 9: Diverse ukeoppgaver Roger Antonsen Matematisk Institutt, Universitetet i Oslo 10. april 2008 Oppgave (fra forelesningen 10/3) a)

Detaljer

MAT1030 Forelesning 14

MAT1030 Forelesning 14 MAT1030 Forelesning 14 Mer om funksjoner Roger Antonsen - 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) Kapittel 6: Funksjoner Surjektive funksjoner Den neste gruppen av funksjoner vi skal se på er

Detaljer

UNIVERSITETET I OSLO

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

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det mtemtisk-nturvitenskpelige fkultet Eksmen i: MAT1140 Strukturer og rgumenter Eksmensdg: Fredg 8. desemer 2017 Tid for eksmen: 14:30 18:30 Oppgvesettet er på 5 sider. Vedlegg: Ingen

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 14: Mer om funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 10. mars 2009 (Sist oppdatert: 2009-03-10 11:34) MAT1030

Detaljer

Injektive og surjektive funksjoner

Injektive og surjektive funksjoner Injektive og surjektive funksjoner Christian F. Heide 5. september 07 Dette notatet forklarer begrepene injektive og surjektive funksjoner, og er tenkt brukt som et supplement til avsnitt.5 i boken «Mathem»

Detaljer

MAT1030 Forelesning 8

MAT1030 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

Detaljer

Den første implikasjonen er bevist i oppgave 1.30c. Den andre vises kontrapositivt slik:

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

Detaljer

UNIVERSITETET I OSLO

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)

Detaljer

Eksamensoppgave i MA0301 Elementær diskret matematikk løsningsforslag

Eksamensoppgave 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

Detaljer

Kapittel 4: Mer predikatlogikk

Kapittel 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:

Detaljer

Notat med oppgaver for MAT1140

Notat med oppgaver for MAT1140 Notat med oppgaver for MAT1140 1 Injeksjon, surjeksjon Oppgave 1.1. La f : A B være en avbildning. Vis at da er f injektiv hvis og bare hvis følgende holder: for hver mengde C og for hver g, h : C A hvis

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET 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

Detaljer

Zorns lemma og utvalgsaksiomet

Zorns lemma og utvalgsaksiomet MAT1140, H-16 Zorns lemma og utvalgsaksiomet I dette notatet skal vi se på Zorns lemma, som er et kraftig redskap for å bevise eksistensen av matematiske objekter. Beviset for Zorns lemma bygger på det

Detaljer

TMA4100 Matematikk 1, høst 2013

TMA4100 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

Detaljer

MAT1140 Strukturer og argumenter

MAT1140 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

Detaljer

MAT1030 Forelesning 13

MAT1030 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

Detaljer

Kapittel 6: Funksjoner

Kapittel 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

Detaljer

Løsningsforslag øving 6

Løsningsforslag øving 6 Løsningsforslag øving 6 7 Husk Teorem 79 i notatet: En delmengde U av et vektorrom V er et underrom hvis ) nullvektoren er i U, ) summen av to vektorer i U er i U igjen, og 3) et skalarmultiplum av en

Detaljer

Prøveunderveiseksamen i MAT-INF 1100, H-03

Prø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

Detaljer

Analysedrypp IV: Metriske rom

Analysedrypp IV: Metriske rom Analysedrypp IV: Metriske rom Vi har tidligere sett at begreper som konvergens og kontinuitet har med avstand å gjøre at f er kontinuerlig i punktet a, betyr f. eks. at det for enhver ɛ > 0, finnes en

Detaljer

UNIVERSITETET I OSLO

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

Detaljer

Forelesning januar 2006 Induktive denisjoner og utsagnslogikk

Forelesning 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

Detaljer

Løsningsforslag til prøveunderveiseksamen i MAT-INF 1100, H-03

Lø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

Detaljer

MAT1030 Forelesning 19

MAT1030 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

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET 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

Detaljer

Fagdag 4 - R

Fagdag 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å

Detaljer

Løsningsforslag. Oppgavesettet består av 9 oppgaver med i alt 20 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

Lø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

Detaljer

Utvalgsaksiomet, velordningsprinsippet og Zorns lemma

Utvalgsaksiomet, velordningsprinsippet og Zorns lemma Utvalgsaksiomet, velordningsprinsippet og Zorns lemma Dag Normann Universitetet i Oslo Matematisk Institutt Boks 1053 - Blindern 0316 Oslo 13. mars 2007 I dette notatet skal vi gi et bevis for ekvivalensen

Detaljer

Oblig 1 - MAT Oppgave 1. Fredrik Meyer. Vi lar α > 1 og x 1 > α. Vi definerer en følge (x n ) ved. x n+1 = α + x n 1 + x n.

Oblig 1 - MAT Oppgave 1. Fredrik Meyer. Vi lar α > 1 og x 1 > α. Vi definerer en følge (x n ) ved. x n+1 = α + x n 1 + x n. Oblig 1 - MAT2400 Fredrik Meyer 1 Oppgave 1 Vi lar α > 1 og x 1 > α. Vi definerer en følge (x n ) ved Lemma 1 (a). x n > 1 n N x n+1 = α + x n = x n + α x2 n Bevis. Siden α > 1 er α + x n >, så 1 = 1+xn

Detaljer

Notat om kardinalitet for MAT1140 (litt uferdig)

Notat om kardinalitet for MAT1140 (litt uferdig) Notat om kardinalitet for MAT1140 (litt uferdig) Poenget med tall kan man kanskje si er det å telle. In mengdeteorien ønsker man å telle antall elementer i en mengde, og det tallet man oppnår kalles da

Detaljer

Forelesning 6 torsdag den 4. september

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

Detaljer

Ukeoppgaver fra kapittel 10 & Induksjonsbevis

Ukeoppgaver 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

Detaljer

IN1150 Høst Logiske metoder for informatikk. Digital eksamen

IN1150 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

Detaljer

Litt mer mengdelære. INF3170 Logikk. Multimengder. Definisjon (Multimengde) Eksempel

Litt 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

Detaljer

INF3170 Forelesning 2

INF3170 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.........................................

Detaljer

Kvantorer. MAT1030 Diskret matematikk. Kvantorer. Kvantorer. Eksempel. Eksempel (Fortsatt) Forelesning 8: Predikatlogikk, bevisføring

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

Detaljer

MAT1030 Diskret matematikk

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

Detaljer

Emne 13 Utsagnslogikk

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

Detaljer

Løsningsforslag til noen oppgaver om Zorns lemma

Løsningsforslag til noen oppgaver om Zorns lemma Løsningsforslag til noen oppgaver om Zorns lemma Fredrik Meyer Her er et løsningsforslag på Oppgave 3 og Oppgave 5 i notatet om Zorns lemma. De to første oppgavene ble gjort på plenum. Oppgave 1. Vi skal

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 16: Rekursjon og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo 17. mars 009 (Sist oppdatert: 009-03-17 11:4) Forelesning 16 MAT1030 Diskret

Detaljer

INF3140 Modeller for parallellitet INF3140/4140: Programanalyse

INF3140 Modeller for parallellitet INF3140/4140: Programanalyse INF3140/4140: Programanalyse Uke 4, side 1. Hvordan sjekke egenskaper ved programmer? Testing eller debugging øker tilliten til programmet ved prøving, men gir ingen garanti for korrekthet Operasjonell

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET 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.

Detaljer

Underveiseksamen i MAT-INF 1100, 17. oktober 2003 Tid: Oppgave- og svarark

Underveiseksamen 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

Detaljer

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile

MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile MAUMAT644 ALGEBRA vår 2016 Første samling Runar Ile 1 Introduksjon: Grupper og ringer Ringer En ring er et sted hvor du kan addere, subtrahere og multiplisere. Hvis du også kan dividere kalles ringen for

Detaljer

MA2401 Geometri Vår 2018

MA2401 Geometri Vår 2018 MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Løsningsforslag Øving 1 2.4 7 I Fanos geometri (se side 18 i læreboka) er punktene gitt ved symbolene

Detaljer

UNIVERSITETET I OSLO

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)

Detaljer

TMA4100 Matematikk 1, høst 2013

TMA4100 Matematikk 1, høst 2013 TMA4100 Matematikk 1, høst 2013 Forelesning 11 www.ntnu.no TMA4100 Matematikk 1, høst 2013, Forelesning 11 Transcendentale funksjoner Vi begynner nå på temaet transcendentale funksjoner. I dagens forelesning

Detaljer

Lineærtransformasjoner

Lineærtransformasjoner Kapittel 8 Lineærtransformasjoner I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige

Detaljer

Forelesning 14 torsdag den 2. oktober

Forelesning 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

Detaljer

Matematisk induksjon

Matematisk induksjon Matematisk induksjon 1 Innledning Dette er et nytt forsøk på å forklare induksjon. Strategien min i forelesning var å prøve å unngå å få det til å se ut som magi, ved å forklare prinsippet fort ved hjelp

Detaljer

MA2401 Geometri Vår 2018

MA2401 Geometri Vår 2018 MA2401 Geometri Vår 2018 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag 3.5 2 La l være ei linje, A et punkt på l og B et annet punkt på l. Vi skal vise at det finnes nøyaktig

Detaljer

MAT1030 Forelesning 13

MAT1030 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

Detaljer

Forelesning 1 mandag den 18. august

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

Detaljer

INF3170 Forelesning 1

INF3170 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...................................

Detaljer

Grafteori. MAT1030 Diskret matematikk. Induksjonsbevis

Grafteori. 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

Detaljer

MAT1030 Diskret matematikk

MAT1030 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

Detaljer

9 Lineærtransformasjoner TMA4110 høsten 2018

9 Lineærtransformasjoner TMA4110 høsten 2018 9 Lineærtransformasjoner MA4 høsten 8 I forrige kapittel begynte vi å formulere lineær algebra på en generell måte, ved å gi en abstrakt definisjon av vektorrom For å beskrive sammenhenger mellom forskjellige

Detaljer

KONTINUASJONSEKSAMEN I TMA4140 LØSNINGSFORSLAG

KONTINUASJONSEKSAMEN 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

Detaljer

MAT1030 Diskret Matematikk

MAT1030 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

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT-INF 1100 Modellering og beregninger. Eksamensdag: Torsdag 1. oktober 2005. Tid for eksamen: 9:00 11:00. Oppgavesettet er på

Detaljer

MAT1120 Notat 1 Tillegg til avsnitt 4.4

MAT1120 Notat 1 Tillegg til avsnitt 4.4 MAT1120 Notat 1 Tillegg til avsnitt 4.4 Dette notatet tar utgangspunkt i Teorem 8 fra avsnitt 4.4 i boka. For ordens skyld gjentar vi dette teoremet her: Teorem 8 [Avsn. 4.4]: Anta at B = {b 1,..., b n

Detaljer

Forelesning 7 mandag den 8. september

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

Detaljer

Obligatorisk oppgave 2 i MAT1140, Høst Løsninger og kommentarer

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

Detaljer