Injektive og surjektive funksjoner

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

Download "Injektive og surjektive funksjoner"

Transkript

1 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» av Steffen Log. En funksjon er et spesialtilfelle av en relasjon fra mengden til mengden. Det er ikke noe i veien for at og kan være samme mengde.) f : Kravet for at en slik relasjon skal være en funksjon, er at hvert element i mengden må ha relasjon til nøyaktig ett element i mengden. Vi kaller da mengden for definisjonsmengden eller domenet) til f, og for kodomenet. Dersom til a, og skrive a, b) f, kaller vi b for bildet av a under f. Vi kan også si at b er funksjonsverdien. b f a) Mengden av de elementer i kodomenet som faktisk er bilder av elementer i definisjonsmengden, kalles funksjonens verdimengde. Det er altså de verdiene funksjonen kan «produsere». Verdimengden er følgelig en delmengde av kodomenet. Det kan altså ikke være slik at et element i mengden ikke har relasjon til noe element i mengden. I så fall er relasjonen ingen funksjon. Det kan heller ikke være slik at elementet mengden. Den kan bare ha relasjon til ett element. i mengden har relasjon både til b og i Men det er ikke noe i veien for at ulike elementer i har relasjon til samme element i. Så vi kan godt ha både paret a, ) og paret a, ) i relasjonsmengden. Men dersom ulike elementer i har relasjon til ulike elementer i sier vi at funksjonen er injektiv eller énentydig. Dersom alle elementer i er bilde av et element i, sier vi at funksjonen f er surjektiv. ltså: dersom funksjonen skal være surjektiv må alle elementer i kodomenet «være i bruk», altså alle må forekomme som andre element i et ordnet par i relasjonsmengden. En annen måte å si dette på, er at verdimengden må være lik kodomenet for at funksjonen skal være surjektiv. En funksjon som er både injektiv og surjektiv, kalles bijektiv. På de følgende sidene er det noen eksempler for å illustrere disse begrepene.

2 Eksempel ikke en funksjon 3 Her har vi en relasjon fra til gitt ved relasjonsmengden a, b ), a, ) Denne relasjonen er ikke en funksjon fordi ikke alle elementer i har relasjon til elementer i. Dette skyldes altså at mangler relasjon til noe element i. Eksempel ikke en funksjon 3 Her har vi en relasjon fra til gitt ved relasjonsmengden a, b ), a, b ), a, ) Denne relasjonen er ikke en funksjon fordi elementet a har relasjon til både b. og 3

3 Eksempel 3 en funksjon, men hverken injektiv eller surjektiv 3 Her har vi en relasjon fra til gitt ved relasjonsmengden a, b ), a, b ), a, ) Siden alle elementer i har relasjon til nøyaktig ett element i, er dette en funksjon. Men siden både og har relasjon til bilde av noe element i, er funksjonen ikke surjektiv., er funksjonen ikke injektiv. Og siden b 3 ikke er Eksempel 4 en funksjon, injektiv men ikke surjektiv b3 Her har vi en relasjon fra til gitt ved relasjonsmengden a, b ), a, ) Siden alle elementer i har relasjon til nøyaktig ett element i, er dette en funksjon. Og fordi alle elementer i har relasjon til ulike elementer i, er funksjonen injektiv. Men siden ikke er bilde av noe element i, er ikke funksjonen surjektiv. 3

4 Eksempel 5 en funksjon, surjektiv men ikke injektiv 3 Her har vi en relasjon fra til gitt ved relasjonsmengden a, b ), a, b ), a, ) Siden alle elementer i har relasjon til nøyaktig ett element i, er dette en funksjon. Men siden både a og a har relasjon til b, er funksjonen ikke injektiv. Imidlertid er alle elementer i bilde av minst ett element i, og funksjonen er følgelig surjektiv. Eksempel 6 en funksjon, både injektiv og surjektiv 3 3 Her har vi en relasjon fra til gitt ved relasjonsmengden a, b ), a, b ), a, ) Siden alle elementer i har relasjon til nøyaktig ett element i, er dette en funksjon. Og siden alle elementer i har relasjon til ulike elementer i, er funksjonen injektiv. Og siden alle elementer i er bilde av minst ett element i, er funksjonen også surjektiv. Funksjonen er følgelig bijektiv. Eksempel 7 en funksjon, injektiv men ikke surjektiv Gitt en relasjon f : Z Z ved f x) x Denne relasjonen er en funksjon fordi hvert element i definisjonsmengden Z har relasjon til nøyaktig ett element i kodomenet Z. 4

5 Funksjonen er også injektiv, fordi ulike elementer i definisjonsmengden har ulike bilder i kodomenet. ltså at to ulike x-verdier aldri gir samme funksjonsverdi. Den er imidlertid ikke surjektiv. Dette kan vi kanskje lettest se ved å regne ut noen funksjonsverdier. Vi ser for eksempel at f ) 3,, og. Vi ser at alle funksjonsverdier er oddetall. Det betyr at partallene ikke er bilde av noe element i definisjonsmengden. Dette kan vi illustrere slik: f 0) f ) f ) 3 Z Z Fordi det finnes elementer i kodomenet som ikke er bilde av elementer i definisjonsmengden, er funksjonen ikke surjektiv. Eksempel 8 en funksjon, injektiv og surjektiv Gitt en relasjon f : R R ved f x) x Dette er den samme relasjonen som i forrige eksempel, men med annen definisjonsmengde og annet kodomene fordi den nå er definert fra R til R, mens funksjonen i forrige eksempel var definert fra Z til Z). v samme grunner som i forrige eksempel, er denne relasjonen en funksjon, og funksjonen er injektiv. Men i motsetning til forrige eksempel er denne funksjonen også surjektiv. Dette skyldes at definisjonsmengden består av de reelle tall, og alle tall i kodomenet er et bilde av et element i definisjonsmengden. For eksempel skaper ikke lenger partallene i kodomenet noe problem. 0 vil for eksempel være bildet av 0.5, altså at f 0.5) 0, og vil være bildet av.5. Vi ser altså at hvorvidt en funksjon er injektiv og surjektiv ikke kun avhenger av funksjonsdefinisjonen, men også av definisjonsmengden og kodomenet. Denne funksjon er altså bijektiv, og den har følgelig en invers funksjon. Vi kan i dette tilfellet finne den inverse funksjonen ved å løse ligningen for funksjonsuttrykket y x med hensyn på x, noe som gir: x y 5

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

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

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

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

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

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

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

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

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

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

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

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

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 1 (TMA4100)

Matematikk 1 (TMA4100) Matematikk 1 (TMA4100) Forelesning 2: Funksjoner (fortsettelse) Eirik Hoel Høiseth Stipendiat IMF NTNU 16. august, 2012 Eksponentialfunksjoner Eksponentialfunksjoner Definisjon: Eksponentialfunksjon En

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

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

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

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

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

Oppfriskningskurs dag 2

Oppfriskningskurs dag 2 Grafer og Oppfriskningskurs dag 2 Grafer og Steffen Junge Oppfriskningskurs i matematikk 3.-8. august 2009 Grafer og Outline 1 Grafer og Outline Grafer og 1 Grafer og Grafer og Vi ser på ligninger av to

Detaljer

TMA4100 Matematikk 1 Høst 2014

TMA4100 Matematikk 1 Høst 2014 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag TMA400 Matematikk Høst 04 Løsningsforslag Øving 04 30 For å vise at f er en injektiv one-to-one funksjon, ser vi på den deriverte,

Detaljer

INVERST FUNKSJONSTEOREM MAT1100 KALKULUS

INVERST FUNKSJONSTEOREM MAT1100 KALKULUS INVERST FUNKSJONSTEOREM MAT1100 KALKULUS Simon Foldvik 29. Oktober 2017 1. Introduksjon Vi skal i dette dokumentet bevise en global og en lokal versjon av inverst unksjonsteorem i én variabel. Kort oppsummert

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

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

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

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

MAT 1110: Bruk av redusert trappeform

MAT 1110: Bruk av redusert trappeform Tom Lindstrøm 10/5, 2006: MAT 1110: Bruk av redusert trappeform I Lays bok brukes den reduserte trappeformen til matriser til å løse en rekke problemer knyttet til ligningssystemer, lineærkombinasjoner,

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

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

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

INF1800 Forelesning 2

INF1800 Forelesning 2 INF1800 Forelesning 2 Mengdelære Roger Antonsen - 20. august 2008 (Sist oppdatert: 2008-09-03 12:36) Mengdelære Læreboken Det meste av det vi gjør her kan leses uavhengig av boken. Følgende avsnitt i boken

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

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

Forelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner

Forelesning 14. Rekursjon og induksjon. Dag Normann februar Oppsummering. Oppsummering. Beregnbare funksjoner Forelesning 14 og induksjon Dag Normann - 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt om ekvivalensrelasjoner og partielle ordninger. Vi snakket videre om funksjoner.

Detaljer

Mengdelære INF1800 LOGIKK OG BEREGNBARHET FORELESNING 2: MENGDELÆRE. Læreboken. Mengder. Definisjon (Mengde) Roger Antonsen

Mengdelære INF1800 LOGIKK OG BEREGNBARHET FORELESNING 2: MENGDELÆRE. Læreboken. Mengder. Definisjon (Mengde) Roger Antonsen INF1800 LOGIKK OG BEREGNBARHET FORELESNING 2: MENGDELÆRE Roger Antonsen Mengdelære Institutt for informatikk Universitetet i Oslo 20. august 2008 (Sist oppdatert: 2008-09-03 12:36) Læreboken Mengder Definisjon

Detaljer

INF1800 LOGIKK OG BEREGNBARHET

INF1800 LOGIKK OG BEREGNBARHET INF1800 LOGIKK OG BEREGNBARHET FORELESNING 2: MENGDELÆRE Roger Antonsen Institutt for informatikk Universitetet i Oslo 20. august 2008 (Sist oppdatert: 2008-09-03 12:36) Mengdelære Læreboken Det meste

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 14: Rekursjon og induksjon Dag Normann Matematisk Institutt, Universitetet i Oslo 27. februar 2008 Oppsummering Mandag repeterte vi en del om relasjoner, da spesielt

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

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

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

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

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

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

f (x) = a x k der tallet a og eksponenten k kan være både positive og negative tall. Et eksempel på en potensfunksjon med negativ eksponent er

f (x) = a x k der tallet a og eksponenten k kan være både positive og negative tall. Et eksempel på en potensfunksjon med negativ eksponent er 7.5 Potensfunksjoner Funksjonen f gitt ved f () = 3 er et eksempel på en potensfunksjon. For alle potensfunksjoner er funksjonsuttrykket på formen f () = a k der tallet a og eksponenten k kan være både

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

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

TMA 4140 Diskret Matematikk, 4. forelesning

TMA 4140 Diskret Matematikk, 4. forelesning TMA 4140 Diskret Matematikk, 4. forelesning Haaken Annfelt Moe Department of Mathematical Sciences Norwegian University of Science and Technology (NTNU) September 9, 2011 Haaken Annfelt Moe (NTNU) TMA

Detaljer

Preludium til et kurs i Reell Analyse våren 2017

Preludium til et kurs i Reell Analyse våren 2017 Preludium til et kurs i Reell Analyse våren 2017 Snorre H. Christiansen 8. februar 2017 1 0 Innledningsvis 0.1 Om kurset Dette kurset er både tilbake- og fremover-skuende. Tilbakeskuende i den forstand

Detaljer

MAT Grublegruppen Notat 10

MAT Grublegruppen Notat 10 MAT1100 - Grublegruppen Notat 10 Jørgen O. Lye Ringer Vi fortsetter i et lynkurs i algebraiske dyr. Først ut er ringer. En ring A (også kalt R) er en abelsk gruppe med addisjon + som operasjon. I tillegg

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

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

12 Lineære transformasjoner

12 Lineære transformasjoner 2 Lineære transformasjoner 2 Funksjoner Definisjon 2 En funksjon ( a function) f : A B er en regel, som tilordner en entydig bestemt verdi f (a) B til ethvert element a A Mengden A kalles domenet til f

Detaljer

MAT1030 Forelesning 14

MAT1030 Forelesning 14 MAT1030 Forelesning 14 Mer om funksjoner Dag Normann - 3. mars 2010 (Sist oppdatert: 2010-03-03 15:01) Kapittel 6: Funksjoner Injektive funksjoner Igår begynte vi på kapitlet om funksjoner f : X Y, og

Detaljer

Repetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen

Repetisjon. MAT1030 Diskret Matematikk. Oppsummering. Oppsummering. Forelesning 15: Rekursjon og induksjon. Roger Antonsen MAT1030 Diskret Matematikk Forelesning 15: og induksjon Roger Antonsen Institutt for informatikk, Universitetet i Oslo Repetisjon 11. mars 2009 (Sist oppdatert: 2009-03-10 20:38) MAT1030 Diskret Matematikk

Detaljer

Kapittel 6: Funksjoner

Kapittel 6: Funksjoner MAT1030 Diskret Matematikk Forelesning 14: Mer om funksjoner Dag Normann Matematisk Institutt, Universitetet i Oslo Kapittel 6: Funksjoner 3. mars 2010 (Sist oppdatert: 2010-03-03 15:00) MAT1030 Diskret

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

NOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT112 VED UNIVERSITETET I BERGEN

NOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT112 VED UNIVERSITETET I BERGEN NOTAT OM UNIFORM KONTINUITET VEDLEGG TIL BRUK I KURSET MAT2 VED UNIVERSITETET I BERGEN ANDREAS LEOPOLD KNUTSEN OG ARNE STRAY. Innledning og definisjoner Vi vil i dette notatet betrakte reelle funksjoner

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

MAT1030 Plenumsregning 10 MAT1030 Plenumsregning 10 Ukeoppgaver Mathias Barra - 20. mars 2009 (Sist oppdatert: 2009-03-30 09:38) Oppgave 6.1 Avgjør hvorvidt følgende funksjoner er veldefinerte. For de som er veldefinerte, gi definisjonsområdet,

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

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

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

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

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

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014

Oppgaver MAT2500. Fredrik Meyer. 29. august 2014 Oppgaver MAT500 Fredrik Meyer 9. august 04 Oppgave. Bruk cosinus-setningen til å se at definisjonen av vinkel i planet blir riktig. Løsning. Dette er en litt rar oppgave. Husk at cosinus-setningen sier

Detaljer

MA0002 Brukerkurs i matematikk B Vår 2014

MA0002 Brukerkurs i matematikk B Vår 2014 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag MA0002 Brukerkurs i matematikk B Vår 2014 Løsningsforslag Øving 8 Oppgaver fra boken: 10.1 : 13, 14, 18 10.2 : 15, 18, 32 10.3

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

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

De hele tall har addisjon, multiplikasjon, subtraksjon og lineær ordning, men ikke divisjon.

De hele tall har addisjon, multiplikasjon, subtraksjon og lineær ordning, men ikke divisjon. Innledning til Matematikk Hans Petter Hornæs, hans.hornaes@hig.no Det er ofte vanskelig å komme i gang et fag. Innledningsvis er det gjerne en del grunnleggende begreper som må på plass. Mange studenter

Detaljer

Analyse og metodikk i Calculus 1

Analyse og metodikk i Calculus 1 Analyse og metodikk i Calculus 1 Fredrik Göthner og Raymi Eldby Norges teknisk-naturvitenskapelige universitet 3. desember 01 1 Innhold Forord 3 1 Vurdering av grafer og funksjoner 4 1.1 Hva er en funksjon?.........................

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

Trasendentale funksjoner

Trasendentale funksjoner Trasendentale funksjoner Department of Mathematical Sciences, NTNU, Norway September 9, 2014 Kap. 3.1 og 3.2. Forelesning 8. September. Inverse funksjoner, definisjon og eksistens Deriverte av inverse

Detaljer

Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe.

Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. 8. november 2005 c Vladimir Oleshchuk 35. Teorem 11 (Z n, ) er en endelig abelsk gruppe. Endelige grupper Teorem 10 (Z n, + n ) er en endelig abelsk gruppe. En gruppe er en mengde S sammen med en binær operasjon definert på S, betegnes (S, ), med følgende egenskaper: 1. a, b S, a b S 2. det

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Plenumsregning 6: Ukeoppgaver fra kapittel 5 Roger Antonsen Matematisk Institutt, Universitetet i Oslo 21. februar 2008 Oppgave 5.1 Skriv følgende mengder på listeform. (a) Mengden

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

Løsningsforslag til øving 12

Løsningsforslag til øving 12 Høgskolen i Gjøvik vd. for tekn., øk. og ledelse Matematikk 5 Løsningsforslag til øving OPPGVE Husk at N {alle naturlige tall} { 0,,,,... }, Z {alle heltall} {...,,,0,,,,... }, R {alle reelle tall} og

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

En (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x).

En (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x). Funksjoner En (reell) funksjon f fra en (reell) mengde D er en regel som til hvert element x D tilordner en unik verdi y = f (x). Mengden D kalles definisjonsmengden (eng.: domain) til f. Merknad Dersom

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

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

Funksjoner og andregradsuttrykk

Funksjoner og andregradsuttrykk 88 4 Funksjoner og andregradsuttrykk Mål for opplæringen er at eleven skal kunne bruke matematiske metoder og hjelpemidler til å løse problemer fra ulike fag og samfunnsområder løse likninger, ulikheter

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

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

Partielle ordninger, Zorns lemma og utvalgsaksiomet

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

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 10: Ukeoppgaver Mathias Barra Matematisk institutt, Universitetet i Oslo 20. mars 2009 (Sist oppdatert: 2009-03-30 09:38) Oppgave 6.1 Avgjør hvorvidt følgende

Detaljer

Hans Petter Hornæs,

Hans Petter Hornæs, Innledning til Matematikk Hans Petter Hornæs, hans.hornaes@hig.no Det er ofte vanskelig å komme i gang et fag. Innledningsvis er det gjerne en del grunnleggende begreper som må på plass. Mange studenter

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

Datatyper 2 generatorbasis for T er en endelig mengde T -produsenter som En utspenner hele verdimengden V tilsammen T. utgangspunktet kunne en type ha

Datatyper 2 generatorbasis for T er en endelig mengde T -produsenter som En utspenner hele verdimengden V tilsammen T. utgangspunktet kunne en type ha datatype T representerer en mengde verdier, V En T (av type T )., er praktisk også å assosiere med T en mengde funksjoner, Det uten T i domenet kalles en (relativ) T -konstant. T - produsent med kodomene

Detaljer

Lineær algebra. 0.1 Vektorrom

Lineær algebra. 0.1 Vektorrom Lineær algebra Siden dette temaet er alt for stort til å kunne gjennomgås på en halvtime, med alle de teoremene og denisjonene som skal til, har jeg laget dette notatet. Det bygger hovedsakelig på notatene

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

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