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 Eksamensdag: 28. november 2014 Tid for eksamen: Oppgavesettet er på 6 sider. Vedlegg: Tillatte hjelpemidler: INF1080 Logiske metoder for informatikk Ingen Ingen Kontroller at oppgavesettet er komplett før du begynner å besvare spørsmålene. Det er mulig å få 100 poeng totalt, og for hver oppgave er det angitt det maksimale antall poeng. Det er mange oppgaver, så pass på at du bruker tiden din godt. Hvis du bruker 20 minutter på 10 poeng, så vil du ha 3 timer og 20 minutter til alle oppgavene, og da vil du ha 40 minutter til å se over alt til slutt. Husk at det faktisk er noen som skal lese veldig nøye det du skriver. Sørg for at det du skriver er klart, tydelig og enkelt å forstå, både når det gjelder form og innhold. Sjekk at begrunnelsene dine er gode. Lykke til! (Fortsettes på side 2.)

2 Oppgave 1 Mengdelære (10 poeng) La A = {x}, B = {y, {x}} og C = {x, y, {x, y}}. (a) [2 poeng] Skriv ned alle delmengdene til C. (b) [2 poeng] Er følgende påstander sanne eller usanne? 1. A B 2. B C 3. A B 4. B C (c) [4 poeng] Regn ut: 1. A \ B 2. B \ A 3. A B 4. B C (d) [2 poeng] Hva er kardinaliteten til B (A C)? Begrunn svaret ditt. Oppgave 2 Hypoteser og moteksempler (10 poeng) Her kommer det noen påstander som du må ta stilling til. For hver påstand skal du finne ut om den er sann eller usann. Hvis du mener at påstanden er sann, så gi et kort argument for hvorfor. Hvis du mener at den er usann, så finn et moteksempel eller forklar hvorfor det ikke kan være slik. (a) [2 poeng] Hvis F og G er to formler, så er det alltid slik at enten (F G) eller (G F) er oppfyllbar. (b) [2 poeng] Det fins en utsagnlogisk formel F slik at envher utsagnslogisk formel er en logisk konsekvens av F. (c) [2 poeng] Det fins en utsagnslogisk formel som både er oppfyllbar og falsifiserbar. (d) [2 poeng] Det fins to uendelige mengder, A og B, slik at både A B og A B. (e) [2 poeng] Det fins to forskjellige mengder, A og B, slik at både A B og B A. 2

3 Oppgave 3 Utsagnslogikk (10 poeng) (a) [4 poeng] Se på formelen P (Q R). Hvilke av følgende formler er ekvivalente med denne? 1. P (Q R) 2. P (Q R) 3. (P (Q R)) 4. (P Q) (P R) 5. (P Q) (P R) 5. (Q R) P (b) [6 poeng] Vi kan definere et nytt konnektiv,, for «impliserer ikke» ved hjelp av følgende sannhetsverditabell. F G (F G) Finn en måte å uttrykke (F G) på kun ved hjelp av konnektivene og. Med andre ord, finn en formel som kun inneholder F og G og konnektivene og og som er ekvivalent med (F G). Begrunn svaret ditt. 2. Finn en måte å uttrykke (F G) på ved hjelp av kun. Begrunn svaret ditt. Oppgave 4 Relasjoner og funksjoner (10 poeng) La F være mengden av alle filmer som ble vist i norsk kino i løpet av 2013, og la T = {1, 2, 3, 4, 5, 6} være mengden av mulige terningkast. Anta at Kraken er en av filmene, altså at Kraken F. (a) [2 poeng] Hva er definisjonen av «en funksjon fra F til T»? (b) [3 poeng] Hvilke av følgende relasjoner fra F til T er funksjoner? { Kraken, 4 } 3. { f, 6 f F} 4. F {1, 2} (c) [2 poeng] La f være en funksjon fra F til T. La relasjonen R på F være slik at xry hvis og bare hvis f(x) = f(y). Er dette en ekvivalensrelasjon? Begrunn svaret ditt. (d) [3 poeng] La f være en funksjon fra F til T som før. La relasjonen S på F være slik at xsy hvis og bare hvis forskjellen mellom f(x) og f(y) er maksimalt 1, dvs. f(x) f(y) { 1, 0, 1}. Er dette en ekvivalensrelasjon? Begrunn svaret ditt. 3

4 Oppgave 5 Førsteordens logikk (10 poeng) Vi antar som vanlig at a, b og c er konstanter og at x, y og z er variabler. (a) [2 poeng] Angi både mengden av frie variabler og mengden av bundne variabler i følgende formler. 1. P(x) 2. x R(x, x) 3. ( x R(x, y)) ( y R(x, y)) (b) [3 poeng] La oss skrive UV(φ) for mengden av variabler som forekommer i en førsteordens formel φ, men ikke bundet av en eksistenskvantor ( ) for den variablen. Dvs. alle variabler som er enten er frie eller som er bundet av en universell kvantor ( ). For eksempel har vi følgende. UV ( x y P(x, y, z) ) = {x, z} Følgende er en rekursiv definisjon av UV. Definisjonen har noen hull markert med 1, 2 etc. Angi hva det er som mangler. (Vi antar at FV(t), mengden av frie variabler i en term, allerede er definert.) UV(P(t 1,..., t n )) = FV(t 1 ) FV(t n ) UV(φ ψ) = UV(φ) UV(ψ) UV(φ ψ) = UV(φ) 1 UV(ψ) UV(φ ψ) = UV(φ) 2 UV(ψ) UV( φ) = 3 UV( x φ) = UV(φ) 4 {x} UV( 5 ) = 6 (c) [2 poeng] Forklar forholdet mellom formelen x, y (R(x, y) R(y, x)) og et utsagn «... [noe med R]... er en symmetrisk relasjon». Hint: i forklaringen vil du trenge begrep som «modell», «tolkning» og «er sann». (d) [3 poeng] Gitt et førsteordensspråk uten konstant- eller funksjonssymboler, men med to unære relasjonssymboler P og Q. Angi en modell M slik at M = x Px y Qy M = x (Px Qx) Oppgave 6 Grafteori (10 poeng) (a) [3 poeng] Forklar hva en Eulervei og en Eulerkrets er. (b) [3 poeng] Hva er summen til gradene til nodene i en komplett graf med n noder? Forklar kort (eller bevis) hvorfor det er slik. (c) [2 poeng] Tegn en graf med fire noder hvor nodene har grader 1, 1, 1 og 1, eller forklar hvorfor det ikke fins noen slik graf. 4

5 (d) [2 poeng] Tegn en graf med fire noder hvor nodene har grader 1, 2, 2 og 3, eller forklar hvorfor det ikke fins noen slik graf. Oppgave 7 Kombinatorikk (10 poeng) (a) [3 poeng] Hvor mange funksjoner finnes det fra mengden {1, 2,..., n}, hvor n er et positivt heltall, til {0, 1}? Gi en kort begrunnelse for svaret ditt. (b) [3 poeng] La S være mengden {1, 2, 3, 4}. Hvor mange funksjoner fra S til S fins det, og hvor mange av disse er bijeksjoner? Gi en kort begrunnelse for svaret ditt. (c) [4 poeng] La S være mengden {1, 2, 3, 4, 5}. Hvor mange delmengder av av S med tre elementer fins det? Gi en kort begrunnelse for svaret ditt. Oppgave 8 Regulære språk (10 poeng) Vi definerer et språk over alfabetet {a, b, c} som inneholder strengene på følgende form: Alle strenger består av ett eller flere «segmenter.» Hvert segment består av én a og etter det enten en rekke på én eller flere b eller en rekke på én eller flere c. Noen strenger i språket er altså abbbb, abacab, abbaccc (a) [3 poeng] Angi et regulært uttrykk som beskriver språket. (b) [3 poeng] Finn en grammatikk som beskriver språket. (c) [4 poeng] Angi en deterministisk, endelig tilstandsmaskin som aksepterer språket. Husk å markere både starttilstanden, og alle aksepterende tilstander. 5

6 Oppgave 9 Rekursive funksjoner (10 poeng) (a) [3 poeng] Hvilke av følgende systemer med ligninger utgjør en korrekt rekursiv definisjon av en funksjon f : N N? 1. f(0) = 2 og f(n + 1) = f(n) 2 f(n) for alle n N. 2. f(n + 1) = f(n) 2 for alle n N. 3. f(0) = 1, f(1) = 2, f(2) = 3, og så videre. 4. f(0) = 1, f(1) = 3, og f(n) = 2f(n 2) for alle n N med n 2. (b) [2 poeng] For de definisjonene i oppgavedel (a) som er korrekte, regn ut f(4). (c) [3 poeng] La g(n) være produktet av de første n positive oddetallene: g(1) = 1 g(2) = 1 3 g(3) = g(4) = Gi en rekursiv definisjon av g. Du får bruke 1 som basistilfelle. (d) [2 poeng] Definer en rekursiv funksjon f som tar en streng som argument, og som erstatter alle vokaler x i den strengen med a. F.eks. vil f(tre små kinesere) = tra sma kanasara og f(logikk) = lagakk. Oppgave 10 Induksjonsbevis (10 poeng) (a) [4 poeng] Gitt følgende rekursive definisjon for f: Bevis ved induksjon at f(0) = 2 og f(n + 1) = f(n) 2 f(n) for alle n N. f(n) = 2 for alle n N. (b) [4 poeng] Gitt følgende rekursive definisjon for g, Vis at g(0) = 1, g(n + 1) = 3 g(n) for alle n N. { 1 hvis n er et partall g(n) = 2 hvis n er et oddetall (c) [2 poeng] Bruk (b) til å vise at g(n) = g(g(g(n))) for alle n N. 6

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

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

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

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

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

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

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

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

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

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

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

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Side 1 Det matematisk-naturvitenskapelige fakultet Eksamen i: INF1411 Eksamensdag: mandag 3.juni 2013 Tid for eksamen: 14.30-18.30 Oppgavesettet er på 6 sider Vedlegg: Ingen Tillatte

Detaljer

Om oppgaveteksten på noe punkt er uklar eller upresis, kan du gjøre egne presiseringer. Formulér i så fall disse tydelig i oppgavebesvarelsen din.

Om oppgaveteksten på noe punkt er uklar eller upresis, kan du gjøre egne presiseringer. Formulér i så fall disse tydelig i oppgavebesvarelsen din. UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i IN 211 Programmeringsspråk Eksamensdag: 6. desember 2001 Tid for eksamen: 9.00 15.00 Oppgavesettet er på 9 sider. Vedlegg: Ingen

Detaljer

b) i) Finn sannsynligheten for at nøyaktig 2 av 120 slike firmaer går konkurs.

b) i) Finn sannsynligheten for at nøyaktig 2 av 120 slike firmaer går konkurs. Eksamen i: MET 040 Statistikk for økonomer Eksamensdag: 31 Mai 2007 Tid for eksamen: 09.00-13.00 Oppgavesettet er på 4 sider. Tillatte hjelpemidler: Alle trykte eller egenskrevne hjelpemidler og kalkulator.

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

Løsningsforslag Prøveeksamen i MAT-INF 1100, Høsten 2003

Løsningsforslag Prøveeksamen i MAT-INF 1100, Høsten 2003 Løsningsforslag Prøveeksamen i MAT-INF 1100, Høsten 003 Denne prøveeksamenen har samme format som den virkelige eksamenen, og inneholder oppgaver av samme type og vanskelighetsgrad. Første del av eksamen

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

TMA4140 Diskret matematikk Høst 2011 Løsningsforslag Øving 7

TMA4140 Diskret matematikk Høst 2011 Løsningsforslag Øving 7 Norges teknisknaturvitenskapelige universitet Institutt for matematiske fag Side 1 av?? TMA4140 Diskret matematikk Høst 011 Løsningsforslag Øving 7 7-1-10 a) Beløpet etter n 1 år ganges med 1.09 for å

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

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

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Side 1 Det matematisk-naturvitenskapelige fakultet Eksamen i: INF1010 Objektorientert programmering Eksamensdag: Tirsdag 12. juni 2012 Tid for eksamen: 9:00 15:00 Oppgavesettet er

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF3100/INF4100 Databasesystemer Eksamensdag : Tirsdag 8. juni 2004 Tid for eksamen : 09.00-12.00 Oppgavesettet er på : 5 sider

Detaljer

EKSAMENSOPPGAVE. Eksamen i: FYS- 1002 Elektromagnetisme Fredag 31. august 2012 Kl 09:00 13:00 adm. Bygget, rom B154

EKSAMENSOPPGAVE. Eksamen i: FYS- 1002 Elektromagnetisme Fredag 31. august 2012 Kl 09:00 13:00 adm. Bygget, rom B154 side 1 av 6 sider FAKULTET FOR NATURVITENSKAP OG TEKNOLOGI EKSAMENSOPPGAVE Eksamen i: FYS- 1002 Elektromagnetisme Dato: Tid: Sted: Fredag 31. august 2012 Kl 09:00 13:00 adm. Bygget, rom B154 Tillatte hjelpemidler:

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

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

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

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF3100/INF4100 Databasesystemer Eksamensdag : Onsdag 8. juni 2005 Tid for eksamen : 14.30 17.30 Oppgavesettet er på : 5 sider

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

1. Bevis følgende logiske ekvivalens: ((p q) p) (p q) 2. Bestem de sannhetsverdier for p, q og r som gjør følgende utsagn galt: (p (q r)) (q r p)

1. Bevis følgende logiske ekvivalens: ((p q) p) (p q) 2. Bestem de sannhetsverdier for p, q og r som gjør følgende utsagn galt: (p (q r)) (q r p) . Oppgave. Bevis følgende logiske ekvivalens: ((p q) p) (p q). Bestem de sannhetsverdier for p, q og r som gjør følgende utsagn galt: (p (q r)) (q r p) 3. Avgjør om følgende utsagn er sant i universet

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO 1 UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : IN 115 Eksamensdag : Lørdag 20 mai, 2000 Tid for eksamen : 09.00-15.00 Oppgavesettet er på : 5 sider Vedlegg : Intet. Tillatte

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

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

MA3002 Generell topologi

MA3002 Generell topologi Norges teknisk naturvitenskapelige universitet Institutt for matematiske fag Side 1 av 7 Faglig kontakt under eksamen: Richard Williamson, (735) 90154 MA3002 Generell topologi Lørdag 1. juni 2013 Tid:

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

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 12. desember 2003 Tid for eksamen: 09.00 12.00 Oppgavesettet er på 5 sider. Vedlegg: INF3140/4140 Modeller for parallellitet

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Side 1 Det matematisk-naturvitenskapelige fakultet Eksamen i: GF-GG 141 - Hydrologi Eksamensdag: Tirsdag 27. Mai 2003 Tid for eksamen: kl. 09.00 15.00 Oppgavesettet er på 5 sider Vedlegg:

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO Bokmål UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: INF1000 Grunnkurs i objektorientert programmering Eksamensdag: Fredag 4. desember 2015 Tid for eksamen: 14.30 (4 timer)

Detaljer

Kontroller at oppgavesettet er komplett før du begynner å besvare spørsmålene. Ved sensuren teller alle delspørsmål likt.

Kontroller at oppgavesettet er komplett før du begynner å besvare spørsmålene. Ved sensuren teller alle delspørsmål likt. Eksamen i: MET00 Statistikk for økonomer Eksamensdag: 8. november 2007 Tid for eksamen: 09.00-13.00 Oppgavesettet er på 5 sider. Tillatte hjelpemidler: Alle trykte eller egenskrevne hjelpemidler og kalkulator.

Detaljer

Norsk informatikkolympiade 2014 2015 1. runde. Sponset av. Uke 46, 2014

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

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

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

EKSAMEN Løsningsforslag

EKSAMEN Løsningsforslag ..4 EKSAMEN Løsigsforslag Emekode: ITF75 Dato: 6. desember Eme: Matematikk for IT Eksamestid: kl 9. til kl. Hjelpemidler: To A4-ark med valgfritt ihold på begge sider. Kalkulator er ikke tillatt. Faglærer:

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF3100/INF4100 Databasesystemer Eksamensdag : Tirsdag 8. juni 2004 Tid for eksamen : 09.00-12.00 Oppgavesettet er på : 5 sider

Detaljer

Bokmål. Eksamensinformasjon

Bokmål. Eksamensinformasjon Eksamen 27052010 REA022 Matematikk R1 Nynorsk/Bokmål Bokmål Eksamensinformasjon Eksamenstid: Hjelpemidler på del 1: Hjelpemidler på del 2: Vedlegg: Framgangsmåte: Veiledning om vurderingen: 5 timer: Del

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

INNHOLD. Side Eksempeleksamen 2T - Hele oppgavesettet 1. Oppgave 1 Eksempeleksamen 10

INNHOLD. Side Eksempeleksamen 2T - Hele oppgavesettet 1. Oppgave 1 Eksempeleksamen 10 INNHOLD Side Eksempeleksamen 2T - Hele oppgavesettet 1 Oppgave 1 Eksempeleksamen 10 Oppgave 1a Eksempeleksamen 12 Teori oppgave 1a Eksempeleksamen 12 Løsning oppgave 1a Eksempeleksamen 14 Oppgave 1b Eksempeleksamen

Detaljer

Løsningsforslag eksamen R2

Løsningsforslag eksamen R2 Løsningsforslag eksamen R Vår 010 Oppgave 1 a) f (x) = x cos(3x) f (x) = x cos(3x) + x ( sin(3x) 3) = x cos(3x) 3x sin(3x) b) 1. Bruker delvis integrasjon med u = 5x og v = 1 ex slik at u = 5 og v = e

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: STK1120 Statistiske metoder og dataanalyse 2. Eksamensdag: Tirsdag 2. juni 2009. Tid for eksamen: 14.30 17.30. Oppgavesettet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Deleksamen i: STK1000 Innføring i avvendt statistikk Eksamensdag: Onsdag 8. oktober 2014 Tid for eksamen: 10.00 12.00 Oppgavesettet er på

Detaljer

Problemløsing. Treningshefte foran Niels Henrik Abels matematikk-konkurranse. Einar Andreas Rødland 199X

Problemløsing. Treningshefte foran Niels Henrik Abels matematikk-konkurranse. Einar Andreas Rødland 199X Problemløsing Treningshefte foran Niels Henrik Abels matematikk-konkurranse Einar Andreas Rødland 199X Innhold 1 Innledning 3 2 Logikk og beviser 3 3 Geometri 5 4 Reductio ad absurdum 7 5 Induksjonsbevis

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Kandidatnr Eksamen i INF1000 Grunnkurs i objektorientert programmering Eksamensdag: Prøveeksamen tirsdag 23. november 2010 Tid for eksamen:

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Side 1 Det matematisk-naturvitenskapelige fakultet Kontinuasjonseksamen i: FYS 1000 Eksamensdag: 16. august 2012 Tid for eksamen: 09.00 13.00, 4 timer Oppgavesettet er på 5 sider inkludert

Detaljer

Problemløsing. Treningshefte foran den Internasjonale Matematikkolympiade. Einar Andreas Rødland 199X

Problemløsing. Treningshefte foran den Internasjonale Matematikkolympiade. Einar Andreas Rødland 199X Problemløsing Treningshefte foran den Internasjonale Matematikkolympiade Einar Andreas Rødland 199X Innhold 1 Innledning 3 2 Logikk og notasjon 3 3 Reductio ad absurdum 5 4 Induksjon 5 4.1 Induksjonsbevis.................................

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

TDT4110 IT Grunnkurs Høst 2014

TDT4110 IT Grunnkurs Høst 2014 TDT4110 IT Grunnkurs Høst 2014 Norges teknisk naturvitenskapelige universitet Institutt for datateknikk og informasjonsvitenskap Auditorieøving 1 Navn: Linje: Brukernavn (blokkbokstaver): Oppgavesettet

Detaljer

DEL 1. Uten hjelpemidler. Oppgave 1 (3 poeng) Oppgave 2 (3 poeng) Oppgave 3 (4 poeng) Oppgave 4 (4 poeng) Deriver funksjonene. b) g( x) 5e sin(2 x)

DEL 1. Uten hjelpemidler. Oppgave 1 (3 poeng) Oppgave 2 (3 poeng) Oppgave 3 (4 poeng) Oppgave 4 (4 poeng) Deriver funksjonene. b) g( x) 5e sin(2 x) DEL 1 Uten hjelpemidler Oppgave 1 (3 poeng) Deriver funksjonene a) f( x) cos(3 x) x b) g( x) 5e sin( x) Oppgave (3 poeng) Bestem integralene a) b) 3 ( )d e 1 x x x x ln x dx Oppgave 3 (4 poeng) a) Løs

Detaljer

Eksamen i emnet INF100 Grunnkurs i programmering (Programmering I) og i emnet INF100-F Objektorientert programmering i Java I

Eksamen i emnet INF100 Grunnkurs i programmering (Programmering I) og i emnet INF100-F Objektorientert programmering i Java I Universitetet i Bergen Det matematisk naturvitenskapelige fakultet Institutt for informatikk Side 1 av 6 Bokmål Eksamen i emnet INF100 Grunnkurs i programmering (Programmering I) og i emnet INF100-F Objektorientert

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

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

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i : INF2310 Digital bildebehandling Eksamensdag : Onsdag 4. juni 2008 Tid for eksamen : 14:30 17:30 (3 timer) Oppgavesettet er på

Detaljer

Fakultet for lærerutdanning og internasjonale studier

Fakultet for lærerutdanning og internasjonale studier Fakultet for lærerutdanning og internasjonale studier Grunnskolelærer 1-7 Matematikk Dato: Tirsdag 27.mai 2014 Tid: 6 timer / kl. 9-15 Antall sider (inkl. forside): 6 Antall oppgavedeler: 2 Tillatte hjelpemidler:

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

EKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Tirsdag 4. desember 2007 Tid: kl. 09.00 13.00

EKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Tirsdag 4. desember 2007 Tid: kl. 09.00 13.00 Side 1 av 6 Faglig kontakt under eksamen: Tore Amble (94451) En engelsk versjon av oppgaven er vedlagt. Oppgaven kan besvares på engelsk eller norsk. BOKMÅL EKSAMEN I EMNE TDT4136 Logikk og resonnerende

Detaljer

Om mulige og tilsynelatende umulige programmeringsoppgaver

Om mulige og tilsynelatende umulige programmeringsoppgaver Om mulige og tilsynelatende umulige programmeringsoppgaver Dag Normann La oss starte med et eksempel fra filmen Star Wars, Episode IV, et eksempel som er relevant for det problemkomplekset vi skal diskutere

Detaljer

Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Institutt for informatikk

Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Institutt for informatikk Side 1 av 20 Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Institutt for informatikk Bokmål Eksamen i emnet INF100 Grunnkurs i programmering Torsdag 27. november 2014 Tid: 09:00 14:00

Detaljer

Sammendrag R2. www.kalkulus.no. 31. mai 2009

Sammendrag R2. www.kalkulus.no. 31. mai 2009 Sammendrag R2 www.kalkulus.no 31. mai 2009 1 1 Trigonometri Definisjon av sinus og cosinus Sirkelen med sentrum i origo og radius 1 kalles enhetssirkelen. La v være en vinkel i grunnstilling, og la P være

Detaljer

EKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Fredag 19. desember 2008 Tid: kl. 09.00 13.00

EKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Fredag 19. desember 2008 Tid: kl. 09.00 13.00 Side 1 av 6 Faglig kontakt under eksamen: Tore Amble (94451) En engelsk versjon av oppgaven er vedlagt. Oppgaven kan besvares på engelsk eller norsk. BOKMÅL EKSAMEN I EMNE TDT4136 Logikk og resonnerende

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

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

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

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

Fakultet for informasjonsteknologi,

Fakultet for informasjonsteknologi, Side 1 av 5 NTNU Norges teknisk-naturvitenskapelige universitet Fakultet for informasjonsteknologi, matematikk og elektroteknikk Institutt for datateknikk og informasjonsvitenskap Kontaktperson under eksamen:

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

Vi sier også at for eksempel 16 er kvadratet av 4. Kvadrattallene kan vi framstille som figurtall av kuler på denne måten:

Vi sier også at for eksempel 16 er kvadratet av 4. Kvadrattallene kan vi framstille som figurtall av kuler på denne måten: 10 Tall og figurer Tallene 1,, 3, 4,, kaller vi de naturlige tallene De naturlige tallene deler vi ofte i partall og oddetall Partallene er de tallene vi kan dele med Det er tallene, 4, 6, 8, 10, Oddetallene

Detaljer

Andre forelesning Forelesning i Matematikk 1 TMA4100

Andre forelesning Forelesning i Matematikk 1 TMA4100 Andre forelesning Forelesning i Matematikk 1 TMA4100 Hans Jakob Rivertz Institutt for matematiske fag 20. august 2010 Induksjon Pensumlitteratur: Notat 3 Induksjon Brukes til å bevise formler og setninger.

Detaljer

KONTINUASJONSEKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Onsdag 6. august 2008 Tid: kl. 09.00 13.00

KONTINUASJONSEKSAMEN I EMNE. TDT4136 Logikk og resonnerende systemer. Onsdag 6. august 2008 Tid: kl. 09.00 13.00 Side 1 av 6 Faglig kontakt under eksamen: Tore Amble (94451) BOKMÅL KONTINUASJONSEKSAMEN I EMNE TDT4136 Logikk og resonnerende systemer Onsdag 6. august 2008 Tid: kl. 09.00 13.00 Hjelpemidler D: Ingen

Detaljer

Eksamen i FYS-0100. Oppgavesettet, inklusiv ark med formler, er på 8 sider, inkludert forside. FAKULTET FOR NATURVITENSKAP OG TEKNOLOGI

Eksamen i FYS-0100. Oppgavesettet, inklusiv ark med formler, er på 8 sider, inkludert forside. FAKULTET FOR NATURVITENSKAP OG TEKNOLOGI Eksamen i FYS-0100 Eksamen i : Fys-0100 Generell fysikk Eksamensdag : 23. februar, 2012 Tid for eksamen : kl. 9.00-13.00 Sted : Administrasjonsbygget, Rom B154 Hjelpemidler : K. Rottmann: Matematisk Formelsamling,

Detaljer

Eksamen. Fag: AA6524/AA6526 Matematikk 3MX. Eksamensdato: 6. desember 2006. Vidaregåande kurs II / Videregående kurs II

Eksamen. Fag: AA6524/AA6526 Matematikk 3MX. Eksamensdato: 6. desember 2006. Vidaregåande kurs II / Videregående kurs II Eksamen Fag: AA654/AA656 Matematikk 3MX Eksamensdato: 6. desember 006 Vidaregåande kurs II / Videregående kurs II Studieretning: Allmenne, økonomiske og administrative fag Elevar/Elever Privatistar/Privatister

Detaljer

MAT1030 Forelesning 30

MAT1030 Forelesning 30 MAT1030 Forelesning 30 Kompleksitetsteori Roger Antonsen - 19. mai 2009 (Sist oppdatert: 2009-05-19 15:04) Forelesning 30: Kompleksitetsteori Oppsummering I dag er siste forelesning med nytt stoff! I morgen

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 6. juni 2006 Tid for eksamen: 1430 1730 Oppgavesettet er på 6 sider. Vedlegg: INF1010 Objektorientert programmering

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 Kandidatnr: Eksamensdato: 15. desember 2003 Varighet: 0900 1200 Fagnummer: Fagnavn: Klasse(r): LV193D Web-programmering med JSP NETT Studiepoeng:

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

Eksamen 29.11.2013. REA3024 Matematikk R2. Nynorsk/Bokmål

Eksamen 29.11.2013. REA3024 Matematikk R2. Nynorsk/Bokmål Eksamen 9..03 REA304 Matematikk R Nnorsk/Bokmål Nnorsk Eksamensinformasjon Eksamenstid: Hjelpemiddel på Del : Hjelpemiddel på Del : 5 timar: Del skal leverast inn etter timar. Del skal leverast inn seinast

Detaljer

Eksamen REA3028 S2, Høsten 2012

Eksamen REA3028 S2, Høsten 2012 Eksamen REA308 S, Høsten 01 Del 1 Tid: timer Hjelpemidler: Vanlige skrivesaker, passer, linjal med centimetermål og vinkelmåler er tillatt. Oppgave 1 (6 poeng) Deriver funksjonene 3x x a) gx 3 3x x 3x

Detaljer

MAT 1120: Obligatorisk oppgave 1, H-09

MAT 1120: Obligatorisk oppgave 1, H-09 MAT 110: Obligatorisk oppgave 1, H-09 Innlevering: Senest fredag 5. september, 009, kl.14.30, på Ekspedisjonskontoret til Matematisk institutt (7. etasje NHA). Du kan skrive for hånd eller med datamaskin,

Detaljer

1 Vekt 15% 1-a. 1-b. 1-c. 1-d

1 Vekt 15% 1-a. 1-b. 1-c. 1-d UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i IN240Digitalsystemkonstruksjon Eksamensdag: 13. desember 1994 Tidforeksamen: 9.0015.00 Oppgavesettet erpå5sider. Vedlegg: Ingen

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1300 Introduksjon til databaser Eksamensdag: 1. desember 2014 Tid for eksamen: 09.00 15.00 Oppgavesettet er på 5 sider. Vedlegg:

Detaljer

Kapittel 3: Litt om representasjon av tall

Kapittel 3: Litt om representasjon av tall MAT1030 Diskret Matematikk Forelesning 3: Litt om representasjon av tall, logikk Roger Antonsen Institutt for informatikk, Universitetet i Oslo Kapittel 3: Litt om representasjon av tall 20. januar 2009

Detaljer

EKSAMENSOPPGAVE. : INF-1400 Objektorientert programmering. Oppgavesettet er på 5 sider inklusiv forside

EKSAMENSOPPGAVE. : INF-1400 Objektorientert programmering. Oppgavesettet er på 5 sider inklusiv forside FAKULTET FOR NATURVITENSKAP OG TEKNOLOGI! EKSAMENSOPPGAVE Eksamen i : INF-1400 Objektorientert programmering Dato : Mandag 27. mai 2013 Tid : 0900 1300 Sted : Åsgårdvegen 9 Tillatte hjelpemidler : Ingen

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: ST101 Innføring i statistikk og sannsynlighetsregning. Eksamensdag: Mandag 29. november 1993. Tid for eksamen: 09.00 15.00. Oppgavesettet

Detaljer