LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

Download "LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 1"

Transkript

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 av p og q), er de logisk ekvivalente. Vi har (p q) r (1) (p q) r (2) ( p q) r (3) ( p r) ( q r) ved det vi viste over (1), De Morgans lov (2) og distributiv lov (3). Alternativt: Sannhetstabell som over. OPPGAVE 2 Vi har at A B = A B per definisjon av, og dermed: A B = A B (1) = A B (2) = A B ved De Morgans lov (2) og definisjon av komplement (2). Alternativt: A B = {x x A x B} = {x (x A x B)} (1) = {x (x A) (x B)} = {x x A x B} = A B, ved De Morgans lov i (1). Alternativt: Venndiagrammer, men disse må være fulgt av noe tekst som forklarer for å få full pott. Venndiagrammet der det skraverte området angir de to mengdene som er like er: 1

2 2 LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 OPPGAVE 3 (a) 2 n. For bevis, se Eks. 9 i 4.1 eller Eks. 10 i 5.1 i læreboken. (b) Se de to bevisene til Korollar 1 i 5.4 i læreboken. OPPGAVE 4 Feilen ligger i at det finnes 4, og ikke 3, forskjellige utfall. Utfallsrommet for ett myntkast er nemlig {M, K} (der M står for mynt og K for krone ), slik at utfallsrommet for to kast er: { } S = {M, K} {M, K} = (M, M), (M, K), (K, M), (K, K), alle utfall med like stor sannsynlighet. (Vi må med andre ord skille mellom utfallene (M, K) og (K, M), som betyr at vi må ta hensyn til hvilken av myntene som viser hva.) Hendelsen vi er interessert i er slik at sannsynligheten for hendelsen er E = {(M, M)}, p(e) = E S = 1 4. OPPGAVE 5 Vi bruker (sterk) induksjon på påstanden a n = (n + 1)3 n for alle heltall n 0. Basistrinnet er n = 0, der vi har a 0 = (0 + 1) 3 0 = 1 1 = 1, slik at påstanden stemmer for n = 0. Vi trenger også å sjekke at påstanden stemmer for n = 1: a 1 = (1 + 1) 3 1 = 2 3 = 6, som også stemmer. I induksjonstrinnet antar vi at påstanden holder for alle heltall n slik at 0 n k, der k er et fiksert heltall 0, dvs. vi antar a n = (n + 1)3 n for alle heltall n slik at 0 n k. Vi viser at dette medfører påstanden for n = k + 1. Hvis k = 0, har vi allerede vist dette. Hvis k 1, kan vi bruke den rekursive definisjonen og induksjonshypotesen: a k+1 = 6a k 9a k 1 = 6(k + 1) 3 k 9k 3 k 1 [ ] = 2(k + 1) 3 k+1 k 3 k+1 = 2(k + 1) k 3 k+1 = (k + 2)3 k+1, slik at påstanden stemmer for n = k + 1. Vi har dermed vist påstanden ved induksjon.

3 LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN OPPGAVE 6 (a) f er ikke injektiv siden f.eks. f( 1) = 1 = f(1) og f( 2) = f(2) = 4. (Generelt er f( a) = f(a) for alle a Z). f er ikke surjektiv siden bildet f(z) av f i N består av alle kvadrattall i N og derfor er bildet ikke hele N. F.eks. er 2 f(z), siden det ikke finnes noen a Z slik at f(a) = a 2 = 2. (b) Vi må vise at R er refleksiv, symmetrisk og transitiv: R er refleksiv siden vi for alle x Z har at f(x) = f(x), derfor er (x, x) Z. R er symmetrisk siden vi for alle x, y Z har at f(x) = f(y) hvis og bare hvis f(y) = f(x). Derfor er (x, y) R hvis og bare hvis (y, x) R. R er transitiv siden vi for alle x, y, z Z har at hvis f(x) = f(y) og f(y) = f(z), da er f(x) = f(y) = f(z), slik at (x, y) R (y, z) R medfører (x, z) R. Derfor er R er en ekvivalensrelasjon. (Dette gjelder for øvrig for alle funksjoner f og er ikke en spesiell egenskap til funksjonen f(x) = x 2.) For alle a Z har vi at ekvivalensklassen til a er Derfor er [a] = {x Z (x, a) R} = {x Z f(x) = f(a)} = {x Z x 2 = a 2 }. [0] = {x Z x 2 = 0} = {0}. [1] = {x Z x 2 = 1} = { 1, 1}. [a] = {x Z x 2 = a 2 } = { a, a} når a 0. (a) Hassediagrammet er: OPPGAVE 7 Mengden er ikke totalt ordnet siden ikke alle elementer er sammenlignbare. F.eks. er 3 og 5 ikke sammenlignbare, siden ingen av disse deler den andre.

4 4 LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN 2010 (b) Maksimale elementer er 6 og 40, siden disse er de elementene som ikke deler andre elementer enn seg selv. Minimale elementer er kun 1, siden dette er det eneste elementet som ikke blir delt av noen andre elementer enn seg selv. Største element finnes ikke, siden det ikke finnes elementer som blir delt av alle elementer. Minste element er 1, siden dette deler alle elementer. OPPGAVE 8 (a) Anta at m er et primtall og a, b Z. Vi benytter følgende egenskap: m ab m a eller m b. Dette følger av Fundamentalteoremet for aritmetikken: At m deller ab betyr at dm = ab for en d Z. Primtallsfaktoriseringen til begge sider er den samme, og primtallsfaktoriseringen av ab er produktet av faktoriseringene til a og b (pga. entydigheten av faktoriseringen). Derfor må m være en primfaktor i ab og følgelig én av faktorene i a eller b. Derfor har vi at, for alle heltall a og b, ab 0 (mod m) m ab m a m b a 0 (mod m) b 0 (mod m), som er det vi skulle vise. (b) Hvis m ikke er primtall, da vil det per definisjon eksistere en a Z slik at 1 < a < m og a m. Dette betyr at m = ab med a, b Z slik at 1 < a < m og 1 < b < m. Dermed har vi at a 0 (mod m) og b 0 (mod m), mens ab 0 (mod m). Dette viser at (*) ikke er sann når m ikke er et primtall. OPPGAVE 9 La mengden av ikketerminale elementer være N = {S, A} (der S er det oppgitte startsymbolet). Da er vokabularet V = T N = {0, 1, S, A}. Vi lar mengden av produksjonene være P = { S 0S0, S A, A 1A, A λ }. Da vil grammatikken G = (V, T, P, S) generere Bevis for at G genererer Σ: Alle utledninger vil være på formen: Σ = {0 n 1 m 0 n m, n N}. S 0S0 n ganger for en n 0, dvs. S 0 n S0 n S A dvs. 0 n S0 n 0 n A0 n A 1A m ganger for en m 0, dvs. 0 n A0 n 0 n 1 m A0 n A λ dvs. 0 n 1 m A0 n 0 n 1 m λ0 n = 0 n 1 m 0 n. Produksjonene vil derfor generere alle elementene i Σ, og ingen andre strenger enn disse. Alternativt finnes det andre grammatikker som er mulige, men denne over er den enkleste. Men man får full pott selv om man ikke angir den enkleste grammatikken.

5 LØSNINGSFORSLAG EKSAMEN MNF130 VÅREN Men noen av besvarelsene hadde grammatikker som genererte litt andre mengder og fikk derfor ikke full pott, men likevel god uttelling. OPPGAVE 10 Første utsagn: Vi lager en graf med festdeltagerne som noder og én kant for hver håndhilsning mellom to personer. Da er graden til en node lik antallet håndtrykk til personen som tilsvarer noden. Da gir handshaking-teoremet eller dets korollar at antallet noder av odde grad er et partall. Dvs. at antallet personer som har trykket et odde antall hender er et partall. (Dette gjelder også om noen håndhilser på samme person flere ganger, noe som imidlertid er helt unaturlig å gjøre.) Alternativt: Induksjon på totalt antall håndtrykk. Dvs. vi beviser påstanden om at hvis det totale antallet håndtrykk er n, er antallet personer som har trykket et odde antall hender et partall, uansett n 0. Dersom n = 0 er det ingenting å vise, siden antallet personer som har trykket et odde antall hender er null, et partall. Anta at påstanden stemmer for n = k, der k er et heltall 0. La nå n = k + 1 og la oss studere ett av håndtrykkene spesielt, det siste håndtrykket. Etter de første k håndtrykkene er antallet personer som har trykket et odde antall hender et partall, ved induksjonshypotesen. Tre tilfeller kan oppstå: De to som håndhilser har fra før av begge trykket et odde antall hender. Etter dette håndtrykket vil antallet personer som har trykket et odde antall hender gå ned med to, og forblir derfor et partall. De to som håndhilser har fra før av begge trykket et jevnt antall hender. Etter dette håndtrykket vil antallet personer som har trykket et odde antall hender øke med to, og forblir derfor et partall. De to som håndhilser har fra før av trykket et jevnt og et odde antall hender, henholdsvis. Etter dette håndtrykket vil antallet personer som har trykket et odde antall hender forbli uendret, og er derfor fremdeles et partall. Andre utsagn: La n være antallet festdeltagere (som vi vet er 1). Anta også at ingen håndhilser samme person to ganger, som er en naturlig antagelse. Da kan ingen håndhilse mer enn n 1 ganger. Vi plasserer de n deltagerne i bokser merket med hvor mange hender de har trykket. Da er boksene merket fra og med 0 og til og med n 1, totalt n stykker. Men minst én av boksene merket med 0 og n 1 må forbli tom: hvis noen havner i boksen merket med 0, har han/hun ikke håndhilst på noen, slik at ingen andre kan ha håndhilst n 1 deltagere. Derfor vil kun n 1 bokser fylles med n deltagere, slik at minst to må havne i samme boks ved duehullprinsippet. Dette betyr at minst to personer har trykket like mange hender. Andreas Leopold Knutsen

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

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

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

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

True False. Q(0, 1, 2) yq(0, y, y) x yq(x, y, 10) x yq(x, y, x + x) y xq(x, y, x + x) x y Q(x, y, x + x) y x Q(x, y, x + x) x y zq(x, y, z)

True False. Q(0, 1, 2) yq(0, y, y) x yq(x, y, 10) x yq(x, y, x + x) y xq(x, y, x + x) x y Q(x, y, x + x) y x Q(x, y, x + x) x y zq(x, y, z) BOKMÅL-MNF130 Kand.nr:... Det matematisk-naturvitenskapelige fakultet UNIVERSITETET I BERGEN Eksamen i emnet MNF130 - Diskrete Strukturer Onsdag 8. juni 2005, kl. 09-14, dvs 5 timer. Skriv ditt kanidatnr

Detaljer

Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008. i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. 0 1 0 0

Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008. i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. 0 1 0 0 Løsningsforslag Øving 9 TMA4140 Diskret matematikk Høsten 2008 8.4.27 Vi beregner matrisene W i for i = 0, 1, 2, 3, 4, og så er W 4 svaret. a) W 0 = W 1 = W 2 = 1 0 0 0 1 1 0 0 b) W 0 = c) W 0 = d) W 0

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

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 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. INF1080 Logiske metoder for informatikk

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet. INF1080 Logiske metoder for informatikk UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag:. desember Tid for eksamen:.. INF Logiske metoder for informatikk Oppgave Mengdelære ( poeng) La A = {,, {}}, B =

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

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

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

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

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

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

Løsningsforslag. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:

Løsningsforslag. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer: Løsningsforslag Emnekode: ITF75 Dato: 7. desember Emne: Matematikk for IT Eksamenstid: kl 9. til kl. Hjelpemidler: To -ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer: Christian

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

Løsningsforslag til eksamen høst 2016

Løsningsforslag til eksamen høst 2016 Løsningsforslag til eksamen høst 2016 Hver oppgave tildeles maksimalt 10 poeng. Høyeste poengsum er 100 Karaterer: 90 A 75 B < 90 60 C < 75 50 D < 60 0 E < 50 F < 40 Oppgave 1 a) 3 poeng Ingen av de tre

Detaljer

Matematikk for IT. Prøve 1. Torsdag 17. september 2015. Løsningsforslag. 22. september 2015

Matematikk for IT. Prøve 1. Torsdag 17. september 2015. Løsningsforslag. 22. september 2015 Matematikk for IT Prøve 1 Torsdag 17. september 2015 Løsningsforslag 22. september 2015 Oppgave 1 Gitt følgende mengder A = {0, 1, 2, 3, 4}, B = {0, 1, 2} og C = {0, 3, 6, 9} Universet er U = {0, 1, 2,

Detaljer

Matematikk for IT. Prøve 1. Onsdag 18. september Løsningsforslag

Matematikk for IT. Prøve 1. Onsdag 18. september Løsningsforslag Matematikk for IT Prøve 1 Onsdag 18. september 2013 Løsningsforslag Oppgave 1 a) Er 26 11 (mod 3)? Begrunn svaret. Dette spørsmålet betyr: Gir 26 : 3 samme rest som 11 : 3? Vi ser at 26 : 3 gir rest 2,

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

Kommentarer til Eksamen IM005 - V02

Kommentarer til Eksamen IM005 - V02 Kommentarer til Eksamen IM005 - V02 Følgende oppgaver er aktuelle innenfor dagens pensum: Oppgave 1a,d,e,f,h,i Oppgave 2a,b,c Oppgave 3 Oppgave 4a,c,d I Oppgavene 1f,h,i skal det stå enkel graf (simple

Detaljer

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

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

Detaljer

INDUKSJONSPRINSIPPET MAT111 - H16

INDUKSJONSPRINSIPPET 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

Detaljer

Matematikk for IT, høsten 2016

Matematikk for IT, høsten 2016 Matematikk for IT, høsten 2016 Oblig Løsningsforslag 16. september 2016 2.4.1 a) {(0, 1), (0, 2), (1, 2)} b) {(0, 0), (1, 1), (2, 2)} c) {(0, 0), (0, 1), (1, 0), (0, 2), (2, 0)} d) {(0, 0), (1, 0), (1,

Detaljer

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon

Repetisjon og mer motivasjon. MAT1030 Diskret matematikk. Repetisjon og mer motivasjon Repetisjon og mer motivasjon MAT030 Diskret matematikk Forelesning 22: Grafteori Roger Antonsen Matematisk Institutt, Universitetet i Oslo 4. april 2008 Først litt repetisjon En graf består av noder og

Detaljer

Emnenavn: Matematikk for IT. Eksamenstid: Faglærer: Christian F Heide

Emnenavn: Matematikk for IT. Eksamenstid: Faglærer: Christian F Heide EKSAMEN Emnekode: ITF75 Dato: 4. desember 6 Hjelpemidler: - To A4-ark med valgfritt innhold på begge sider. Emnenavn: Matematikk for IT Eksamenstid: 9. 3. Faglærer: Christian F Heide Kalkulator er ikke

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 25. november 2011 Tid for eksamen: 14:45 16:45 Oppgave 1 Mengdelære (15 poeng)

Detaljer

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

Detaljer

Eksamensoppgave i TMA4140 Diskret matematikk

Eksamensoppgave i TMA4140 Diskret matematikk Institutt for matematiske fag Eksamensoppgave i TMA414 Diskret matematikk Faglig kontakt under eksamen: Christian Skau Tlf: 97 96 5 57 Eksamensdato: 15. desember 217 Eksamenstid (fra til): 9: 13: Hjelpemiddelkode/Tillatte

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

EKSAMEN. Emne: Emnekode: Matematikk for IT ITF Dato: Eksamenstid: til desember Hjelpemidler: Faglærer:

EKSAMEN. Emne: Emnekode: Matematikk for IT ITF Dato: Eksamenstid: til desember Hjelpemidler: Faglærer: EKSAMEN Emnekode: ITF0705 Dato: 5. desember 05 Emne: Matematikk for IT Eksamenstid: 09.00 til 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke tillatt. Faglærer: Christian

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

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002

LØSNINGSFORSLAG SIF5015 DISKRET MATEMATIKK Onsdag 18. desember 2002 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 7 LØSNINGSFORSLAG SIF55 DISKRET MATEMATIKK Onsdag 8. desember 22 Oppgave a) Vi vil ha 77x (mod 3), så vi trenger en

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

LØSNINGSFORSLAG EKSAMEN V06, MA0301

LØSNINGSFORSLAG EKSAMEN V06, MA0301 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 7 LØSNINGSFORSLAG EKSAMEN V06, MA0301 Oppgave 1 a) Sett opp en sannhetsverditabell(truth table) for det logiske uttrykket

Detaljer

LO118D Forelesning 5 (DM)

LO118D Forelesning 5 (DM) LO118D Forelesning 5 (DM) Relasjoner 03.09.2007 1 Relasjoner 2 Ekvivalensrelasjoner 3 Matriser av relasjoner 4 Relasjonsdatabaser Relasjon Relasjoner er en generalisering av funksjoner En relasjon er en

Detaljer

LØSNINGSFORSLAG KONT 07, TMA4140

LØSNINGSFORSLAG KONT 07, TMA4140 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 LØSNINGSFORSLAG KONT 07, TMA4140 Oppgave 1 (10%) Utsagnet ( ( (p q)) r ) ( q p ) får sannhetstabellen: p q r (p

Detaljer

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Grafteori. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori. MAT030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo Grafteori 20. april 200 (Sist oppdatert: 200-04-20 4:8) MAT030 Diskret Matematikk 20. april 200

Detaljer

MAT1030 Forelesning 23

MAT1030 Forelesning 23 MAT030 Forelesning 23 Grafteori Roger Antonsen - 22. april 2009 (Sist oppdatert: 2009-04-22 2:36) Forelesning 23 Repetisjon og mer motivasjon Først litt repetisjon En graf består av noder og kanter Kanter

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 23: Grafteori Dag Normann Matematisk Institutt, Universitetet i Oslo 20. april 2010 (Sist oppdatert: 2010-04-20 14:17) Grafteori MAT1030 Diskret Matematikk 20. april

Detaljer

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori.

Forelesning 23. MAT1030 Diskret Matematikk. Repetisjon og mer motivasjon. Repetisjon og mer motivasjon. Forelesning 23: Grafteori. MAT030 Diskret Matematikk Forelesning 23: Grafteori Roger Antonsen Institutt for informatikk, Universitetet i Oslo Forelesning 23 22. april 2009 (Sist oppdatert: 2009-04-22 2:37) MAT030 Diskret Matematikk

Detaljer

EKSAMEN. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer:

EKSAMEN. Emnekode: Emne: Matematikk for IT ITF Eksamenstid: Dato: kl til kl desember Hjelpemidler: Faglærer: EKSAMEN Emnekode: ITF0705 Dato: 7. desember 0 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:

Detaljer

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer

Obligatorisk oppgave 1 i MAT1140, Høst Løsninger med kommentarer Obligatorisk oppgave 1 i MAT1140, Høst 2014. Oppgave 1 er med kommentarer En funksjon f : R R er en polynomfunksjon hvis f kan defineres som f(x) = a 0 + a 1 x + + a n x n hvor n 0 og a 0,..., a n er reelle

Detaljer

Eksamensoppgave i TMA4140 Diskret matematikk

Eksamensoppgave i TMA4140 Diskret matematikk Institutt for matematiske fag Eksamensoppgave i TMA4140 Diskret matematikk Faglig kontakt under eksamen: Christian Skau Tlf: 73 59 17 55 Eksamensdato: 15. desember 2016 Eksamenstid (fra til): 09:00 13:00

Detaljer

EKSAMEN. Oppgavesettet består av 11 oppgaver med i alt 21 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

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:

Detaljer

Eksamensoppgave i TMA4140 Diskret matematikk

Eksamensoppgave i TMA4140 Diskret matematikk Institutt for matematiske fag Eksamensoppgave i TMA44 Diskret matematikk Faglig kontakt under eksamen: Christian Skau Tlf: 7359755 Eksamensdato: 8 desember 25 Eksamenstid (fra til): 9:-3: Hjelpemiddelkode/Tillatte

Detaljer

Matematikk for IT. Prøve 1 Løsningsforslag. Fredag 23. september september Oppgave 1

Matematikk for IT. Prøve 1 Løsningsforslag. Fredag 23. september september Oppgave 1 Matematikk for IT Prøve 1 Løsningsforslag Fredag 23. september 2016 23. september 2016 Oppgave 1 Er 29 17 (mod 4)? Begrunn svaret. Dette kan vi lettest sjekke ved å se om 4 deler 29 17. 29 17 = 12. Vi

Detaljer

Eksamen MAT H Løsninger

Eksamen MAT H Løsninger Eksamen MAT1140 - H2014 - Løsninger Oppgave 1 Vi setter opp en vanlig sannhetsverditabell. La Φ betegne formelen i oppgaven. Tabellen vil bli som følger: A B C A B A C Φ T T T T T T T T F T T T T F T F

Detaljer

Forelesning 19 torsdag den 23. oktober

Forelesning 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

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

Mengder, relasjoner og funksjoner

Mengder, relasjoner og funksjoner MAT1030 Diskret Matematikk Forelesning 15: og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo Mengder, relasjoner og funksjoner 9. mars 2010 (Sist oppdatert: 2010-03-09 14:18) MAT1030

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

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv. Repetisjon fra siste uke: Relasjoner En relasjon R på en mengde A er en delmengde av produktmengden A A. La R være en relasjon på en mengde A. R er refleksiv hvis R er symmetrisk hvis R er antisymmetrisk

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

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

Cr) Høgskoleni østfold

Cr) Høgskoleni østfold Cr) Høgskoleni østfold EKSAMEN Emnekode:Emne: ITF10705Matematikk for IT Dato:Eksamenstid: 15. desember 2015 09.00 til 13.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Kalkulator er ikke

Detaljer

Løsningsforlag til eksamen i Diskret matematikk. 29. november 2017

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

Detaljer

Matematikk for IT. Prøve 1. Torsdag 18. september Løsningsforslag

Matematikk for IT. Prøve 1. Torsdag 18. september Løsningsforslag 23.09.2014 Matematikk for IT Prøve 1 Torsdag 18. september 2014 Løsningsforslag Oppgave 1 a) Gitt tallet BD 16. Konvertér dette tallet til titallsystemet. Siden B 16 = 11 10 og D 16 = 13 10 blir dette

Detaljer

Matematikk for IT, høsten 2016

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),

Detaljer

Høgskoleni østfold. EKSAMEN Ny og utsatt

Høgskoleni østfold. EKSAMEN Ny og utsatt Høgskoleni østfold EKSAMEN Ny og utsatt Emnekode:Emne: ITF10705Matematikk for IT Dato:Eksamenstid: 8. juni 2015 09.00 13.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Faglærer: Christian

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

Dette brukte vi f.eks. til å bevise binomialteoremet. n i. (a + b) n = a i b n i. i=0

Dette brukte vi f.eks. til å bevise binomialteoremet. n i. (a + b) n = a i b n i. i=0 Prinsippet om matematisk induksjon: anta du har en påstand som er avhengig av et positivt heltall n. Om du kan vise to ting, nemlig at påstanden er sann for n = 1 og at om påstanden er sann for n = k,

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

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

ÅMA110 Sannsynlighetsregning med statistikk, våren 2010

ÅMA110 Sannsynlighetsregning med statistikk, våren 2010 ÅM0 Sannsynlighetsregning med statistikk, våren 00 Kp. Sannsynlighetsregning (sannsynlighetsteori).5 (kp..5) - innledning Eks.: Et terningkast; {,, 3, 4, 5, 6}. Ved bruk av uniform modell: hvert utfall

Detaljer

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv.

R for alle a A. (, så er a, En relasjon R på en mengde A er en Ekvivalensrelasjon hvis den er refleksiv, symmetrisk og transitiv. Repetisjon fra siste uke: Relasjoner En relasjon R på en mengde A er en delmengde av produktmengden A A. La R være en relasjon på en mengde A. R er refleksiv hvis R er symmetrisk hvis R er antisymmetrisk

Detaljer

En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha.

En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser ofte kan ha. Forelesning 12 Relasjoner, Dag Normann - 20. februar 2008 Oppsummering En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt navn på visse egenskaper relasjoner som oppstår i anvendelser

Detaljer

Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper

Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper Oversikt over bevis at det finnes uendelig mange primtall med bestemte egenskaper Richard Williamson 3. desember 2014 Oppgave 1 La n være et naturlig tall. Bevis at det finnes et primtall p slik at p >

Detaljer

ÅMA110 Sannsynlighetsregning med statistikk, våren 2011

ÅMA110 Sannsynlighetsregning med statistikk, våren 2011 ÅMA110 Sannsynlighetsregning med statistikk, våren 2011 Kp. 2 Sannsynlighetsregning i (sannsynlighetsteori) t i) 2.5 Betinget sannsynlighet 1 Betinget sannsynlighet (kp. 2.5) - innledning Eks.: Et terningkast;

Detaljer

Eksempler på praktisk bruk av modulo-regning.

Eksempler på praktisk bruk av modulo-regning. Eksempler på praktisk bruk av modulo-regning. Se http://www.cs.hioa.no/~evav/dm/emner/modulo1.pdf Tverrsum Tverrsummen til et heltall er summen av tallets sifre. Eksempel. a = 7358. Tverrsummen til a er

Detaljer

Tillegg til kapittel 11: Mer om relasjoner

Tillegg til kapittel 11: Mer om relasjoner MAT1140, H-16 Tillegg til kapittel 11: Mer om relasjoner I læreboken blir ekvivalensrelasjoner trukket frem som en viktig relasjonstype. I dette tillegget skal vi se på en annen type relasjoner som dukker

Detaljer

Oppsummering. MAT1030 Diskret matematikk. Ekvivalensrelasjoner. Oppsummering. Definisjon. Merk

Oppsummering. MAT1030 Diskret matematikk. Ekvivalensrelasjoner. Oppsummering. Definisjon. Merk Oppsummering MAT1030 Diskret matematikk Forelesning 12: Relasjoner, Dag Normann Matematisk Institutt, Universitetet i Oslo 20. februar 2008 En relasjon på en mengde A er en delmengde R A A = A 2. Vi har

Detaljer

Ekvivalente utsagn. Eksempler: Tautologi : p V p Selvmotsigelse: p Λ p

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

Detaljer

Plenumsregning 12. Diverse oppgaver. Roger Antonsen mai Eksamen 12/6-06 Oppgave 2. Plan

Plenumsregning 12. Diverse oppgaver. Roger Antonsen mai Eksamen 12/6-06 Oppgave 2. Plan Plenumsregning 12 Diverse oppgaver Roger Antonsen - 22. mai 2008 Plan Dette er siste plenumsregning. Vi regner stort sett eksamensoppgaver. Neste uke blir det repetisjon på mandag og onsdag. Send epost

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Plenumsregning 7: Ukeoppgaver fra kapittel 5 & 6, mm. Roger Antonsen Matematisk Institutt, Universitetet i Oslo 28. februar 2008 Oppgave 5.16 La R være relasjonen på {a, b, c,

Detaljer

K A L K U L U S. Løsningsforslag til utvalgte oppgaver fra Tom Lindstrøms lærebok. ved Klara Hveberg. Matematisk institutt Universitetet i Oslo

K A L K U L U S. Løsningsforslag til utvalgte oppgaver fra Tom Lindstrøms lærebok. ved Klara Hveberg. Matematisk institutt Universitetet i Oslo K A L K U L U S Løsningsforslag til utvalgte oppgaver fra Tom Lindstrøms lærebok ved Klara Hveberg Matematisk institutt Universitetet i Oslo Forord Dette er en samling løsningsforslag som jeg opprinnelig

Detaljer

FASIT/LF FOR EKSAMEN TMA4140, H07

FASIT/LF FOR EKSAMEN TMA4140, H07 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 5 FASIT/LF FOR EKSAMEN TMA440, H07 Oppgave (0%) Benytt matematisk induksjon til å vise at for alle heltall n. n i i!

Detaljer

Eksamen i Elementær Diskret Matematikk - (MA0301)

Eksamen i Elementær Diskret Matematikk - (MA0301) Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Steffen Junge (73 59 17 73 / 94 16 27 27) Eksamen i Elementær Diskret Matematikk -

Detaljer

EKSAMEN. Oppgavesettet består av 9 oppgaver med i alt 21 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye.

EKSAMEN. Oppgavesettet består av 9 oppgaver med i alt 21 deloppgaver. Ved sensur vil alle deloppgaver telle omtrent like mye. EKSAMEN Emnekode: ITF0705 Dato:. desember 00 Emne: Matematikk for IT Eksamenstid: kl 09.00 til kl 3.00 Hjelpemidler: To A4-ark med valgfritt innhold på begge sider. Faglærer: Christian F Heide Eksamensoppgaven:

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 13: Funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 6: Funksjoner 4. mars 2009 (Sist oppdatert: 2009-03-06 18:57) MAT1030 Diskret

Detaljer

Notasjon i rettingen:

Notasjon 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

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

Viktige begrep i kapittel 1.

Viktige begrep i kapittel 1. Viktige begrep i kapittel 1. 1. Egenskaper ved relasjoner. La R A A være en binær relasjon. (a) At R er refleksiv betyr at x (x, x) R. (b) At R er symmetrisk betyr at x y ((x, y) R (y, x) R ). (c) At R

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

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140, H-15 MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oppsummering av grafteorien i MAT1140. Vekten er på den logiske oppbygningen, og jeg har utelatt all motivasjon og (nesten)

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 21: Mer kombinatorikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo 15. april 2009 (Sist oppdatert: 2009-04-15 00:05) Kapittel 9: Mer kombinatorikk

Detaljer

Repetisjon av MA og 3. april Repetisjon av MA0301

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:

Detaljer

i Dato:

i Dato: c:- høgskolen i oslo I Emne I EmnlekOde: I FagligvelIeder: Diskret matematikk FO 019A UJfUttersrud raruppe( r): i Dato: - I Eksamenstid: 12.12.2005 9-14 I Eksam-ensopp gavenbestår av: I Antall sid~nkl

Detaljer

Forelesning 20 mandag den 27. oktober

Forelesning 20 mandag den 27. oktober Forelesning 20 mandag den 27. oktober 5.10 Eksempler på hvordan regne ut Legendresymboler ved å benytte kvadratisk gjensidighet Eksempel 5.10.1. La oss se igjen på Proposisjon 5.6.2, hvor vi regnet ut

Detaljer

Oppgåvesettet er på 3 sider med oppgåvene Engelsk omsetjing på sidene 4-6.

Oppgåvesettet er på 3 sider med oppgåvene Engelsk omsetjing på sidene 4-6. UNIVERSITETET I BERGEN Det matematisk-naturvitskaplege fakultet Eksamen i emnet MNF130 Diskrete strukturar Fredag 21. mai 2010, kl. 09-12, altså 3 timar. NYNORSK Ingen tillatne hjelpemiddel. Oppgåvesettet

Detaljer

MAT1140: Kort sammendrag av grafteorien

MAT1140: Kort sammendrag av grafteorien MAT1140: Kort sammendrag av grafteorien Dette notatet gir en kort oversikt over den delen av grafteorien som er gjennomgått i MAT1140 høsten 2013. Vekten er på den logiske oppbygningen, og jeg har utelatt

Detaljer

Før vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet

Før vi begynner. Kapittel 5: Relasjoner og funksjoner. MAT1030 Diskret Matematikk. Litt om obligen og studentengasjementet MAT1030 Diskret Matematikk Forelesning 12: Relasjoner og litt funksjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Før vi begynner 3. mars 2009 (Sist oppdatert: 2009-03-04 01:00) MAT1030

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

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Plenumsregning 11: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 7. mars 009 (Sist oppdatert: 009-03-30 09:39) Oppgave 7. Finn en rekursiv og en ikke-rekursiv

Detaljer

To nyttige begreper. Ekvivalensrelasjoner

To nyttige begreper. Ekvivalensrelasjoner To nyttige begreper Det er to begreper fra mengdelæren som til stadighet vil bli brukt i dette kurset, og som vi av erfaring vet kan være tungt fordøyelig for endel studender. For å få en skikkelig forståelse

Detaljer

Forelesning 21 torsdag den 30. oktober

Forelesning 21 torsdag den 30. oktober Forelesning 21 torsdag den 30. oktober 5.12 Mersenne-primtall Merknad 5.12.1. Nå kommer vi til å se på et fint tema hvor kvadratisk gjensidighet kan benyttes. Terminologi 5.12.2. La n være et naturlig

Detaljer