UNIVERSITETET I OSLO

Størrelse: px
Begynne med side:

Download "UNIVERSITETET I OSLO"

Transkript

1 UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 4. juni 2010 Tid for eksamen: Oppgavesettet er på 8 sider. Vedlegg: Tillatte hjelpemidler: Ingen vedlegg Alle trykte og skrevne Kontroller at oppgavesettet er komplett før du begynner å besvare spørsmålene. Oppgavene og deloppgavene kan til en stor grad løses uavhengig av hverandre. Om det er en deloppgave du ikke har løst, så kan du anta at du har løst den og kan prøve å gå videre i settet. Legg vekt på å finne enkle og elegante løsninger! Poengtallene angitt i parentes for hver oppgave er veiledende. Alle svar skal begrunnes godt! Alle hjelpefunksjoner, sorter, etc., du trenger må selvfølgelig defineres fullt ut. English! This exam is given in English after the Norwegian part, from page 5 onwards. (Fortsettes på side 2.)

2 Eksamen i INF 3230, 4. juni 2010 Side 2 Oppgave 1 Terminering og konfluens (32 poeng) Vi skal i denne oppgaven se på spesifikasjonen E = {x (y + z) = (x y) + (x z), (x + y) + z = x + (y + z)} 1. Kan den leksikografiske stiordningen (lpo) bevise at E terminerer? Bevis (eller begrunn godt) ditt svar. 2. Kan multisett stiordningen (mpo) bevise at E terminerer? Bevis (eller begrunn godt) ditt svar. 3. Finnes det en forenklingsordning som kan brukes til å vise at E terminerer? Bevis (eller begrunn godt) ditt svar. 4. Er E konfluent? Bevis (eller begrunn godt) ditt svar. Oppgave 2 Definere den leksikografiske stiordningen (lpo) i Maude (72 poeng) I denne oppgaven skal vi rett og slett definere den leksikografiske stiordningen (lpo) i Maude, slik at vi kan bruke Maude til å sjekke om en gitt mengde ligninger kan vises terminerende ved hjelp av lpo med en gitt presedens. 1 Først må vi definere en datatype for å representere termer og ligninger som Maude-termer. Funksjonssymboler (både konstanter og ikke-konstanter) og variabelsymboler representeres av elementer av sort FuncVarSymbol: sort FuncVarSymbol. ops a ack b c d e f g h i j k l m n o p q r s t u v w 0 + * - v w x x1 x2 x3 x4 y y1 y2 y3 y4 z z1 z2 z3 z4 : -> FuncVarSymbol [ctor]. En term representeres av en term av sort Term, som enten kun er en konstant eller en variabel, eller er et funksjonssymbol (av sort FuncVarSymbol) brukt på en liste av termer, slik at termen f(a, g(b)) representeres av termen f[a, g[b]]: sorts Term TermList. subsort FuncVarSymbol < Term. subsort Term < TermList. op _,_ : TermList TermList -> TermList [ctor assoc]. op _[_] : FuncVarSymbol TermList -> Term [ctor]. 1 Det er ikke tid til å definere lpo uten en angitt presedens i løpet av en 3-timers eksamen. (Fortsettes på side 3.)

3 Eksamen i INF 3230, 4. juni 2010 Side 3 En ligning t = t representeres av en Maude term eq t = t., hvor t er vår representasjon av t og t er vår representasjon av t : sorts Equation EquationSet. subsort Equation < EquationSet. op none : -> EquationSet [ctor]. op : EquationSet EquationSet -> EquationSet [ctor assoc comm id: none]. op eq_=_. : Term Term -> Equation [ctor]. Den gamle gode ligningsmengden i modulen NAT-ADD kan derfor representeres ved følgende Maude term av sort EquationSet: eq +[0, x] = x. eq +[s[x], y] = s[+[x, y]]. En annen ligningsmengde kan representeres av følgende term av sort EquationSet: eq f[a, b, a] = f[a, b, b]. eq f[b, b, f[a, b, a]] = f[a, b, a]. Vi trenger også å representere presedenser. Vi velger å representere en presedens som en liste på formen f >> g >> h >> a, der f selvfølgelig er større enn g, som i sin tur er større enn h, osv. Du kan anta at et symbol ikke forekommer mer enn én gang i en slik liste. Merk at ikke alle funksjons/variabel-symboler trenger å være med i en slik liste (et symbol som ikke er med i listen er selvfølgelig ikke sammenlignbart i presedensen med noe annet symbol), men de symbolene som er med i listen er totalt ordnet: sort Precedence. subsort FuncVarSymbol < Precedence. op emptyprecedence : -> Precedence [ctor]. op _>>_ : Precedence Precedence -> Precedence [ctor assoc id: emptyprecedence]. 2a Sjekke funksjonssymboler i en presedens (12 poeng) Definér en funksjon op _>>_in_ : FuncVarSymbol FuncVarSymbol Precedence -> Bool. slik at f >> g in P er true hvis og bare hvis både f og g forekommer i listen P og f er større enn g i presedensen representert av listen P. For eksempel skal f >> g in h >> a >> f >> b >> g >> c returnere true, mens både g >> f in h >> a >> f >> b >> g >> c og f >> g in h >> f >> a skal returnere false. (Fortsettes på side 4.)

4 Eksamen i INF 3230, 4. juni 2010 Side 4 2b Definere lpo i Maude (60 poeng) I denne deloppgaven skal du rett og slett definere i Maude en funksjon op lpoterm : EquationSet Precedence -> Bool. som tar en ligningsmengde og en presedens som argumenter, og som sjekker om lpo med den gitte presedensen kan vise terminering av den gitte ligningsmengden. For eksempel skal kommandoene red lpoterm(eq +[0, x] = x. eq +[s[x], y] = s[+[x, y]]., + >> s >> 0). og red lpoterm(eq f[a, b, a] = f[a, b, b]. eq f[b, b, f[a, b, a]] = f[a, b, a]., f >> a >> b). begge skal returnere true, mens red lpoterm(eq f[a, b, a] = f[a, b, b]. eq f[b, b, f[a, b, a]] = f[a, b, a]., f >> b >> a). skal returnere false. Lykke til! Peter C. Ölveczky (Fortsettes på side 5.)

5 Eksamen i INF 3230, 4. juni 2010 Side 5 The Exam in English The exercises can, to a certain degree, be solved independently of each other. If you have not solved an exercise, you may assume that you have solved it and can continue with the other exercises. Emphasize simplicity and elegance in your solutions. All answers should be explained/justified. All auxiliary functions, sorts, etc., that you need must obviously be fully defined. Exercise 1 Termination and Confluence (32 points) In this exercise we consider the specification E = {x (y + z) = (x y) + (x z), (x + y) + z = x + (y + z)} 1. Can the lexicographic path ordering (lpo) prove that E is terminating? Prove/justify your answer. 2. Can the multiset path ordering (mpo) prove that E is terminating? Prove/justify your answer. 3. Does there exist a simplification ordering that can be used to prove that E is terminating? Prove/justify your answer. 4. Is E confluent? Prove/justify your answer. (The exam continues on the next page.) (Fortsettes på side 6.)

6 Eksamen i INF 3230, 4. juni 2010 Side 6 Exercise 2 Defining the Lexicographic Path Ordering in Maude (72 points) In this exercise we define the lexicographic path ordering (lpo) in Maude, so that we can use Maude to check whether a set of equations can be shown to be terminating using lpo w.r.t. a given precedence. We must first define a data type for representing sets of equations as Maude terms. We first define a way of representing terms as Maude terms of a sort Term. First, function symbols (both constants and non-constants) and variables are elements of the sort FuncVarSymbol: sort FuncVarSymbol. ops a ack b c d e f g h i j k l m n o p q r s t u v w 0 + * - v w x x1 x2 x3 x4 y y1 y2 y3 y4 z z1 z2 z3 z4 : -> FuncVarSymbol [ctor]. A term in an equational specification is represented by a Maude term of sort Term, which is either a constant or a variable, or a function symbol (of sort FuncVarSymbol) followed by (or applied to ) a list of terms, so that, e.g., the term f(a, g(b)) is represented by the Maude term f[a, g[b]] of sort Term: sorts Term TermList. subsort FuncVarSymbol < Term. subsort Term < TermList. op _,_ : TermList TermList -> TermList [ctor assoc]. op _[_] : FuncVarSymbol TermList -> Term [ctor]. An equation t = t is represented by the Maude term eq t = t. of sort Equation, where t is our representation of t and t is our representation of t : sorts Equation EquationSet. subsort Equation < EquationSet. op none : -> EquationSet [ctor]. op : EquationSet EquationSet -> EquationSet [ctor assoc comm id: none]. op eq_=_. : Term Term -> Equation [ctor]. The good old set of equations in the module NAT-ADD can now be represented by the following Maude term of sort EquationSet: eq +[0, x] = x. eq +[s[x], y] = s[+[x, y]]. Another set of equations can be represented by the following Maude term of sort EquationSet: (Fortsettes på side 7.)

7 Eksamen i INF 3230, 4. juni 2010 Side 7 eq f[a, b, a] = f[a, b, b]. eq f[b, b, f[a, b, a]] = f[a, b, a]. We also need to represent precedences. I choose to represent a precedence as a list of the form f >> g >> h >> a, where f is greater than g, which is greater than h, and so on. You may assume that each symbol appears at most once in the list. Notice that not all the symbols in a specification need to appear in the list (a symbol not appearing in the list is incomparable in the precedence to any other symbol), but the symbols that are in the list are totally ordered: sort Precedence. subsort FuncVarSymbol < Precedence. op emptyprecedence : -> Precedence [ctor]. op _>>_ : Precedence Precedence -> Precedence [ctor assoc id: emptyprecedence]. Exercise 2a Checking Function Symbols in a Precedence (12 points) Define a function op _>>_in_ : FuncVarSymbol FuncVarSymbol Precedence -> Bool. such that f >> g in P is true if and only if both f and g appear (explicitly) in the list P and f is greater than g in the precedence represented by the list P. For example, f >> g in h >> a >> f >> b >> g >> c should equal true, while both g >> f in h >> a >> f >> b >> g >> c and f >> g in h >> f >> a should equal false. Exercise 2b Define lpo in Maude (60 points) In this exercise you should define in Maude a function op lpoterm : EquationSet Precedence -> Bool. that takes as arguments a set of equations and a precedence, and that returns true if and only if the set of equations can be proved to terminate using lpo with the given precedence. For example, the commands red lpoterm(eq +[0, x] = x. eq +[s[x], y] = s[+[x, y]]., + >> s >> 0). and (Fortsettes på side 8.)

8 Eksamen i INF 3230, 4. juni 2010 Side 8 red lpoterm(eq f[a, b, a] = f[a, b, b]. eq f[b, b, f[a, b, a]] = f[a, b, a]., f >> a >> b). should both return true, whereas red lpoterm(eq f[a, b, a] = f[a, b, b]. eq f[b, b, f[a, b, a]] = f[a, b, a]., f >> b >> a). should return false. Good luck! Peter C. Ölveczky

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230/4230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 24. mars 2006 Tid for eksamen: 13.30 16.30

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 8. juni 2012 Tid for eksamen: 9.00 13.00 Oppgavesettet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 4. april 2008 Tid for eksamen: 9.00 12.00 Oppgavesettet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 12. juni 2014 Tid for eksamen: 9.00 13.00 Oppgavesettet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 4231 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 12. juni 2014 Tid for eksamen: 9.00 13.00 Oppgavesettet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 13. juni 2013 Tid for eksamen: 14.30 18.30 Oppgavesettet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230/4230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 7. juni 2007 Tid for eksamen: 9.00 12.00

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: INF 3230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 16. juni 2016 Tid for eksamen: 14.30 18.30 Oppgavesettet

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i MAT2400 Analyse 1. Eksamensdag: Onsdag 15. juni 2011. Tid for eksamen: 09.00 13.00 Oppgavesettet er på 6 sider. Vedlegg: Tillatte

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON30/40 Matematikk : Matematisk analyse og lineær algebra Exam: ECON30/40 Mathematics : Calculus and Linear Algebra Eksamensdag: Tirsdag 0. desember

Detaljer

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS Postponed exam: ECON420 Mathematics 2: Calculus and linear algebra Date of exam: Tuesday, June 8, 203 Time for exam: 09:00 a.m. 2:00 noon The problem set covers

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamen i: ECON320/420 Matematikk 2: Matematisk analyse og lineær algebra Date of exam: Friday, May

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON20/420 Matematikk 2: Matematisk analyse og lineær algebra Exam: ECON20/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Fredag 2. mai

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Utsatt ksamen i: ECON3120/4120 Matematikk 2: Matematisk analyse og lineær algebra Postponed exam: ECON3120/4120 Mathematics 2: Calculus and linear algebra Eksamensdag:

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON320/420 Matematikk 2: Matematisk analyse og lineær algebra Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Onsdag 6. desember

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON320/420 Matematikk 2: Matematisk analyse og lineær algebra Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Tirsdag 7. juni

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON3120/4120 Matematikk 2: Matematisk analyse og lineær algebra Exam: ECON3120/4120 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Tirsdag

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Utsatt eksamen i: ECON420 Matematikk 2: Matematisk analyse og lineær algebra Postponed exam: ECON420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Mandag

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON360/460 Samfunnsøkonomisk lønnsomhet og økonomisk politikk Exam: ECON360/460 - Resource allocation and economic policy Eksamensdag: Fredag 2. november

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230/4230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 8. juni 2006 Tid for eksamen: 9.00 12.00

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Utsatt eksamen i: ECON420 Matematikk 2: Matematisk analyse og lineær algebra Postponed exam: ECON420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Mandag

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Utsatt eksamen i: ECON320/420 Matematikk 2: Matematisk analyse og lineær algebra Postponed exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag:

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT 1 UNIVERSITETET I OSLO ØKONOMISK INSTITUTT BOKMÅL Utsatt eksamen i: ECON2915 Vekst og næringsstruktur Eksamensdag: 07.12.2012 Tid for eksamen: kl. 09:00-12:00 Oppgavesettet er på 5 sider Tillatte hjelpemidler:

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON320/420 Matematikk 2: Matematisk analyse og lineær algebra Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag: Mandag 8. desember

Detaljer

Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Eksamen i emnet Mat131 - Differensiallikningar I Onsdag 25. mai 2016, kl.

Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Eksamen i emnet Mat131 - Differensiallikningar I Onsdag 25. mai 2016, kl. 1 MAT131 Bokmål Universitetet i Bergen Det matematisk-naturvitenskapelige fakultet Eksamen i emnet Mat131 - Differensiallikningar I Onsdag 25. mai 2016, kl. 09-14 Oppgavesettet er 4 oppgaver fordelt på

Detaljer

INF 3230/4230 Forelesning 4: Assosiativitet og kommutativitet; operasjonell semantikk

INF 3230/4230 Forelesning 4: Assosiativitet og kommutativitet; operasjonell semantikk 13.2.2006 INF 3230 4 1 INF 3230/4230 Forelesning 4: Assosiativitet og kommutativitet; operasjonell semantikk Peter Ølveczky Forelest av Ingrid C. Yu Innhold: attributter i Maude (særlig assoc og comm)

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON3120/4120 Mathematics 2: Calculus an linear algebra Exam: ECON3120/4120 Mathematics 2: Calculus an linear algebra Eksamensag: Tirsag 3. juni 2008

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT BOKMÅL Eksamen i: ECON1210 - Forbruker, bedrift og marked Eksamensdag: 26.11.2013 Sensur kunngjøres: 18.12.2013 Tid for eksamen: kl. 14:30-17:30 Oppgavesettet er

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON1910 Poverty and distribution in developing countries Exam: ECON1910 Poverty and distribution in developing countries Eksamensdag: 1. juni 2011 Sensur

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Utsatt eksamen i: ECON1410 - Internasjonal økonomi Exam: ECON1410 - International economics Eksamensdag: 18.06.2013 Date of exam: 18.06.2013 Tid for eksamen: kl.

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Bokmål Eksamen i: ECON1210 Forbruker, bedrift og marked Exam: ECON1210 Consumer Behaviour, Firm behaviour and Markets Eksamensdag: 12.12.2014 Sensur kunngjøres:

Detaljer

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS English Exam: ECON2915 Economic Growth Date of exam: 25.11.2014 Grades will be given: 16.12.2014 Time for exam: 09.00 12.00 The problem set covers 3 pages Resources

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON3610/4610 Samfunnsøkonomisk lønnsomhet og økonomisk politikk Exam: ECON3610/4610 Resource Allocation and Economic Policy Eksamensdag: Torsday 28.

Detaljer

Information search for the research protocol in IIC/IID

Information search for the research protocol in IIC/IID Information search for the research protocol in IIC/IID 1 Medical Library, 2013 Library services for students working with the research protocol and thesis (hovedoppgaven) Open library courses: http://www.ntnu.no/ub/fagside/medisin/medbiblkurs

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON1220 Velferd og økonomisk politikk Exam: ECON1220 Welfare and politics Eksamensdag: 29.11.2010 Sensur kunngjøres: 21.12.2010 Date of exam: 29.11.2010

Detaljer

The exam consists of 2 problems. Both must be answered. English

The exam consists of 2 problems. Both must be answered. English The exam consists of 2 problems. Both must be answered. English Problem 1 (60%) Consider two polluting firms, 1 and 2, each of which emits Q units of pollution so that a total of 2Q units are released

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: KJB 492 Bioinformatikk Eksamensdag: Fredag 14. desember 2001 Tid for eksamen: Kl.: 9.00 13.00 Oppgavesettet er på 7 sider. Vedlegg:

Detaljer

Trådløsnett med. Wireless network. MacOSX 10.5 Leopard. with MacOSX 10.5 Leopard

Trådløsnett med. Wireless network. MacOSX 10.5 Leopard. with MacOSX 10.5 Leopard Trådløsnett med MacOSX 10.5 Leopard Wireless network with MacOSX 10.5 Leopard April 2010 Slå på Airport ved å velge symbolet for trådløst nettverk øverst til høyre på skjermen. Hvis symbolet mangler må

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO Eksamen i UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamensdag: 15. desember 2010 Tid for eksamen: 14.30 18.30 Oppgavesettet er på 8 sider. Vedlegg: Tillatte hjelpemidler: INF2220

Detaljer

EN Skriving for kommunikasjon og tenkning

EN Skriving for kommunikasjon og tenkning EN-435 1 Skriving for kommunikasjon og tenkning Oppgaver Oppgavetype Vurdering 1 EN-435 16/12-15 Introduction Flervalg Automatisk poengsum 2 EN-435 16/12-15 Task 1 Skriveoppgave Manuell poengsum 3 EN-435

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON20 Forbruker, bedrift og marked, høsten 2004 Exam: ECON20 - Consumer behavior, firm behavior and markets, autumn 2004 Eksamensdag: Onsdag 24. november

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON3610/4610 Samfunnsøkonomisk lønnsomhet og økonomisk politikk Exam: ECON3610/4610 Resource Allocation and Economic Policy Eksamensdag: Torsdag 18.

Detaljer

1 User guide for the uioletter package

1 User guide for the uioletter package 1 User guide for the uioletter package The uioletter is used almost like the standard LATEX document classes. The main differences are: The letter is placed in a \begin{letter}... \end{letter} environment;

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON60/460 Samfunnsøkonomisk lønnsomhet og økonomisk politikk Exam: ECON60/460 - Resource Allocation and Economic Policy Eksamensdag: Mandag 8. november

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: MAT-INF 1100L Programmering, modellering, og beregninger. Prøveeksamen 2 Eksamensdag: Onsdag 14. November 2014. Tid for eksamen:

Detaljer

KROPPEN LEDER STRØM. Sett en finger på hvert av kontaktpunktene på modellen. Da får du et lydsignal.

KROPPEN LEDER STRØM. Sett en finger på hvert av kontaktpunktene på modellen. Da får du et lydsignal. KROPPEN LEDER STRØM Sett en finger på hvert av kontaktpunktene på modellen. Da får du et lydsignal. Hva forteller dette signalet? Gå flere sammen. Ta hverandre i hendene, og la de to ytterste personene

Detaljer

Du må håndtere disse hendelsene ved å implementere funksjonene init(), changeh(), changev() og escape(), som beskrevet nedenfor.

Du må håndtere disse hendelsene ved å implementere funksjonene init(), changeh(), changev() og escape(), som beskrevet nedenfor. 6-13 July 2013 Brisbane, Australia Norwegian 1.0 Brisbane har blitt tatt over av store, muterte wombater, og du må lede folket i sikkerhet. Veiene i Brisbane danner et stort rutenett. Det finnes R horisontale

Detaljer

INF Logikk og analysemetoder Forslag til løsning på oppgave fra læreboken

INF Logikk og analysemetoder Forslag til løsning på oppgave fra læreboken INF4170 - Logikk og analysemetoder Forslag til løsning på oppgave 3.2.1 fra læreboken Joakim Hjertås, joakimh@ifi.uio.no 7. mars 2004 Sammendrag Disse sidene kommer med forslag til løsning på oppgave 3.2.1

Detaljer

ECON3120/4120 Mathematics 2, spring 2004 Problem solutions for the seminar on 5 May Old exam problems

ECON3120/4120 Mathematics 2, spring 2004 Problem solutions for the seminar on 5 May Old exam problems Department of Economics May 004 Arne Strøm ECON0/40 Mathematics, spring 004 Problem solutions for the seminar on 5 May 004 (For practical reasons (read laziness, most of the solutions this time are in

Detaljer

Oppgave 1a Definer følgende begreper: Nøkkel, supernøkkel og funksjonell avhengighet.

Oppgave 1a Definer følgende begreper: Nøkkel, supernøkkel og funksjonell avhengighet. TDT445 Øving 4 Oppgave a Definer følgende begreper: Nøkkel, supernøkkel og funksjonell avhengighet. Nøkkel: Supernøkkel: Funksjonell avhengighet: Data i en database som kan unikt identifisere (et sett

Detaljer

EKSAMENSOPPGAVE I SØK 1002 INNFØRING I MIKROØKONOMISK ANALYSE

EKSAMENSOPPGAVE I SØK 1002 INNFØRING I MIKROØKONOMISK ANALYSE Norges teknisk-naturvitenskapelige universitet Institutt for samfunnsøkonomi EKSAMENSOPPGAVE I SØK 1002 INNFØRING I MIKROØKONOMISK ANALYSE Faglig kontakt under eksamen: Hans Bonesrønning Tlf.: 9 17 64

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON2915 Vekst og næringsstruktur Exam: ECON2915 - Growth and business structure Eksamensdag: Fredag 2. desember 2005 Sensur kunngjøres: 20. desember

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON110 Forbruker, bedrift og marked, våren 004 Exam: ECON110 Consumer behavior, firm behavior and markets, spring 004 Eksamensdag: Tirsdag 18. mai 004

Detaljer

Kartleggingsskjema / Survey

Kartleggingsskjema / Survey Kartleggingsskjema / Survey 1. Informasjon om opphold i Norge / Information on resident permit in Norway Hvilken oppholdstillatelse har du i Norge? / What residence permit do you have in Norway? YES No

Detaljer

Besvar tre 3 av følgende fire 4 oppgaver.

Besvar tre 3 av følgende fire 4 oppgaver. Psykologisk institutt Side 1 av 2 Eksamen PSY1010/PSY1010P/PSYC1100 Forskningsmetode I - Høst 2013 Skriftlig skoleeksamen, mandag 9.desember Dato for sensur: 7.januar 2014 Ingen hjelpemidler er tillatt

Detaljer

BYFE/EMFE 1000, 2012/2013. Numerikkoppgaver uke 33

BYFE/EMFE 1000, 2012/2013. Numerikkoppgaver uke 33 BYFE/EMFE 1000, 2012/2013 Numerikkoppgaver uke 33 Oppgave 2 Litt aritmetikk a) Her har vi skrevet ut det som kommer opp i Octave-vinduet når vi utfører operasjonene. octave-3.2.4.exe:9> 2+2 4 octave-3.2.4.exe:10>

Detaljer

Endringer i neste revisjon av EHF / Changes in the next revision of EHF 1. October 2015

Endringer i neste revisjon av EHF / Changes in the next revision of EHF 1. October 2015 Endringer i neste revisjon av / Changes in the next revision of 1. October 2015 INFORMASJON PÅ NORSK 2 INTRODUKSJON 2 ENDRINGER FOR KATALOG 1.0.3 OG PAKKSEDDEL 1.0.2 3 ENDRINGER FOR ORDRE 1.0.3 4 ENDRINGER

Detaljer

LISTE OVER TILLATTE HJELPEMIDLER EKSAMEN I NOVEMBER OG DESEMBER 2014

LISTE OVER TILLATTE HJELPEMIDLER EKSAMEN I NOVEMBER OG DESEMBER 2014 1 LISTE OVER TILLATTE HJELPEMIDLER EKSAMEN I NOVEMBER OG DESEMBER 2014 REGLEMENT FOR BRUK AV KALKULATOR OG ORDBOK SE SISTE SIDE 1. STUDIEÅR (ØKAD/REV): Finansregnskap m/ikt (ØABED1000) Markedsføring og

Detaljer

GYRO MED SYKKELHJUL. Forsøk å tippe og vri på hjulet. Hva kjenner du? Hvorfor oppfører hjulet seg slik, og hva er egentlig en gyro?

GYRO MED SYKKELHJUL. Forsøk å tippe og vri på hjulet. Hva kjenner du? Hvorfor oppfører hjulet seg slik, og hva er egentlig en gyro? GYRO MED SYKKELHJUL Hold i håndtaket på hjulet. Sett fart på hjulet og hold det opp. Det er lettest om du sjølv holder i håndtakene og får en venn til å snurre hjulet rundt. Forsøk å tippe og vri på hjulet.

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON30 Økonomisk aktivitet og økonomisk politikk Exam: ECON30 Macroeconomic theory and policy Eksamensdag: 30..00 Sensur kunngjøres:..00 Date of exam:

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: INF2810 Eksamensdag: Fredag 5. juni 2015 Tid for eksamen: 14:30 (4 timer) Oppgavesettet er på 4 sider (ikke medregnet denne siden)

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: December 16th. 2005 Tid for eksamen: 14.30 17.30 Oppgavesettet er på 11 sider. Vedlegg: INF3140/4140 Models of Concurrency

Detaljer

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS

UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS Exam: ECON1910 Poverty and distribution in developing countries Date of exam: 28.05.2014 Grades will be given: 18.06.2014 Time for exam: 09:00-12:00. The problem

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Kandidatnr Eksamen i INF1000 Grunnkurs i objektorientert programmering Eksamensdag: Onsdag 10. juni 2009 Tid for eksamen: 9.00 12.00 Oppgavesettet

Detaljer

Norsk (English below): Guide til anbefalt måte å printe gjennom plotter (Akropolis)

Norsk (English below): Guide til anbefalt måte å printe gjennom plotter (Akropolis) Norsk (English below): Guide til anbefalt måte å printe gjennom plotter (Akropolis) 1. Gå til print i dokumentet deres (Det anbefales å bruke InDesign til forberedning for print) 2. Velg deretter print

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: MAT-INF 1100L Programmering, modellering, og beregninger. Prøveeksamen 1 Eksamensdag: Onsdag 14. November 2014. Tid for eksamen:

Detaljer

Hvordan føre reiseregninger i Unit4 Business World Forfatter:

Hvordan føre reiseregninger i Unit4 Business World Forfatter: Hvordan føre reiseregninger i Unit4 Business World Forfatter: dag.syversen@unit4.com Denne e-guiden beskriver hvordan du registrerer en reiseregning med ulike typer utlegg. 1. Introduksjon 2. Åpne vinduet

Detaljer

Høgskoleni Østfold UTSATT EKSAMEN. Emnekode: Course: Mikroøkonomi med anvendelser ( 10 ECTS) SFB 10804

Høgskoleni Østfold UTSATT EKSAMEN. Emnekode: Course: Mikroøkonomi med anvendelser ( 10 ECTS) SFB 10804 Høgskoleni Østfold UTSATT EKSAMEN Emnekode: Course: Mikroøkonomi med anvendelser ( 10 ECTS) SFB 10804 Dato: 08.01 2016 Eksamenstid: 09:00 13:00 (4 timer) Hjelpemidler: Faglærer: Kalkulator JoachimThøgersen

Detaljer

Gol Statlige Mottak. Modul 7. Ekteskapsloven

Gol Statlige Mottak. Modul 7. Ekteskapsloven Gol Statlige Mottak Modul 7 Ekteskapsloven Paragraphs in Norwegian marriage law 1.Kjønn To personer av motsatt eller samme kjønn kan inngå ekteskap. Two persons of opposite or same sex can marry 1 a. Ekteskapsalder.

Detaljer

EXFAC03-FIL Exfac, filosofivariant HØST 2007 Torsdag 13. desember kl ( 4 timer)

EXFAC03-FIL Exfac, filosofivariant HØST 2007 Torsdag 13. desember kl ( 4 timer) EXFAC03-FIL Exfac, filosofivariant HØST 2007 Torsdag 1 desember kl 9.00-1300 ( 4 timer) Oppgavesettet består av åtte sider og er delt inn i to hoveddeler (1 og 2). I del 1 skal én av oppgavene besvares.

Detaljer

stjerneponcho for voksne star poncho for grown ups

stjerneponcho for voksne star poncho for grown ups stjerneponcho for voksne star poncho for grown ups www.pickles.no / shop.pickles.no NORSK Størrelser XS (S) M (L) Garn Pickles Pure Alpaca 300 (350) 400 (400) g hovedfarge 100 (100) 150 (150) g hver av

Detaljer

Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)

Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) INF234 Er du? Er du? - Annet Hvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) Hvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye) Hvor

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF1000 Grunnkurs i objektorientert programmering Eksamensdag: 13. juni 2006 Tid for eksamen: 9.00 12.00 Oppgavesettet er på 5

Detaljer

Perpetuum (im)mobile

Perpetuum (im)mobile Perpetuum (im)mobile Sett hjulet i bevegelse og se hva som skjer! Hva tror du er hensikten med armene som slår ut når hjulet snurrer mot høyre? Hva tror du ordet Perpetuum mobile betyr? Modell 170, Rev.

Detaljer

Exam in Quantum Mechanics (phys201), 2010, Allowed: Calculator, standard formula book and up to 5 pages of own handwritten notes.

Exam in Quantum Mechanics (phys201), 2010, Allowed: Calculator, standard formula book and up to 5 pages of own handwritten notes. Exam in Quantum Mechanics (phys01), 010, There are 3 problems, 1 3. Each problem has several sub problems. The number of points for each subproblem is marked. Allowed: Calculator, standard formula book

Detaljer

0:7 0:2 0:1 0:3 0:5 0:2 0:1 0:4 0:5 P = 0:56 0:28 0:16 0:38 0:39 0:23

0:7 0:2 0:1 0:3 0:5 0:2 0:1 0:4 0:5 P = 0:56 0:28 0:16 0:38 0:39 0:23 UTKAST ENGLISH VERSION EKSAMEN I: MOT100A STOKASTISKE PROSESSER VARIGHET: 4 TIMER DATO: 16. februar 2006 TILLATTE HJELPEMIDLER: Kalkulator; Tabeller og formler i statistikk (Tapir forlag): Rottman: Matematisk

Detaljer

NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Side 1 av 5 INSTITUTT FOR ENERGI- OG PROSESSTEKNIKK

NORGES TEKNISK-NATURVITENSKAPELIGE UNIVERSITET Side 1 av 5 INSTITUTT FOR ENERGI- OG PROSESSTEKNIKK NORGES TEKNISK-NATURVITENSKAPEIGE UNIVERSITET Side 1 av 5 INSTITUTT FOR ENERGI- OG PROSESSTEKNIKK Faglig kontakt under eksamen: Reidar Kristoffersen, tlf.: 73 59 35 67 EKSAMEN I TEP 4110 FUIDMEKANIKK Bokmål/Nnorsk/English

Detaljer

Administrasjon av postnummersystemet i Norge Post code administration in Norway. Frode Wold, Norway Post Nordic Address Forum, Iceland 5-6.

Administrasjon av postnummersystemet i Norge Post code administration in Norway. Frode Wold, Norway Post Nordic Address Forum, Iceland 5-6. Administrasjon av postnummersystemet i Norge Frode Wold, Norway Post Nordic Address Forum, Iceland 5-6. may 2015 Postnumrene i Norge ble opprettet 18.3.1968 The postal codes in Norway was established in

Detaljer

HØGSKOLEN I NARVIK - SIVILINGENIØRUTDANNINGEN

HØGSKOLEN I NARVIK - SIVILINGENIØRUTDANNINGEN HØGSKOLEN I NARVIK - SIVILINGENIØRUTDANNINGEN EKSAMEN I FAGET STE 6243 MODERNE MATERIALER KLASSE: 5ID DATO: 7 Oktober 2005 TID: 900-200, 3 timer ANTALL SIDER: 7 (inklusiv Appendix: tabell og formler) TILLATTE

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i Eksamensdag: 14 juni 2004 Tid for eksamen: 9.00 12.00 Oppgavesettet er på 5 sider. Vedlegg: Tillatte hjelpemidler: INF-MAT2350

Detaljer

Skjema for spørsmål og svar angående: Skuddbeskyttende skjold Saksnr TED: 2014/S

Skjema for spørsmål og svar angående: Skuddbeskyttende skjold Saksnr TED: 2014/S Skjema for spørsmål og svar angående: Skuddbeskyttende skjold Saksnr. 201300129 TED: 2014/S 017-026835 Nr Dokument Referanse Svar 1 Kvalifikasjonsgrunnlag Er det mulig å få tilsendt Nei 27.01.2014 27.01.2014

Detaljer

https://sandefjord.ist-asp.com/sandefjordpub/login.htm

https://sandefjord.ist-asp.com/sandefjordpub/login.htm Søknad om plass i barnehage eller SFO i Sandefjord kommune Application for a place in kindergarten or day care facilities for school children, this will be referred to as SFO. Søknad om plass skal legges

Detaljer

Eksamen PSY1010 PSYC1100 Forskningsmetode I vår 2013

Eksamen PSY1010 PSYC1100 Forskningsmetode I vår 2013 Eksamen PSY1010 PSYC1100 Forskningsmetode I vår 2013 Bokmål Skriftlig skoleeksamen, 16. mai. (3 timer) Ingen hjelpemidler tillatt. Besvar tre 3 av følgende fire 4 oppgaver. Oppgave 1. Tenk deg at du skal

Detaljer

SERVICE BULLETINE 2008-4

SERVICE BULLETINE 2008-4 S e r v i c e b u l l e t i n e M a t e r i e l l Materiellsjef F/NLF kommuniserer påminnelse omkring forhold som ansees som vesentlige for å orientere om viktige materiellforhold. Målgruppen for Servicbulletinen

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Kandidatnr Eksamen i INF1000 Grunnkurs i objektorientert programmering Eksamensdag: Onsdag 1. desember 2010 Tid for eksamen: 14.00 18.00

Detaljer

The Norwegian Citizen Panel, Accepted Proposals

The Norwegian Citizen Panel, Accepted Proposals PROGRAMMER NOTE: There are 4 ways question is asked. That is, each of these one of these 4 questions. Please be sure to use a truly random assignment method to determine

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO Eksamen i UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamensdag: 14. desember 2015 Tid for eksamen: 14.30 18.30 Oppgavesettet er på 6 sider. Vedlegg: Tillatte hjelpemidler: INF2220

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO BOKMÅL Det matematisk-naturvitenskapelige fakultet Eksamen i : Eksamensdag : Torsdag 2. desember 2004 Tid for eksamen : 09.00 12.00 Oppgavesettet er på : Vedlegg : Tillatte hjelpemidler

Detaljer

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT

UNIVERSITETET I OSLO ØKONOMISK INSTITUTT UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON360/460 Samfunnsøkonomisk lønnsomhet og økonomisk politikk Exam: ECON360/460 Resource Allocation and Economic Policy Eksamensdag: redag 30. November

Detaljer

TDT4117 Information Retrieval - Autumn 2014

TDT4117 Information Retrieval - Autumn 2014 TDT4117 Information Retrieval - Autumn 2014 Assignment 1 Task 1 : Basic Definitions Explain the main differences between: Information Retrieval vs Data Retrieval En samling av data er en godt strukturert

Detaljer

NTNU, TRONDHEIM Norges teknisk-naturvitenskapelige universitet Institutt for sosiologi og statsvitenskap

NTNU, TRONDHEIM Norges teknisk-naturvitenskapelige universitet Institutt for sosiologi og statsvitenskap NTNU, TRONDHEIM Norges teknisk-naturvitenskapelige universitet Institutt for sosiologi og statsvitenskap EKSAMENSOPPGAVE I SVPOL 105 Komparativ og Internasjonal Politikk Eksamensdato: 28.11.01 Eksamenstid:

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i: MAT-INF 1100L Programmering, modellering, og beregninger. Eksamensdag: Fredag 2. Desember 2016. Tid for eksamen: 9:00 13:00.

Detaljer

MID-TERM EXAM TDT4258 MICROCONTROLLER SYSTEM DESIGN. Wednesday 3 th Mars Time:

MID-TERM EXAM TDT4258 MICROCONTROLLER SYSTEM DESIGN. Wednesday 3 th Mars Time: Side 1 av 8 Norwegian University of Science and Technology DEPARTMENT OF COMPUTER AND INFORMATION SCIENCE MID-TERM EXAM TDT4258 MICROCONTROLLER SYSTEM DESIGN Wednesday 3 th Mars 2010 Time: 1615-1745 Allowed

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO BOKMÅL Eksamen i : UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet INF1020 Algoritmer og datastrukturer Eksamensdag : Fredag 15. desember 2006 Tid for eksamen : 15.30 18.30 Oppgavesettet

Detaljer

Søker du ikke om nytt frikort/skattekort, vil du bli trukket 15 prosent av utbetalingen av pensjon eller uføreytelse fra og med januar 2016.

Søker du ikke om nytt frikort/skattekort, vil du bli trukket 15 prosent av utbetalingen av pensjon eller uføreytelse fra og med januar 2016. Skatteetaten Saksbehandler Deres dato Vår dato 26.10.2016 Telefon Deres Vår referanse For information in English see page 3 Skattekort for 2016 Du fikk helt eller delvis skattefritak ved likningen for

Detaljer

Trådløsnett med Windows XP. Wireless network with Windows XP

Trådløsnett med Windows XP. Wireless network with Windows XP Trådløsnett med Windows XP Wireless network with Windows XP Mai 2013 Hvordan koble til trådløsnettet eduroam med Windows XP Service Pack 3? How to connect to the wireless network eduroam with Windows XP

Detaljer

PATIENCE TÅLMODIGHET. Is the ability to wait for something. Det trenger vi når vi må vente på noe

PATIENCE TÅLMODIGHET. Is the ability to wait for something. Det trenger vi når vi må vente på noe CARING OMSORG Is when we show that we care about others by our actions or our words Det er når vi viser at vi bryr oss om andre med det vi sier eller gjør PATIENCE TÅLMODIGHET Is the ability to wait for

Detaljer

Elektronisk innlevering/electronic solution for submission:

Elektronisk innlevering/electronic solution for submission: VIKINGTIDSMUSEET Plan- og designkonkurranse/design competition Elektronisk innlevering/electronic solution for submission: Det benyttes en egen elektronisk løsning for innlevering (Byggeweb Anbud). Dette

Detaljer

UNIVERSITETET I OSLO

UNIVERSITETET I OSLO UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF3110/4110 Programmeringsspråk Eksamensdag: 2. desember 2003 Tid for eksamen: 14.30 17.30 Oppgavesettet er på 7 sider. Vedlegg:

Detaljer

MA2501 Numerical methods

MA2501 Numerical methods MA250 Numerical methods Solutions to problem set Problem a) The function f (x) = x 3 3x + satisfies the following relations f (0) = > 0, f () = < 0 and there must consequently be at least one zero for

Detaljer