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

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

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

Transkript

1 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 = og D 16 = blir dette BD 16 = = = b) Konvertér til heksadesimalt (altså grunntall 16). Vi grupperer tallet i fire og fire bit og begynner bakerst: = = E = 6 10 = 6 16 Derfor: = 6E 16 Oppgave 2 Gitt følgende mengder A = {0, 1, 2, 3, 4} B = {0, 3, 6, 9} Universet er U = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9} a) Finn A B A B = {1, 2, 4} b) Finn A A = {5, 6, 7, 8, 9} Oppgave 3 Gitt mengden A = {0, 1, 2, 3}. Det er definert en relasjon, R, på A ved R = {(0, 0), (1, 1), (0, 2), (2, 0), (2, 2), (2, 3), (3, 2), (3, 3)} Christian F.Heide

2 Svarene på følgende spørsmål må begrunnes. a) Er relasjonen refleksiv? For at den skal være refleksiv, må alle elementer i A ha relasjon til seg selv. I vår relasjon har vi parene (0, 0), (1, 1), (2, 2) og (3, 3). Relasjonen er derfor refleksiv. b) Er relasjonen symmetrisk og/eller antisymmetrisk? Relasjonen er symmetrisk fordi det ikke finnes noen antisymmetriske par. Altså: alle steder hvor vi har relasjon fra ett element til et annet, har vi også relasjon motsatt vei. Her gjelder det altså (0, 2), (2, 0) og (2, 3), (3, 2). Siden det finnes symmetriske par, f. eks. (0, 2) og (2, 0), er relasjonen ikke antisymmetrisk. c) Er relasjonen transitiv? Relasjonen er transitiv så lenge vi ikke klarer å finne noe moteksempel hvor (x, y) R og (y, z) R men (x, z) R. Her ser vi imidlertid at vi f. eks. har (0, 2) og (2, 3), mens vi mangler (0, 3). Relasjonen er følgelig ikke transitiv. d) Er relasjonen en ekvivalensrelasjon, en delvis ordning (partialordning), en totalordning eller ingen av delene? Begrunn svaret. For at relasjonen skal være en ekvivalensrelasjon, må den være refleksiv, symmetrisk og transitiv. Denne er ikke transitiv, og er derfor ikke en ekvivalensrelasjon. For at relasjonen skal være en delvis ordning, må den være refleksiv, antisymmetrisk og transitiv. Denne er ikke hverken antisymmetrisk eller transitiv, og er derfor ikke en delvis ordning. En totalordning er et spesialtilfelle av en delvis ordning. Siden dette ikke er en delvis ordning er det heller ingen totalordning. Konklusjon: relasjonen er ingen av delene. Oppgave 4 Gitt et univers, U, og mengdene A, B, C og D i dette universet. Anta nå at mengdene A og B er ikke-disjunkte, og at og C = A B D = B A. a) Hva menes det med at mengdene A og B er ikke-disjunkte? Det innebærer at det finnes ett eller flere elementer som er element både i A og B, altså at A B. b) Hva er C D? Dette ser vi lettest ved å tegne venndiagram. Mengden C er skravert i følgende venndiagram: Christian F. Heide 2

3 A B C Mengden D er skravert i følgende venndiagram: A B D Av disse to venndiagrammene ser vi at C D Oppgave 5 Gitt mengdene A = {a, b, c, d} og B = {0, 1, 2, 3, 4}. Det er definert en relasjon, f, fra A til B ved f = {(a, 3), (b, 0), (c, 1), (d, 2)} a) Angi hvilke kriterier må være oppfylt for at en relasjon skal være en funksjon? Kriteriet er at hvert element i definisjonsmengden må ha en relasjon til nøyaktig ett element i kodomenet. b) Bruk kriteriene du satte opp i spørsmål a til å begrunne at relasjonen f er en funksjon. Her ser vi at alle elementer i definisjonsmengden er «i bruk», altså at både a, b, c og d har relasjon. Vi ser også at disse relasjonene går til nøyaktig ett element i kodomenet (det er for eksempel ikke slik at a har relasjon til to elementer i B). Relasjonen er derfor en funksjon. c) Er funksjonen én-entydig (injektiv) og/eller surjektiv? Begrunn svaret. Funksjonen er én-entydig fordi alle elementer i A har ulike bilder (funksjonsverdier) i B. Funksjonen er ikke surjektiv fordi elementet 4 i kodomenet ikke er bilde av noe element i definisjonsmengden. d) Finn den inverse relasjonen, svaret. f 1. Er denne inverse relasjonen en funksjon? Begrunn Christian F. Heide 3

4 1 f = {(3, a), (0, b), (1, c), (2, d)} Dette er ikke en funksjon. Dette kan begrunnes på to måter (som jo egentlig er den samme begrunnelsen): 1 - elementet 4 i definisjonsmengden til f (dvs. mengden B) har ikke noe bilde (noen funksjonsverdi) i kodomenet A. - funksjonen f er ikke surjektiv Oppgave 6 Under en flytur ble 150 passasjerer tilbudt te, kaffe og mineralvann til måltidet. Det viste seg at 38 tok te, 52 tok mineralvann og 75 tok kaffe. Antall som fikk både te og mineralvann var 11, 12 fikk både te og kaffe, mens 8 fikk både te, kaffe og mineralvann. 9 passasjerer tok ikke imot drikke til måltidet. a) Hvor mange drakk både kaffe og mineralvann? Vi kaller mengden av de passasjerene som tok te for T, dem som tok kaffe for K og dem som tok mineralvann for M. Vi setter opp opplysningene som er gitt i oppgaven: U 150 T M K T M T K T K M T K M 8 9 Den siste opplysningen innebærer at T K M U T K M Fra inklusjons- og eksklusjonsprinsippet har vi: T K M T K M T K T M K M T K M Vi skal finne K M så vi flytter dette leddet over på venstre side og flytter leddet T K M over på høyre side, og får da: K M T K M T K T M T K M T K M Setter vi nå inn tall, finner vi K M Christian F. Heide 4

5 b) Hvor mange drakk te men ingenting annet? Dette er gitt ved: T T K T M T K M (Vi trekker fra snittet mellom alle to ganger, både i trekke det fra en gang, og derfor må vi legge det til en gang). T K og i T M. Vi skal bare Oppgave 7 25 personer (verten og 24 gjester) er i et bursdagsselskap. Det er plass til bare fire ved hvert bord. Verten skal plukke ut tre av de 24 gjestene til å sitte sammen med seg ved sitt bord. Hvor mange ulike grupper på tre personer kan verten velge blant? Dette er et uordnet utvalg (rekkefølgen de plukkes ut i er uten betydning) som gjøres uten tilbakelegging (samme person kan ikke sitte i mer enn én stol ved vertens bord). Antall måter vi kan gjøre dette utvalget på, er gitt ved: 24 24! 3 (24 3)! 3! 24! 21! 3! Christian F. Heide 5

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

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

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

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

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

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

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

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

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

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

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

{(1,0), (2,0), (2,1), (3,0), (3,1), (3,2), (4,0), (4,1), (4,2), (4,3) } {(1,0), (1,1), (1,2), (1,3), (2,0), (2,2), (3,0), (3,3), (4,0)}

{(1,0), (2,0), (2,1), (3,0), (3,1), (3,2), (4,0), (4,1), (4,2), (4,3) } {(1,0), (1,1), (1,2), (1,3), (2,0), (2,2), (3,0), (3,3), (4,0)} Diskret matematikk - Høgskolen i Oslo Løsningsforslag for en del oppgaver fra boken Discrete athematics and Its Applications Forfatter: Kenneth H. osen Avsnitt 8. Oppgave A {,,,,4} og B {,,,} a) {( a,

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

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

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

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

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

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

Egenskaper til relasjoner på en mengde A.

Egenskaper til relasjoner på en mengde A. Egenskaper til relasjoner på en mengde A. Refleksivitet Relasjonen er refleksiv hvis (a, a) R for alle a A. Vi kan se det ut fra: 1) Grafen: R er refleksiv hvis alle punktene i grafen har en sløyfe. 2)

Detaljer

Forelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting

Forelesning 13. Funksjoner. Dag Normann februar Opphenting. Opphenting. Opphenting. Opphenting Forelesning 13 Dag Normann - 25. februar 2008 Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner. Vi definerte hva vi mener med partielle ordninger og med totale ordninger. Deretter snakket

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 13: Funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo 25. februar 2008 Opphenting Forrige forelesning fortsatte vi innføringen av ekvivalensrelasjoner.

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

Relasjoner - forelesningsnotat i Diskret matematikk 2015

Relasjoner - forelesningsnotat i Diskret matematikk 2015 Relasjoner Utdrag fra avsnitt 9.1, 9.3, 9.4 og 9.5 i læreboka 9.1 - Relasjoner 9.3 - Operasjoner på relasjoner 9.4 - Utvidelser av relasjoner - tillukninger 9.5 - Ekvivalensrelasjoner og ekvivalensklasser

Detaljer

To mengder S og T er like, S = T, hvis de inneholder de samme elementene. Notasjon. Mengden med elementene a, b, c og d skrives ofte {a, b, c, d}.

To mengder S og T er like, S = T, hvis de inneholder de samme elementene. Notasjon. Mengden med elementene a, b, c og d skrives ofte {a, b, c, d}. Forelesning 0: Mengdelære, Induksjon Martin Giese - 23. januar 2008 1 Mengdelære 1.1 Mengder Mengder Definisjon 1.1. En mengde er en endelig eller uendelig samling objekter der innbyrdes rekkefølge og

Detaljer

Kapittel 5: Relasjoner

Kapittel 5: Relasjoner MAT1030 Diskret Matematikk Forelesning 12: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 5: Relasjoner 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) MAT1030 Diskret Matematikk

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

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

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

Dagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008.

Dagens plan. INF3170 Logikk. Mengder. Definisjon. Notasjon. Forelesning 0: Mengdelære, Induksjon. Martin Giese. 23. januar 2008. INF3170 Logikk Dagens plan Forelesning 0:, Induksjon Martin Giese 1 Institutt for informatikk, Universitetet i Oslo 2 23. januar 2008 Institutt for informatikk (UiO) INF3170 Logikk 23.01.2008 2 / 47 1

Detaljer

Relasjoner - forelesningsnotat i Diskret matematikk 2017

Relasjoner - forelesningsnotat i Diskret matematikk 2017 Relasjoner Utdrag fra avsnitt 9.1, 9.3, 9.4 og 9.5 i læreboka 9.1 - Relasjoner 9.3 - Operasjoner på relasjoner 9.4 - Utvidelser av relasjoner - tillukninger 9.5 - Ekvivalensrelasjoner og ekvivalensklasser

Detaljer

MAT1030 Forelesning 12

MAT1030 Forelesning 12 MAT1030 Forelesning 12 Relasjoner Dag Normann - 24. februar 2010 (Sist oppdatert: 2010-02-24 12:36) Kapittel 5: Relasjoner Repetisjon En relasjon på en mengde A er en delmengde R A A = A 2. Vi har satt

Detaljer

Oppgave: Avgjør om følgende to mengder er like: 1) (A B) C 2) A (B C)

Oppgave: Avgjør om følgende to mengder er like: 1) (A B) C 2) A (B C) Mengder, fortsettelse. Tre mengder Venndiagram for tre mengder A, B og C må tegnes slik at alle muligheter blir dekket. For å få dette til må de overlappe hverandre: Oppgave: Avgjør om følgende to mengder

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

Oppsummering. MAT1030 Diskret matematikk. Relasjoner. Relasjoner. Forelesning 11: Relasjoner

Oppsummering. MAT1030 Diskret matematikk. Relasjoner. Relasjoner. Forelesning 11: Relasjoner Oppsummering MAT1030 Diskret matematikk Forelesning 11: Relasjoner Dag Normann Matematisk Institutt, Universitetet i Oslo 18. februar 2008 Vi har gjort oss ferdige med innføringen av Boolesk mengdelære.

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

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

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

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

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

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

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

LO118D Forelesning 3 (DM)

LO118D Forelesning 3 (DM) LO118D Forelesning 3 (DM) Mengder og funksjoner 27.08.2007 1 Mengder 2 Funksjoner Symboler x y Logisk AND, både x og y må være sanne x y Logisk OR, x eller y må være sann x Negasjon, ikke x x For alle

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

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

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

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) Kapittel 5: Relasjoner MAT1030 Diskret

Detaljer

Kapittel 5: Relasjoner

Kapittel 5: Relasjoner MAT1030 Diskret Matematikk Forelesning 11: Relasjoner Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Relasjoner 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) MAT1030 Diskret

Detaljer

Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen januar Praktisk informasjon. 1.1 Forelesere og tid/sted

Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen januar Praktisk informasjon. 1.1 Forelesere og tid/sted Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen - 22. januar 2007 1 Praktisk informasjon 1.1 Forelesere og tid/sted Foreleser: Christian Mahesh Hansen (chrisha@ifi.uio.no) Kontor 2403,

Detaljer

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik: Funksjoner La A og B være to mengder. En funksjon f fra A til B betegnes med f: A -> B og er en tilordning (regel) som til ethvert element a A tilordner ett og bare ett element b B. Elementet b kalles

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

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

Dagens plan. INF3170 Logikk

Dagens plan. INF3170 Logikk INF3170 Logikk Dagens plan Forelesning 1: Introduksjon og mengdelære Christian Mahesh Hansen Institutt for informatikk, Universitetet i Oslo 1 Praktisk informasjon 2 Hva skal vi lære? 22. januar 2007 3

Detaljer

Matematikk for IT, høsten 2016

Matematikk for IT, høsten 2016 Matematikk for IT, høsten 0 Oblig 1 Løsningsforslag 6. august 0 1..1 a) 19 76? 76 : 19 = 4 Vi ser at vi får 0 i rest ved denne divisjonen. Vi kan derfor konkludere med at 19 deler 76. b) 19 131? 131 :

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

INF1800 LOGIKK OG BEREGNBARHET

INF1800 LOGIKK OG BEREGNBARHET INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55) Repetisjon

Detaljer

Repetisjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER. Mengder. Multimengder og tupler.

Repetisjon INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER. Mengder. Multimengder og tupler. INF1800 LOGIKK OG BEREGNBARHET FORELESNING 3: MENGDELÆRE, RELASJONER, FUNKSJONER Roger Antonsen Repetisjon Institutt for informatikk Universitetet i Oslo 26. august 2008 (Sist oppdatert: 2008-09-05 12:55)

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

MAT1030 Forelesning 11

MAT1030 Forelesning 11 MAT1030 Forelesning 11 Relasjoner Roger Antonsen - 25. februar 2009 (Sist oppdatert: 2009-03-03 11:37) Kapittel 5: Relasjoner Binære relasjoner Definisjon. La A være en mengde. En binær relasjon på A er

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

Høgskolen i Agder. Institutt for matematiske fag EKSAMEN

Høgskolen i Agder. Institutt for matematiske fag EKSAMEN Høgskolen i Agder Institutt for matematiske fag EKSAMEN i MA1040 Matematikk for IT-studenter Mandag 5. mai 2003, kl. 09 00 13 00 Alle trykte og skrevne hjelpemidler er tillatt. Oppgavesettet er på 7 sider.

Detaljer

Forelesning 11. Relasjoner. Dag Normann februar Oppsummering. Relasjoner. Relasjoner. Relasjoner

Forelesning 11. Relasjoner. Dag Normann februar Oppsummering. Relasjoner. Relasjoner. Relasjoner Forelesning 11 Dag Normann - 18. februar 2008 Oppsummering Vi har gjort oss ferdige med innføringen av Boolesk mengdelære. Bruk av Venn-diagrammer er et av læringsmålene i dette emnet. Vi så kort på digital

Detaljer

Vi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon.

Vi definerer en mengde ved å fortelle hva den inneholder. Vi kan definere den på listeform eller ved hjelp av en utsagnsfunksjon. Mengder En mengde (eng:set) er en uordnet samling av objekter. Vi bruker vanligvis store bokstaver, A, B, C, osv., til å betegne mengder. Objektene som inngår i mengden kalles for elementer i mengden (eller

Detaljer

Matematikk for IT, høsten 2016

Matematikk for IT, høsten 2016 Matematikk for IT, høsten 2016 Oblig 2 Løsningsforslag 6. september 2016 2.1.4 a, b, c, c, d og C a, b, c, d vgjør om en av mengdene er en delmengde til en av de to andre. Her ser vi at C og C 2.1.5. Hvilke

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

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

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

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik:

Eksempel. La A = {a, b, c, d} og B = {1, 2, 3} La f være gitt ved: f(a) = 1, f(b) = 3, f(c) = 2, f(d) = 1. Dette kan illustreres slik: Funksjoner La A og B være to mengder. En funksjon f fra A til B betegnes med f: A -> B og er en tilordning (regel) som til ethvert element a A tilordner ett og bare ett element b B. Elementet b kalles

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

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

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

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

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

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

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

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

Forelesning 31: Repetisjon

Forelesning 31: Repetisjon MAT1030 Diskret Matematikk Forelesning 31: Repetisjon Dag Normann Matematisk Institutt, Universitetet i Oslo Forelesning 31: Repetisjon 18. mai 2010 (Sist oppdatert: 2010-05-18 14:11) MAT1030 Diskret Matematikk

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

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

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

Aksiom 3.1 (Likhet av mengder). La A og B være mengder. Da er A og B like hvis og bare hvis de har akkurat de samme elementene.

Aksiom 3.1 (Likhet av mengder). La A og B være mengder. Da er A og B like hvis og bare hvis de har akkurat de samme elementene. Notat 3 for MAT1140 3 Mengder 3.1 Mengder definert ved en egenskap Det matematiske begrepet mengde har sin opprinnelse i vår intuisjon om samlinger. Objekter kan samles sammen til et nytt objekt kalt mengde.

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

En repetisjon hrj høst 2009

En repetisjon hrj høst 2009 En repetisjon hrj høst 2009 Data Maskin Data Syntaktiske objekter - endelige Mengde { } Multimengde [ ] Liste < > Symbol String = Liste av symboler Vi kan alltid finne ut om to syntaktiske objekter er

Detaljer

Matematikk 15 V-2008

Matematikk 15 V-2008 Matematikk 5 V-008 Løsningsforslag til øving 9 OPPGVE Husk at N = {alle naturlige tall} = {0,,,,... }, Z = {alle heltall} = {...,,, 0,,,,... }, R = {alle reelle tall} og = {alle komplekse tall} = { z :

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

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

Tallsystemer. Tallene x, y, z og u er gitt ved x = 2, y = 2, z = 4 og u = 2. Dermed blir =

Tallsystemer. Tallene x, y, z og u er gitt ved x = 2, y = 2, z = 4 og u = 2. Dermed blir = Tallsystemer Heltall oppgis vanligvis i det desimale tallsystemet, også kalt 10-tallssystemet. Eksempel. Gitt tallet 3794. Dette kan skrives slik: 3 1000 + 7 100 + 9 10 + 4 = 3 10 3 + 7 10 2 + 9 10 1 +

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

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Forelesning 19: Kombinatorikk

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Forelesning 19: Kombinatorikk Oppsummering MAT1030 Diskret matematikk Forelesning 19: Dag Normann Matematisk Institutt, Universitetet i Oslo 26. mars 2008 Før påske gikk vi gjennom kapitlene 1-7 i læreboka. De omfattet Eksempler på

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære MAT1030 Diskret

Detaljer

Tallsystemer. Tallene x, y, z og u er gitt ved x = 2, y = 2, z = 4 og u = 2. Dermed blir =

Tallsystemer. Tallene x, y, z og u er gitt ved x = 2, y = 2, z = 4 og u = 2. Dermed blir = Tallsystemer Heltall oppgis vanligvis i det desimale tallsystemet, også kalt 10-tallssystemet. Eksempel. Gitt tallet 3794. Dette kan skrives slik: 3 1000 + 7 100 + 9 10 + 4 = 3 10 3 + 7 10 2 + 9 10 1 +

Detaljer

Kapittel 5: Mengdelære

Kapittel 5: Mengdelære MAT1030 Diskret Matematikk Forelesning 10: Mengdelære Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 5: Mengdelære 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) MAT1030 Diskret

Detaljer

MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet

MAT1140: Partielle ordninger, Zorns lemma og utvalgsaksiomet MAT1140: Partielle ordninger, 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

Detaljer

MAT1030 Forelesning 10

MAT1030 Forelesning 10 MAT1030 Forelesning 10 Mengdelære Roger Antonsen - 24. februar 2009 (Sist oppdatert: 2009-02-25 08:27) Kapittel 5: Mengdelære Oversikt Vi har nå innført de Boolske operasjonene, union snitt komplement

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