UNIVERSITETET I OSLO

Save this PDF as:
 WORD  PNG  TXT  JPG

Størrelse: px
Begynne med side:

Download "UNIVERSITETET I OSLO"

Transkript

1 UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1080 Logiske metoder for informatikk Eksamensdag: 27. desember 2015 Tid for eksamen: :15 Oppgave 1 Grunnleggende mengdelære (10 poeng) A = {1, 2} B = {1, {1, 2}} (a) [1 poeng] Er det slik at 1 A? Ja. (b) [1 poeng] Er det slik at A B? Ja. (c) [1 poeng] Er det slik at C D? Nei. (d) [1 poeng] Er det slik at E F? Nei. (e) [1 poeng] Regn ut B \ A. B \ A = {1, {1, 2}} \ {1, 2} = {{1, 2}} (f) [1 poeng] Regn ut C D. C D = {{1}, {2}} {{1}, {1, 2}} = {{1}} (g) [1 poeng] Regn ut E F. C = {{1}, {2}} E F = {{2}} {, {1, 2}} = {{2},, {1, 2}} D = {{1}, {1, 2}} (h) [1 poeng] Regn ut (A B) (C D). (Fortsettes på side 2.) E = {{2}} F = {, {1, 2}}

2 (A B) (C D) = {1, 2, {1, 2}} {{1}, {2}, {1, 2}} = {{1, 2}} (i) [2 poeng] Vi har at E X og E X for én av mengdene oppgitt i oppgaven. Hva er X? Forklar kort hvorfor det er slik. Det er slik at E C og E X, og X må derfor være lik C. Ethvert element i E er også et element i C: Det eneste elementet i E er {2}, og {2} er et element i C. Mengdene er også forskjellige, fordi C inneholder {1}. Mengden C er også den eneste mengden X slik at dette holder. Oppgave 2 Utsagnslogikk (10 poeng) La M være mengden som består av følgende to formler: P Q og P Q. (a) [2 poeng] Avgjør om M er oppfyllbar eller ikke. Hvis M er oppfyllbar, gi en valuasjon som oppfyller M; hvis ikke, forklar hvorfor M ikke er oppfyllbar. Ja, M er oppfyllbar. Envher valuasjon som gjør P usann vil gjøre begge formlene sanne. (b) [2 poeng] Avgjør om M er falsifiserbar eller ikke. Hvis M er falsifiserbar, gi en valuasjon som falsifiserer M; hvis ikke, forklar hvorfor M ikke er falsifiserbar. Nei, M er ikke falsifiserbar: En valuasjon som falsifiserer P Q, må gjøre Q usann. En valuasjon som falsifiserer P Q, må gjøre Q sann. Derfor finnes det ingen valuasjon som falsifiserer begge formlene. La F stå for formelen (P (Q P)) Q. (c) [2 poeng] Sett opp en sannhetsverditabell for F. P Q (P (Q P)) Q (d) [2 poeng] Er F gyldig? Begrunn svaret ditt. 2

3 Nei, F er ikke gyldig. Det er fordi F kan gjøres usann: Valuasjonen i siste rad i sannhetsverditabellen viser dette. Her er P og Q begge usanne. Da blir F også usann. (e) [2 poeng] Finn en formel med kun én utsagnsvariabel, som er ekvivalent med F. Q Oppgave 3 Hypoteser og moteksempler (10 poeng) For hver av følgende påstander skal du finne ut om den er sann eller usann. Hvis du mener at påstanden er sann, gi et kort argument for hvorfor. Hvis du mener at den er usann, finn et moteksempel eller forklar hvorfor det ikke kan være slik. (a) [2 poeng] Det finnes en formel som er både oppfyllbar og falsifiserbar. Dette er sant. Formelen P er både oppfyllbar og falsifiserbar. (b) [2 poeng] Hvis A B, så A (B C). Dette er sant. Anta ethvert element i A er et element i B. Da må ethvert element i A være et element i B eller C. (c) [2 poeng] Hvis M og N er to ikke-tomme mengder, så finnes det alltid en funksjon f : M N som er injektiv. Dette er usant. Hvis N har ekte mindre kardinalitet enn M, er ikke dette mulig. For eksempel hvis M = {1, 2} og N = {1}. (d) [2 poeng] Formelen (P Q) er en logisk konsekvens av formelen (P Q). Dette er sant. Hvis (P Q) er sann, må P være sann og Q usann. Da blir P Q usann og (P Q) sann. (e) [2 poeng] Hvis funksjonene A og A er definert på den samme mengden slik at A(X) = X {a} og A (X) = X \ {a}, så er A og A inverse funksjoner. Dette er usant. Vi kan se at A er ikke en bijeksjon ved å se på hva som skjer hvis argumentet er {a}. Da vil A({a}) = A( ) = {a}. 3

4 Oppgave 4 Egenskaper ved funksjoner (10 poeng) (a) [4 poeng] Forklar hva som skiller funksjoner fra relasjoner. Du må finne minst én egenskap som enhver funksjon har, men som ikke alle relasjoner har. En funksjon fra A til B er en binær relasjon f fra A til B slik at for enhver x A, er det nøyaktig ett element y B slik at x, y f. Det er nøyaktig dette som skiller funksjoner fra relasjoner. (b) [4 poeng] Forklar hva det vil si at en funksjon er injektiv eller en-til-en. Det betyr at intuitivt at to forskjellige elementer sendes til to forskjellige elementer. En mer teknisk måte å si det på er at en funksjon f : A B er injektiv eller en-til-en hvis det for alle elementer x og y i A er slik at hvis x y, så f(x) f(y). (c) [2 poeng] Har alle funksjoner en invers? Gi en kort begrunnelse. Nei, kun bijektive funksjoner, eller en-til-en korrespondanser, har inverser. Oppgave 5 Kombinatorikk (10 poeng) La A være en mengde med tre elementer, og la B være en mengde med fire elementer. (a) [2 poeng] Hvor mange elementer er det i A B? 12 (b) [2 poeng] Hvor mange relasjoner finnes det fra A til B? 2 12 = 4096 (c) [2 poeng] Hvor mange funksjoner finnes det fra A til B? 4 3 = 64 (d) [2 poeng] Hvor mange av disse funksjonene er injektive? = 24 (e) [2 poeng] Regn ut ( )

5 ( 10 2 ) = 10 9 = Oppgave 6 Induktivt definerte mengder (10 poeng) La P være språket over alfabetet {,, } som er induktivt definert på følgende måte: 1. Λ P 2. Hvis X P, så X P. (a) [2 poeng] Er strengen med i P? Forklar kort. 3. Hvis X P, så X P. 4. Hvis X P, så X P. Ja, denne strengen er med. Den kom med på følgende måte: Λ P P P P P (b) [2 poeng] Inneholder P alle strenger over alfabetet {,, }? Forklar kort. Nei, P inneholder for eksempel ikke noen strenger som inneholder et oddetall antall av. Strengen er ikke med i P. La f være funksjonen på P som er definert rekursivt på følgende måte: 1. f(λ) = Λ 2. f( X ) = X (c) [2 poeng] Regn ut f( ). f( ) = f( ) = 3. f(x ) = f(x) 4. f(x ) = f(x) (d) [2 poeng] Er det slik at f(x) = f(f(x)) for alle X? Hvis ja, forklar hvorfor. Hvis nei, finn et moteksempel. Nei, f( ) = og f(f( )) = Λ. (e) [2 poeng] Forklar kort med egne ord hva denne funksjonen gjør. 5

6 Funksjonen leser en streng fra høyre mot venstre og fjerner alle forekomster av og inntil den kommer til en streng som begynner og slutter med. Da returnerer funksjonen det mellom de to forekomstene av. Oppgave 7 Litt abstrakt algebra (10 poeng) (a) [2 poeng] Hva skal til for at en binær funksjon er en operasjon? Definisjonsområdet og verdiområdet til funksjonen må være den samme mengden. (b) [6 poeng] For hver av følgende operasjoner, avgjør om det finnes et identitetselement for denne operasjonen. Hvis det gjør det, spesifiser et slikt identitetselement. 1. : P(U) 2 P(U) Her er et identitetselement. 2. : P(U) 2 P(U) Her er U er identitetselement. 3. \ : P(U) 2 P(U) (Anta at U.) Her finnes det ikke noe identitetselement : Z 2 Z Her er 0 et identitetselement. 5. : Z 2 Z Her finnes det ikke noe identitetselement. 6. Konkateneringsoperasjonen på strenger. Her er Λ, den tomme strengen, et identitetselement. (c) [2 poeng] Hvilke av funksjonene over er idempotente? 6

7 Funksjonene og er idempotente. Oppgave 8 Bevis og naturlig deduksjon (10 poeng) (a) [2 poeng] Hvilke regler i naturlig deduksjon gjør at vi kan lukke antakelser? Det er kun reglene I, RAA og E som gjør at vi kan lukke antakelser. (b) [3 poeng] Gi en utledning av P med (Q Q) som eneste åpne antakelse. Q Q Q Q E E Q Q E P (c) [5 poeng] Gi et bevis for formelen (Q P) ( Q P) i naturlig deduksjon. Q 1 2 P I 3 3 I Q P (Q P) Q I1 E Q P (Q P) ( Q P) Q P (Q P) P I I 3 I2 Oppgave 9 Førsteordens logikk (20 poeng) Anta at vi har et førsteordens språk med to binære relasjonssymboler, D og L. La M være modellen med domene P({a, b, c}), hvor D tolkes som delmengderelasjonen og at L tolkes som likhetsrelasjonen. Avgjør om følgende formler er sanne eller usanne i modellen M. Gi korte begrunnelser for hvert enkelt svar. (a) [2 poeng] x(lxx Dxx) Sann. Det fins et element i P(U) som er lik seg selv, og som er en delmengde av seg selv, for eksempel {a}. (b) [2 poeng] x y(dxy Dyx) 7 E

8 Usann. Delmengderelasjonen er ikke symmetrisk: Det finnes to mengder, x og y, slik at x er inneholdt i y, men ikke omvendt. For eksempel, x = {a} og y = {a, b}. (c) [2 poeng] x ylxy Usann. Det finnes forskjellige elementer i domenet, for eksempel {a} og {b}. (d) [2 poeng] x ydxy Sann. Det fins en mengde, nemlig den tomme mengden, som er inneholdt i alle mengder. (e) [2 poeng] x y( Lxy Dxy) Usann. Et moteksempel er mengden U. Hvis x er lik {a, b, c}, så fins det ingen y forskjellig fra x slik at Dxy. Med andre ord finnes det ingen mengde som er ekte større enn {a, b, c}. Finn førsteordens formler som representerer følgende setninger: (f) [2 poeng] Ingen mengde er en delmengde av seg selv. xdxx eller x Dxx (g) [2 poeng] Likhetsrelasjonen er ikke refleksiv. xlxx eller x Lxx (h) [2 poeng] Alle mengder har en delmengde. x ydyx (i) [2 poeng] Delmengderelasjonen er transitiv. x y z(dxy Dyz Dxz) (j) [2 poeng] Delmengderelasjonen er antisymmetrisk. x y(dxy Dyx Lxy) 8

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

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

Emne 13 Utsagnslogikk

Emne 13 Utsagnslogikk Emne 13 Utsagnslogikk Et utsagn er en erklæring som er entydig sann eller usann, men ikke begge deler. Noen eksempler på (ekte) utsagn: Utsagn : Gjøvik har bystatus er sann ( i alle fall pr. dags dato

Detaljer

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

Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand.

Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Utsagnslogikk. Et utsagn (eng: proposition) er en erklærende setning som enten er sann eller usann. Vi kaller det gjerne en påstand. Eksempler: Avgjør om følgende setninger er et utsagn, og i så fall;

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

Kapittel 4: Logikk (predikatlogikk)

Kapittel 4: Logikk (predikatlogikk) MAT1030 Diskret Matematikk Forelesning 7: Logikk, predikatlogikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 4: Logikk (predikatlogikk) 10. februar 2009 (Sist oppdatert: 2009-02-11

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

Utvalgsaksiomet, velordningsprinsippet og Zorns lemma

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

Detaljer

MAT1030 Diskret Matematikk

MAT1030 Diskret Matematikk MAT1030 Diskret Matematikk Forelesning 4: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 27. januar 2010 (Sist oppdatert: 2010-01-27 12:47) Kapittel 4: Logikk (fortsettelse) MAT1030 Diskret

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

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

MAT1030 Forelesning 7

MAT1030 Forelesning 7 MAT1030 Forelesning 7 Logikk, predikatlogikk Dag Normann - 9. februar 2010 (Sist oppdatert: 2010-02-09 14:24) Kapittel 4: Logikk (predikatlogikk) Predikatlogikk Vi brukte hele forrige uke til å innføre

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

Logikk og vitenskapsteori

Logikk og vitenskapsteori Logikk og vitenskapsteori Logikk og argumentasjon Vitenskapelige idealer, forklaringsmodeller og metoder Verifikasjon og falsifikasjon Vitenskap og kvasi-vitenskap (Logisk positivisme, Popper) Vitenskapelig

Detaljer

Livsløp, utvalgsstrukturer og ordningsrelasjoner. Morten Rognes

Livsløp, utvalgsstrukturer og ordningsrelasjoner. Morten Rognes 1 * Livsløp, utvalgsstrukturer og ordningsrelasjoner * Morten Rognes 1980 * 2 INNHOLD Del I... 3 1 En teori om livsløp, det ideelt gode liv og verdener som er bedre enn andre.... 4 1.1 Språket til TML....

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

QED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter

QED 1 7. Matematikk for grunnskolelærerutdanningen. Bind 2. Fasit kapittel 1 Tallenes hemmeligheter QED 1 7 Matematikk for grunnskolelærerutdanningen Bind 2 Fasit kapittel 1 Tallenes hemmeligheter Kapittel 1 Oppgave 8. Nei Oppgave 9. Det nnes ikke nødvendigvis et minste element i mengden. Et eksempel

Detaljer

I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser

I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser Forelesning 5 Logikk Dag Normann - 28. januar 2008 Oppsummering av Kapittel 3 I Kapittel 3 så vi på hvordan data, som hele tall og reelle tall, kan representeres som bitsekvenser i en datamaskin. Stoffet

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

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

LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301

LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 LØSNINGSFORSLAG EKSAMEN VÅR07, MA0301 Oppgave 1 Om mengder. a) (10%) Sett opp en medlemsskapstabell (membership

Detaljer

Kapittel 5. Trær og nettverk. 5.1 Trær og Fibonacci-følgen

Kapittel 5. Trær og nettverk. 5.1 Trær og Fibonacci-følgen Kapittel 5 Trær og nettverk Vi har sett at anvendelser av differenslikninger studerer fenomener som skjer i adskilte tidsrom, dvs. vi ser på diskrete anvendelser (jfr. Seksjon 1.3). I dette kapittelet

Detaljer

v : T, kan bare ha verdi av typen T. n =0 slyfes alltid parentesene. Typet uttrykkssprak type representerer en verdimengde. variabel, deklarert funksjon, herunder karakteriseres syntaktisk ved a angi navn

Detaljer

MA1301 Tallteori Høsten 2014

MA1301 Tallteori Høsten 2014 MA1301 Tallteori Høsten 014 Richard Williamson 1. august 015 Innhold Forord 7 1 Induksjon og rekursjon 9 1.1 Naturlige tall og heltall............................ 9 1. Bevis.......................................

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

Diskret matematikk tirsdag 15. september 2015

Diskret matematikk tirsdag 15. september 2015 Avsnitt 2.2 fra læreboka Mengdeoperasjoner Tema for forelesningen: Snittet av to mengder Disjunkte mengder Union av to mengder Eksklusiv union (symmetrisk differens) av to mengder Differensen mellom to

Detaljer

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel

Oppsummering. MAT1030 Diskret matematikk. Oppsummering. Oppsummering. Eksempel MAT1030 Diskret matematikk Forelesning 26: Trær Sist forelesning snakket vi i hovedsak om trær med rot, og om praktisk bruk av slike. rot Dag Normann Matematisk Institutt, Universitetet i Oslo barn barn

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

R2-01.09.14 - Løsningsskisser

R2-01.09.14 - Løsningsskisser R - 0.09.4 - Løsningsskisser Algebra Oppgave Finn den eksplisitte formelen for n te ledd i tallfølgene: a), 4, 6, 8, 0,... b),, 5, 7, 9,... c), 4, 9, 6, 5,... d),, 4, 5 4, 6 5,... a) Vi ser at følgen med

Detaljer

Aksepterbarhet og troverdighetsgrad

Aksepterbarhet og troverdighetsgrad Side 1 * Aksepterbarhet og troverdighetsgrad * Morten Harboe Rognes 2013 * Side 2 1 Innledning I en rekke tidligere arbeider, som vi her forutsetter at leseren er fortrolig med 1, beskrev og utviklet vi

Detaljer

Morfologiske operasjoner på binære bilder

Morfologiske operasjoner på binære bilder Digital bildebehandling Forelesning 13 Morfologiske operasjoner på binære bilder Andreas Kleppe Repetisjon av grunnleggende mengdeteori Fundamentale operatorer Sammensatte operatorer Eksempler på anvendelser

Detaljer

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet

UNIVERSITETET I OSLO. Det matematisk-naturvitenskapelige fakultet UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: INF 4130: lgoritmer: Design og effektivitet Eksamensdag: 12. desember 2008 Tid for eksamen: Kl. 09:00 12:00 (3 timer) Oppgavesettet

Detaljer

KAPITTEL 3 Litt logikk og noen andre småting

KAPITTEL 3 Litt logikk og noen andre småting KAPITTEL 3 Litt logikk og noen andre småting Logikk er sentralt både i matematikk og programmering, og en innføring i de enkleste delene av logikken er hovedtema i dette kapitlet I tillegg ser vi litt

Detaljer

Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1... (4%) = 5 4 3 2 1 = 10 = 520 519

Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1... (4%) = 5 4 3 2 1 = 10 = 520 519 Eksamen 2. desember 2014 Eksamenstid 4 timar IR201712 Diskret Matematikk Ingen hjelpemiddel er tillatne. Ta med all mellomrekning som trengst for å grunngje svaret. Oppgåve 1.......................................................................................

Detaljer

Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori. Ruben Spaans

Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori. Ruben Spaans Et noget ukomplett oppslagsverk for TMA4150 Algebra og tallteori Ruben Spaans August 19, 2007 2 Part I Leksikon 3 Chapter 1 Alfabetisk oppslagsverk, for alle, kvantifikator. Brukes i forbindelse med utsagn,

Detaljer

Avsluttende eksamen i TDT4125 Algoritmekonstruksjon, videregående kurs

Avsluttende eksamen i TDT4125 Algoritmekonstruksjon, videregående kurs TDT4125 2010-06-03 Kand-nr: 1/5 Avsluttende eksamen i TDT4125 Algoritmekonstruksjon, videregående kurs Eksamensdato 3. juni 2010 Eksamenstid 0900 1300 Sensurdato 24. juni Språk/målform Bokmål Kontakt under

Detaljer

INNHOLD. Eksamen R1 vår 2008 - Hele oppgavesettet Eksamen R1 vår 2009 - Hele oppgavesettet. Side. Oppgave 1 vår 2008 1

INNHOLD. Eksamen R1 vår 2008 - Hele oppgavesettet Eksamen R1 vår 2009 - Hele oppgavesettet. Side. Oppgave 1 vår 2008 1 INNHOLD Eksamen R1 vår 2008 - Hele oppgavesettet Eksamen R1 vår 2009 - Hele oppgavesettet Side Oppgave 1 vår 2008 1 Oppgave 1a vår 2008 2 Teori oppgave 1a Vår 2008 2 Derivasjonsreglene 2 Derivasjon av

Detaljer

Noen syntaktiske derivasjoner i den doxastiske predikatlogikken Kη og enkelte beslektede kalkyler.

Noen syntaktiske derivasjoner i den doxastiske predikatlogikken Kη og enkelte beslektede kalkyler. Side 1 * Noen syntaktiske derivasjoner i den doxastiske predikatlogikken Kη og enkelte beslektede kalkyler. av Morten Rognes 2007 * Side 2 1 Innledning I det følgende notat skal jeg fremstille en rent

Detaljer

Dagens tema: Begrepsdannelse Eksterne entydighetsskranker Verdiskranker Mengdeskranker Underbegreper og underbegrepsskranker Kombinerte totale roller

Dagens tema: Begrepsdannelse Eksterne entydighetsskranker Verdiskranker Mengdeskranker Underbegreper og underbegrepsskranker Kombinerte totale roller UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Begrepsdannelse Eksterne entydighetsskranker Verdiskranker Mengdeskranker Underbegreper og underbegrepsskranker Kombinerte totale roller

Detaljer

Logikk. Utsagn. Kapittel 1. Kapittel 1 LOGIKK Side 1

Logikk. Utsagn. Kapittel 1. Kapittel 1 LOGIKK Side 1 Kapittel 1 Logikk Logikk er viktig i mange sammenhenger, for eksempel når vi skal argumentere for en sak, når vi skal bygge, programmere og bruke datamaskiner og når vi skal gjennomføre bevis i matematikken.

Detaljer

Hvor sikker er sikker viten?

Hvor sikker er sikker viten? Hvor sikker er sikker viten? Av Alfred Bratterud August 2007 Sokrates sa at det eneste han visste var at han intet visste. Kunne han egentlig vite det? Vi vet egentlig ingen ting helt sikkert. Vi kan i

Detaljer

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 )

Euklids algoritmen. p t 2. 2 p t n og b = p s 1. p min(t 2,s 2 ) For å finne største felles divisor (gcd) kan vi begrense oss til N, sidenfor alle a, b Z, harvi gcd(a, b) =gcd( a, b ). I prinsippet, dersom vi vet at a = p t 1 kan vi se at 1 p t 2 2 p t n og b = p s

Detaljer

Skoleundersøkelse om mobbing

Skoleundersøkelse om mobbing Skoleundersøkelse om mobbing Elevskjema - Bokmål Humanistisk fakultet Senter for atferdsforskning Spørreskjema for Zero et program mot mobbing Informasjon til elevene Skolen du går på har valgt å være

Detaljer

TOPOLOGI. Dan Laksov

TOPOLOGI. Dan Laksov Forum för matematiklärare TOPOLOGI Dan Laksov Institutionen för Matematik, 2009 Finansierat av Marianne och Marcus Wallenbergs Stiftelse Topologi Dan Laksov Notater for Forum för Matematiklärare. Høst

Detaljer

Vi anbefaler at elevene blir introdusert for likninger via en praktisk problemstilling. Det kan for eksempel være:

Vi anbefaler at elevene blir introdusert for likninger via en praktisk problemstilling. Det kan for eksempel være: Likninger og algebra Det er større sprang fra å regne med tall til å regne med bokstaver enn det vi skulle tro. Vi tror at både likninger og bokstavregning (som er den algebraen elevene møter i grunnskolen)

Detaljer

Komplekse tall og komplekse funksjoner

Komplekse tall og komplekse funksjoner KAPITTEL Komplekse tall og komplekse funksjoner. Komplekse tall.. Definisjon av komplekse tall. De komplekse tallene er en utvidelse av de reelle tallene. Dvs at de komplekse tallene er en tallmengde som

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

Allmenndel opg 1 - Hermeneutikk som metode

Allmenndel opg 1 - Hermeneutikk som metode Allmenndel opg 1 - Hermeneutikk som metode Hermeneutikk handler om forståelse og tolkning, og blir brukt som en metode innenfor humaniora og enkelte ganger innenfor samfunnsfagene. Det letteste når man

Detaljer

HØGSKOLEN I SØR-TRØNDELAG

HØGSKOLEN I SØR-TRØNDELAG HØGSKOLEN I SØR-TRØNDELAG Avdeling for informatikk og e-læring - AITeL Kandidatnr: Eksamensdato: 11. mai 2004 Varighet: Fagnummer: Fagnavn: Klasse(r): 3 timer LV197D Webprogrammering med PHP FU Studiepoeng:

Detaljer

EKSAMEN I FAG 75510/75515 STATISTIKK 1 Tirsdag 20. mai 1997 Tid: 09:00 14:00

EKSAMEN I FAG 75510/75515 STATISTIKK 1 Tirsdag 20. mai 1997 Tid: 09:00 14:00 Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 5 Faglig kontakt under eksamen: Håvard Rue 73 59 35 20 Håkon Tjelmeland 73 59 35 20 Bjørn Kåre Hegstad 73 59 35 20

Detaljer

Eneboerspillet del 2. Håvard Johnsbråten, januar 2014

Eneboerspillet del 2. Håvard Johnsbråten, januar 2014 Eneboerspillet del 2 Håvard Johnsbråten, januar 2014 I Johnsbråten (2013) løste jeg noen problemer omkring eneboerspillet vha partall/oddetall. I denne parallellversjonen av artikkelen i vil jeg i stedet

Detaljer

Om forholdet mellom det mentale og det fysiske. DEL I

Om forholdet mellom det mentale og det fysiske. DEL I 1 * Om forholdet mellom det mentale og det fysiske. DEL I * Morten Rognes 2002 (Revidert 2009) * 2 Innholdsfortegnelse 1 Teorien TMF, en teori om forholdet mellom det mentale og det fysiske. En uformell

Detaljer

En studentassistents perspektiv på ε δ

En studentassistents perspektiv på ε δ En studentassistents perspektiv på ε δ Øistein Søvik 16. november 2015 5 y ε 4 3 ε 2 1 1 δ 1 δ 2 x Figur 1: Illustrerer grenseverdien lim x 1 2x + 1. Innledning I løpet av disse korte sidene skal vi prøve

Detaljer

Nummer 8-10. H. Aschehoug & Co Sehesteds gate 3, 0102 Oslo Tlf: 22 400 400. www.aschehoug.no

Nummer 8-10. H. Aschehoug & Co Sehesteds gate 3, 0102 Oslo Tlf: 22 400 400. www.aschehoug.no Nummer 8-10 H. Aschehoug & Co Sehesteds gate 3, 0102 Oslo Tlf: 22 400 400 www.aschehoug.no Hvorfor styrker man algebra i skolen? Det klages over at begynnerstudenter ved ulike høgskoler/universiteter har

Detaljer

Populærvitenskapelig kilde: Robin Wilson, Four Colours Suffice/How the Map Problem was Solved, Penguin Books 2003, ISBN 0-141-00908-X.

Populærvitenskapelig kilde: Robin Wilson, Four Colours Suffice/How the Map Problem was Solved, Penguin Books 2003, ISBN 0-141-00908-X. Om Fargelegging av Kart og Grafer i Planet Populærvitenskapelig kilde: Robin Wilson, Four Colours Suffice/How the Map Problem was Solved, Penguin Books 2003, ISBN 0-141-00908-X. 1. Firefargeteoremet Et

Detaljer

Turingmaskiner en kortfattet introduksjon. Christian F Heide

Turingmaskiner en kortfattet introduksjon. Christian F Heide 13. november 2014 Turingmaskiner en kortfattet introduksjon Christian F Heide En turingmaskin er ikke en fysisk datamaskin, men et konsept eller en tankekonstruksjon laget for å kunne resonnere omkring

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

matematikk? Arne B. Sletsjøe Gyldendal 04.11.2010 Universitetet i Oslo Trenger man digitale verktøy for å lære matematikk? A.B.

matematikk? Arne B. Sletsjøe Gyldendal 04.11.2010 Universitetet i Oslo Trenger man digitale verktøy for å lære matematikk? A.B. Trenger man Det er mange mulige forklaringer på hvorfor begynnerstudentene på universiteter og høgskoler har dårligere basisferdigheter i matematikk nå enn tidligere. Vi ser på denne problemstillingen

Detaljer

Norsk informatikkolympiade 2012 2013 1. runde

Norsk informatikkolympiade 2012 2013 1. runde Norsk informatikkolympiade 2012 2013 1. runde Uke 45, 2012 Tid: 90 minutter Tillatte hjelpemidler: Kun skrivesaker. Det er ikke tillatt med kalkulator eller trykte eller håndskrevne hjelpemidler. Instruksjoner:

Detaljer

Norsk informatikkolympiade 2014 2015 1. runde

Norsk informatikkolympiade 2014 2015 1. runde Norsk informatikkolympiade 2014 2015 1. runde Sponset av Uke 46, 2014 Tid: 90 minutter Tillatte hjelpemidler: Kun skrivesaker. Det er ikke tillatt med kalkulator eller trykte eller håndskrevne hjelpemidler.

Detaljer

KARL POPPER (1902-1994)

KARL POPPER (1902-1994) ES KARL POPPER (1902-1994) 1. Noen verk. Poppers vitenskapsteoretiske hovedverk er Logik der Forschung (1934) (oversatt til engelsk i 1959 under tittelen The Logic of Scientific Discovery). Ei anna viktig

Detaljer

EKSAMEN I 3MX-R2 (3MZ-S2), SPØRREUNDERSØKELSE AUGUST 2014

EKSAMEN I 3MX-R2 (3MZ-S2), SPØRREUNDERSØKELSE AUGUST 2014 EKSAMEN I 3MX-R2 (3MZ-S2), SPØRREUNDERSØKELSE AUGUST 2014 Matematikk R2 Oversikt over hovedområdene: Programfag Hovedområder Matematikk R1 Geometri Algebra Funksjoner Matematikk R2 Geometri Algebra Funksjoner

Detaljer

MAT1030 Diskret matematikk

MAT1030 Diskret matematikk MAT1030 Diskret matematikk Forelesning 5: Logikk Dag Normann Matematisk Institutt, Universitetet i Oslo 28. januar 2008 Oppsummering av Kapittel 3 I Kapittel 3 så vi på hvordan data, som hele tall og reelle

Detaljer

Ukeoppgaver fra kapittel 3 & 4

Ukeoppgaver fra kapittel 3 & 4 Plenumsregning 4 Ukeoppgaver fra kapittel 3 & 4 Roger Antonsen - 7. februar 2008 Oppgave 3.15 Forklar følgende påstand ved å vise til beregninger med reelle tall på eksponentiell form: Man mister presisjon

Detaljer

Løsningsforslag. og B =

Løsningsforslag. og B = Prøve i Matte Dato: vår 5 ENDRE Hjelpemiddel: Kalkulator og formelark Alle svar skal grunngis. Alle deloppgaver ar lik vekt. Oppgave a Gitt matrisene A regn ut A + B, AB. Løsningsforslag 4 og B 7 5 Vi

Detaljer

Algebra Vi på vindusrekka

Algebra Vi på vindusrekka Algebra Vi på vindusrekka Utsagn... 2 Åpne utsagn... 3 Den ukjente... 4 Likhetstegnet... 5 Likninger... 6 Løs likninger... 7 Matematiske uttrykk... 8 Formel... 9 Tilordning... 10 Funksjon... 11 Koordinatsystem...

Detaljer

MATEMATIKK FOR REALFAG PROGRAMFAG I STUDIESPESIALISERENDE UTDANNINGSPROGRAM

MATEMATIKK FOR REALFAG PROGRAMFAG I STUDIESPESIALISERENDE UTDANNINGSPROGRAM MATEMATIKK FOR REALFAG PROGRAMFAG I STUDIESPESIALISERENDE UTDANNINGSPROGRAM Fastsatt som forskrift av Utdanningsdirektoratet 27. mars 2006 etter delegasjon i brev 26. september 2005 fra Utdannings- og

Detaljer

Vi kan finne formler som gir oss neste tall i tallfølgen dersom vi kjenner ett tall. Det er den rekursive formelen. gir oss gir oss alle tallene a

Vi kan finne formler som gir oss neste tall i tallfølgen dersom vi kjenner ett tall. Det er den rekursive formelen. gir oss gir oss alle tallene a Tallfølger, figurtall, algebra (utgave beregnet for GLU1-7). Av Geir Martinussen, Høgskolen i Oslo og Akershus (Se også: http://www.matematikk.org/uopplegg.html?tid=114140 ) Tallfølger er en nyttig ressurs

Detaljer

Om forholdet mellom det mentale og det fysiske. Del III

Om forholdet mellom det mentale og det fysiske. Del III 1 * Om forholdet mellom det mentale og det fysiske. Del III * Morten Rognes 2002 * " I think I was always a Cartesian dualist (although I never thought that we should talk about "substances"); and if not

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 9. juni 2008 Tid for eksamen: 14.30 17.30 Oppgavesettet er på 5 sider. Vedlegg: Tillatte hjelpemidler: INF3100 Databasesystemer

Detaljer

Formalisering og diskusjon av en konsekvensetisk teori.

Formalisering og diskusjon av en konsekvensetisk teori. 1 Formalisering og diskusjon av en konsekvensetisk teori. Morten Rognes (1996) (Utkast) 2 INNHOLD 0 Innledning... 3 1 Språket til teorien KET 1... 6 2 Aksiomer i teorien KET 1... 9 2.1 Aksiomer om tid...

Detaljer

Allmenndel - Oppgave 2

Allmenndel - Oppgave 2 Allmenndel - Oppgave 2 Gjør rede for kvalitativ og kvantitativ metode, med vekt på hvordan disse metodene brukes innen samfunnsvitenskapene. Sammenlign deretter disse to metodene med det som kalles metodologisk

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet. Eksamen i STK3100 Innføring i generaliserte lineære modeller Eksamensdag: Mandag 6. desember 2010 Tid for eksamen: 14.30 18.30 Oppgavesettet

Detaljer

Læreplan i matematikk. Kompetansemål etter 10. årstrinn

Læreplan i matematikk. Kompetansemål etter 10. årstrinn Læreplan i matematikk Kompetansemål etter 10. årstrinn Tall og algebra Eleven skal kunne: 1. Sammenlikne og regne om hele tal, desimaltall, brøker, prosent, promille og tall på standardform 2. Regne med

Detaljer

STUDIEÅRET 2013/2014. Individuell skriftlig eksamen. VTM 200- Vitenskapsteori og metode. Fredag 25. april 2014 kl. 10.00-12.00.

STUDIEÅRET 2013/2014. Individuell skriftlig eksamen. VTM 200- Vitenskapsteori og metode. Fredag 25. april 2014 kl. 10.00-12.00. STUDIEÅRET 2013/2014 Individuell skriftlig eksamen i VTM 200- Vitenskapsteori og metode Fredag 25. april 2014 kl. 10.00-12.00 Hjelpemidler: ingen Eksamensoppgaven består av 5 sider inkludert forsiden Sensurfrist:

Detaljer

Emne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall.

Emne 12 Mengdelære. ( bokstaven g er ikke et element i mengden B ) Betyr: B er mengden av alle positive oddetall. Emne 12 Mengdelære En mengde er en samling elementer. Mengden er veldefinert hvis vi entydig kan avgjøre om et vilkårlig element tilhører mengden eller ikke. Mengder på listeform. Endelige mengder:, Uendelige

Detaljer

Eksempeloppgave 2 2009

Eksempeloppgave 2 2009 Eksempeloppgave 2 2009 MAT0010 Matematikk Elever (10. årstrinn) Eksamen våren 2009 Del 2 Eratosthenes Oljeplattform Bokmål Bokmål Eksamensinformasjon for Del 2 Eksamenstid: Hjelpemidler på Del 2: Bruk

Detaljer

LØSNINGSFORSLAG EKSAMEN I GRUNNKURS I ANALYSE I (MA1101/MA6101)

LØSNINGSFORSLAG EKSAMEN I GRUNNKURS I ANALYSE I (MA1101/MA6101) Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side av 6 LØSNINGSFORSLAG EKSAMEN I GRUNNKURS I ANALYSE I (MA0/MA60) Fredag 2. desember 202 Tid: 09:00 3:00 Hjelpemidler: Kode

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

2.3 Delelighetsregler

2.3 Delelighetsregler 2.3 Delelighetsregler Begrepene multiplikasjon og divisjon og regneferdigheter med disse operasjonene utgjør sentralt lærestoff på barnetrinnet. Det er mange tabellfakta å huske og operasjonene skal kunne

Detaljer

16 Excel triks det er smart å kunne

16 Excel triks det er smart å kunne 16 Excel triks det er smart å kunne Viste du at: Det er mer en 300 funksjoner i Excel. Den første versjonen av Excel ble laget til Macintosh i 1985 Det er mer en 200 hurtigtaster i Excel ProCloud sammen

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: MAT 00 Kalkulus. Eksamensdag: Mandag,. desember 006. Tid for eksamen:.30 8.30. Oppgavesettet er på sider. Vedlegg: Tillatte hjelpemidler:

Detaljer

Differensiallikninger definisjoner, eksempler og litt om løsning

Differensiallikninger definisjoner, eksempler og litt om løsning Differensiallikninger definisjoner, eksempler og litt om løsning MAT-INF1100 Differensiallikninger i MAT-INF1100 Definsjon, litt om generelle egenskaper Noen få anvendte eksempler Teknikker for løsning

Detaljer

Sannsynlighetsbegrepet

Sannsynlighetsbegrepet Sannsynlighetsbegrepet Notat til STK1100 Ørnulf Borgan Matematisk institutt Universitetet i Oslo Januar 2004 Formål Dette notatet er et supplement til kapittel 1 i Mathematical Statistics and Data Analysis

Detaljer

Eksamen 31.05.2011. REA3028 Matematikk S2. Nynorsk/Bokmål

Eksamen 31.05.2011. REA3028 Matematikk S2. Nynorsk/Bokmål Eksamen 1.05.2011 REA028 Matematikk S2 Nynorsk/Bokmål Bokmål Eksamensinformasjon Eksamenstid: Hjelpemidler på Del 1: Hjelpemidler på Del 2: 5 timer: Del 1 skal leveres inn etter 2 timer. Del 2 skal leveres

Detaljer

Forelesning 1. Algoritmer, pseudokoder og kontrollstrukturer. Dag Normann - 14. januar 2008. Vi som skal undervise. Hva er diskret matematikk?

Forelesning 1. Algoritmer, pseudokoder og kontrollstrukturer. Dag Normann - 14. januar 2008. Vi som skal undervise. Hva er diskret matematikk? Forelesning 1 Algoritmer, pseudokoder og kontrollstrukturer Dag Normann - 14. januar 2008 Vi som skal undervise Dag Normann Roger Antonsen Christian Schaal Robin Bjørnetun Jacobsen http://www.uio.no/studier/emner/matnat/math/mat1030/v08/

Detaljer

Norsk informatikkolympiade 2013 2014 1. runde

Norsk informatikkolympiade 2013 2014 1. runde Norsk informatikkolympiade 2013 2014 1. runde Sponset av Uke 46, 2013 Tid: 90 minutter Tillatte hjelpemidler: Kun skrivesaker. Det er ikke tillatt med kalkulator eller trykte eller håndskrevne hjelpemidler.

Detaljer

Logisk positivisme. Inspirasjon: To typer sanne utsagn:

Logisk positivisme. Inspirasjon: To typer sanne utsagn: Logisk positivisme En retning innenfor vitenskapsteori som er knyttet til Wienerkretsen, en sammenslutning av filosofer, logikere, matematikere og vitenskapsmenn i Wien på 1920- og 30-tallene. Omtales

Detaljer

Vurderingsveiledning for lærere og sensorer. i praktisk matematikk på yrkesfaglige programområder. MAT1001 Vg1 P-Y. Gjelder fra våren 2016

Vurderingsveiledning for lærere og sensorer. i praktisk matematikk på yrkesfaglige programområder. MAT1001 Vg1 P-Y. Gjelder fra våren 2016 Vurderingsveiledning for lærere og sensorer i praktisk matematikk på yrkesfaglige programområder MAT1001 Vg1 P-Y Gjelder fra våren 2016 Veiledningen er utarbeidet for lærere og sensorer. Den tar utgangspunkt

Detaljer

Skisse av den ideelle læreplan i matematikk

Skisse av den ideelle læreplan i matematikk ved Anita Valenta, Mona Nosrati, Roberth Åsenhus og Kjersti Wæge Skisse av den ideelle læreplan i matematikk Formål med faget Matematikk er en del av den globale kulturarven vår. Mennesket har til alle

Detaljer

Løsningsforslag 1T Eksamen. Høst 26.11.2012. Nebuchadnezzar Matematikk.net Øistein Søvik

Løsningsforslag 1T Eksamen. Høst 26.11.2012. Nebuchadnezzar Matematikk.net Øistein Søvik Løsningsforslag 1T Eksamen 6 Høst 26.11.2012 Nebuchadnezzar Matematikk.net Øistein Søvik Sammendrag De fleste forlagene som gir ut lærebøker til den videregående skolen, gir ut løsningsforslag til tidligere

Detaljer

Løsningsforslag: Deloppgave om heuristiske søkemetoder ALGKON 2002, ordinær eksamen

Løsningsforslag: Deloppgave om heuristiske søkemetoder ALGKON 2002, ordinær eksamen Løsningsforslag: Deloppgave om heuristiske søkemetoder ALGKON 00, ordinær eksamen 1. september 003 Innledning Vi skal betrakte det såkalte grafdelingsproblemet (graph partitioning problem). Problemet kan

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3440 / INF 4440 Signalbehandling Eksamensdag: 27. oktober 2003 10. november 2003 Tid for eksamen: 12.00 12.00 Oppgavesettet

Detaljer

Løsningsforslag 1T Eksamen. Høst 26.11.2012. Nebuchadnezzar Matematikk.net Øistein Søvik

Løsningsforslag 1T Eksamen. Høst 26.11.2012. Nebuchadnezzar Matematikk.net Øistein Søvik Løsningsforslag 1T Eksamen 6 Høst 26.11.2012 Nebuchadnezzar Matematikk.net Øistein Søvik Sammendrag De fleste forlagene som gir ut lærebøker til den videregående skolen, gir ut løsningsforslag til tidligere

Detaljer

Åssiden videregående skole Lokalt tilpasset læreplan. Fag: Matematikk Hovedområde: Geometri 1PY Undervisningstimer/år:84

Åssiden videregående skole Lokalt tilpasset læreplan. Fag: Matematikk Hovedområde: Geometri 1PY Undervisningstimer/år:84 Åssiden videregående skole Lokalt tilpasset læreplan Fag: Matematikk Hovedområde: Geometri 1PY Undervisningstimer/år:84 Kompetansemål: tolke og bruke formler som brukes i dagligliv, yrkesliv og programområde

Detaljer

LO118D Forelesning 6 (DM)

LO118D Forelesning 6 (DM) LO118D Forelesning 6 (DM) Rekurrensrelasjoner 10.09.2007 1 Rekurrensrelasjoner Rekurrensrelasjoner En rekurrensrelasjon definerer det n-te elementet i en følge i forhold til de foregående elementene. Følgen

Detaljer

Eksamen 29.11.2011. REA3028 Matematikk S2. Nynorsk/Bokmål

Eksamen 29.11.2011. REA3028 Matematikk S2. Nynorsk/Bokmål Eksamen 9.11.011 REA308 Matematikk S Nynorsk/Bokmål Bokmål Eksamensinformasjon Eksamenstid: Hjelpemidler på Del 1: Hjelpemidler på Del : 5 timer: Del 1 skal leveres inn etter timer. Del skal leveres inn

Detaljer

ALEXIUS MEINONG Einar Duenger Bøhn UiO, 2012

ALEXIUS MEINONG Einar Duenger Bøhn UiO, 2012 ALEXIUS MEINONG Einar Duenger Bøhn UiO, 2012 Alexius Meinong (1853-1920) var østerriksk filosof og psykolog, elev av Franz Brentano (1838-1917), og lærer til grunnleggeren av Gestalt psykologien, Christian

Detaljer