UNIVERSITETET I OSLO
|
|
- Trond Rasmussen
- 5 år siden
- Visninger:
Transkript
1 UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 4232 Logikk for systemanalyse Eksamensdag: 13. juni 2017 Tid for eksamen: Oppgavesettet er på 8 sider. Vedlegg: Ingen vedlegg Tillatte hjelpemidler: Alle trykte og skrevne Kontroller at oppgavesettet er komplett før du begynner å besvare spørsmålene. Oppgavene og deloppgavene kan til en viss 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 4232, 13. juni 2017 Side 2 Oppgave 1 Romertall (37 poeng) Et romertall er en liste av bokstaver I (1), V (5), X (10), L (50), C (100), D (500) og M (1000). Nummeret i parentes er verdien til symbolet. Verdien til et romertall får man ved å legge sammen verdien til alle enkeltbokstaver, med følgende unntak: hvis en bokstav står like til venstre for en bokstav med større verdi, så trekkes verdien av bokstaven til venstre fra sluttsummen. (Dette fordi det er vrient å lese 4 like bokstaver ved siden av hverandre, så det bør unngås.) Verdien til romertallet LXXVIII er =78. Romertallet IX betegner tallet 9, MCM tallet 1900, mens MCMXCIX betegner tallet 1999 (C en til venstre er til venstre for det større tallet M og må trekkes fra; det samme med den første X og I, slik at summen blir =1999.) Tallene 44 og 2017 representeres henholdsvis av romertallene XLIV og MMXVII. 1a Representasjon av romertall (6 poeng) Definér en sort Roman for å representere romertall i Maude. Hvis så hvordan romertallene XLIV og MMXVII representeres som termer av sorten Roman. 1b Konvertere romertall til desimaltall (16 poeng) Definér en funksjon op decimal : Roman -> Nat. som konverterer et romertall til et naturlig tall in Maude. For eksempel så skal decimal(t) returnere 44 hvis termen t er din representasjon av romertallet XLIV. 1c Likhetslogikk I (7 poeng) La R være en variabel av sort Roman, og la S være din spesifikasjon. Er det slik at S decimal( R I ) = decimal(r) + 1 holder? Her er R I din representasjon av romertallet R med en I lagt til til høyre (jeg kan jo ikke vite hvordan du har valgt å representere romertall). Du kan anta velkjente egenskaper til funksjoner som if_then_else_fi, <, <= og +. (Hvis du trenger det, kan du også anta at + er spesifisert av ligningene i NAT-ADD.) 1d Likhetslogikk II (8 poeng) Holder S ind decimal( R I ) = decimal(r) + 1? (Med samme antagelser som over.) Husk at alle svar må bevises/begrunnes. (Fortsettes på side 3.)
3 Eksamen i INF 4232, 13. juni 2017 Side 3 Oppgave 2 Konfluens (14 poeng) Gi et eksempel på en likhetsspesifikasjon som er lokalt konfluent, men som ikke er (globalt) konfluent. Oppgave 3 Simulere Turingmaskiner (53 poeng) Vi skal definere en universell Maude-simulator/interpret for Turingmaskiner. Våre tilstander har formen machine: transes state: q tapeleft: tapeleft head: symbol taperight: taperight der transes er transisjonene til en Turingmaskin, q er nåværende tilstand i Turningmaskinen, tapeleft er tapen til venstre for lesehodet, symbol er tegnet lesehodet peker på, mens taperight er tapen til høyre for lesehodet. Denne operatoren er deklarert op machine:_state:_tapeleft:_head:_taperight:_ : TMtranses State Tape Symbol Tape -> TMsystem [ctor]. 3a Datatyper (8 poeng) Anta at vi er gitt en sort Symbol, for alfabetet til Turingmaskinen som skal simuleres (dette alfabetet inneholder alltid en blank ), og en sort State for tilstandene til Turningmaskinen. 1. Definér en sort Tape, for å representere tapen (eller deler av den) til en Turingmaskin. (Hvis du trenger det, kan du du definere to sorter, for hhv. tapen til venstre og til høyre for lesehodet.) 2. Definér en sort TMtranses hvis grunntermer representer mengder av Turingmaskintransisjoner. 3b Spesifisér interpreten (20 poeng) Spesifisér i Maude alle steg en slik Turingmaskin-simulator kan foreta. 3c Representere en Turingmaskin (4 poeng) I resten av oppgaven antar vi at vi skal simulere en Turingmaskin med alfabet {a, b, c, }, tilstander {q 0, q 1 }, transisjoner {(q 0, a, q 1, a, right), (q 0, a, q 1, b, right), (q 1, c, q 0, c, left), (q 1, c, q 0, a, left)} og initialtilstand q 0. Tapen vi starter med er a b a c b, og lesehodet peker på a en i midten (tegn tre fra venstre). (I tillegg er det uendelig mange blanke tegn på begge ender av tapen.) Definér en passende initialtiltand av sort TMsystem for å simulere ovennevnte Turingmaskin med gitt tape. (Fortsettes på side 4.)
4 Eksamen i INF 4232, 13. juni 2017 Side 4 3d Terminering (6 poeng) 1. Finnes det en terminerende kjøring fra denne initialtilstanden? 2. Terminerer alle kjøringen fra denne initialtilstanden? 3. Kan du bruke Maude til å avgjøre hvorvidt det finnes en terminerende kjøring fra initialtilstanden? 4. Kan du bruke Maude til å avgjøre hvorvidt alle kjøringer fra initialtilstanden vil terminere? 3e Temporale egenskaper (7 poeng) Gitt følgende tilstandsutsagn: 1. Det er totalt 3 b er på hele tapen (inklusive venstre del, ruten lesehodet peker på, og høyre del). 2. Det er ikke to b er ved siden av hverandre noen steder på tapen til høyre for lesehodet. 3. Det er minst to a er på tapen. For hvert av disse, forklar hvorvidt utsagnet er invariant, garantert, oppnåelig og/eller stabilt mht. initialtilstanden over. 3f Invarianter (8 poeng) Hvilken Maude-kommando ville du bruke for å sjekke om utsagn 2 i deloppgaven over virkelig er en invariant mht. den gitte initialtilstanden? Hva er forventet resultat av å eksekvere kommandoen? Lykke til! Peter C. Ölveczky (Fortsettes på side 5.)
5 Eksamen i INF 4232, 13. juni 2017 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 defined. Exercise 1: Roman Numerals (37 points) A Roman numeral (number) is a list of symbols I (1), V (5), X (10), L (50), C (100), D (500), and M (1000), where the number in parenthesis denotes the value of the symbol. To see what number a Roman numeral represents, just add the values of all the symbols, with the following exception: a smaller-valued symbol immediately to the left of a larger-valued symbol is subtracted (instead of added) from the total value of the whole numeral. (This is to avoid having four symbols with the same value next in a row, which would be very difficult to read. A Roman numeral therefore can have at most three symbols of the same value in a row.) For example, the value of LXXVIII is = 78. Here there was no smaller-valued symbol to the left of a greater-valued symbol. Furthermore, IX denotes the number 9, and MCM denotes the number MCMXCIX denotes the number 1999 (the left-most C, the left-most X and the I are immediately to the left of a larger-valued symbol, so the sum is ( )= 1999). Finally, the numbers 44 and 2017 are presented as, respectively, XLIV and MMXVII. In this exercise you can safely assume that all numbers are smaller than Exercise 1a: Representing Roman Numerals (6 points) Define a sort Roman for representing Roman numerals (numbers) in Maude. Then show how the Roman numerals XLIV and MMXVII are represented as terms of your sort Roman. Exercise 1b: Convert to Decimal Numbers (16 points) Define (in Maude) a function op decimal : Roman -> Nat. which converts a Roman numeral to a natural number (in standard decimal notation). For example, decimal(t) should return 44 if the term t is your representation of XLIV. (Fortsettes på side 6.)
6 Eksamen i INF 4232, 13. juni 2017 Side 6 Exercise 1c: Equational Logic I (7 points) Let R be a variable of sort Roman, and let S be your specification. Is it the case that S decimal( R I ) = decimal(r) + 1 (where R I denotes 1 the (term representing the) Roman numeral obtained by adding I to the right of the numeral R )? If you need, you can assume the obvious properties of functions such that < and if_then_else_fi, and even standard properties of +. (If you by need it, you can even assume that + is defined by the two equations in the module NAT-ADD in the textbook.) Exercise 1d: Equational Logic II (8 points) Is it the case that S ind decimal( R I ) = decimal(r) + 1? (Same assumptions as above.) Don t forget that all answers must be proved/justified. Exercise 2: Confluence (14 points) Define an equational specification that is locally confluent, but that is not (globally) confluent. Exercise 3: Turing Machine Simulation (53 points) In this exercise we will define a Turing Machine interpreter/simulator in Maude. In particular, the state of your system will have the form machine: transes state: q tapeleft: tapeleft head: symbol taperight: taperight where transes denotes the transitions of the Turing machine, q denotes the current state of the Turing machine we are simulating, tapeleft denotes the part of the tape that is to the left of the square that the head of the machine is pointing at, symbol denotes the symbol in the square of the tape where the head is currently pointing, and taperight denotes the part of the tape that is to the right of the square where the head is currently pointing. This globalstate operator is defined op machine:_state:_tapeleft:_head:_taperight:_ : TMtranses State Tape Symbol Tape -> TMsystem [ctor]. 1 Remember that I cannot know how you represent Roman numerals. (Fortsettes på side 7.)
7 Eksamen i INF 4232, 13. juni 2017 Side 7 Exercise 3a: Data Types (8 points) Assume given sorts Symbol for the symbols (the alphabet) of the Turing machine (which always includes the blank ), and a sort State for its states. 1. Define in Maude a sort Tape, that represents the tape (parts) of a Turing machine. (If you need it, you can also specify sorts TapeLeft and TapeRight for the two parts of the tape.) 2. Define a sort TMtranses, whose ground terms represent the transitions of a Turing machine. Exercise 3b: Specifying the Interpreter (20 points) Specify in Maude all the steps that such a generic Turing machine simulator can perform. (That is, specify the interpreter/simulator.) Exercise 3c: Representing a Turing Machine (4 points) Consider in the rest of this exercise a Turing machine with symbols/alphabet {a, b, c, }, states {q 0, q 1 }, transitions {(q 0, a, q 1, a, right), (q 0, a, q 1, b, right), (q 1, c, q 0, c, left), (q 1, c, q 0, a, left)}, and initial state q 0. Furthermore, the input tape that we start the machine with is a b a c b. The head initially points at the a in the middle (symbol number 3 from left). Of course, the input tape has infinitely many blanks in both ends. Define a suitable initial state, as a term of sort TMsystem, for simulating the above Turing machine with the above tape and head position. Exercise 3d: Termination (6 points) 1. Is there a terminating computation from the above initial state? 2. Are all computations from that initial state terminating? 3. Can you use Maude to check whether there is a terminating computation from the above initial state? 4. Can you use Maude to check whether all computations from that state terminate? Exercise 3e: Temporal Properties (7 points) Given the following state properties: 1. There are three b s in total on the tape (meaning the whole tape: the left part, the head part, and the right part). 2. There are not two b s next to each other anywhere on the tape to the right of the head. (Fortsettes på side 8.)
8 Eksamen i INF 4232, 13. juni 2017 Side 8 3. There are at least two a s on the tape. For each of these properties, state whether it is invariant, guaranteed, reachable, and/or stable with respect to the initial state above. Exercise 3f: Checking Invariance (8 points) Which Maude command would you give to check whether property 2 in Exercise 3e is an invariant w.r.t. the given initial state? What is the expected outcome of executing that Maude command? Good luck! Peter C. Ölveczky
UNIVERSITETET I OSLO
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: 9.00 12.00 Oppgavesettet
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerSlope-Intercept Formula
LESSON 7 Slope Intercept Formula LESSON 7 Slope-Intercept Formula Here are two new words that describe lines slope and intercept. The slope is given by m (a mountain has slope and starts with m), and intercept
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITY 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
DetaljerUNIVERSITETET 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
DetaljerUnit Relational Algebra 1 1. Relational Algebra 1. Unit 3.3
Relational Algebra 1 Unit 3.3 Unit 3.3 - Relational Algebra 1 1 Relational Algebra Relational Algebra is : the formal description of how a relational database operates the mathematics which underpin SQL
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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:
DetaljerUNIVERSITETET 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
DetaljerEKSAMENSOPPGAVE 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
DetaljerUNIVERSITETET 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:
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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.
DetaljerUNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS
UNIVERSITY OF OSLO DEPARTMENT OF ECONOMICS English Postponed exam: ECON2915 Economic growth Date of exam: 11.12.2014 Time for exam: 09:00 a.m. 12:00 noon The problem set covers 4 pages Resources allowed:
DetaljerUNIVERSITETET I OSLO
UNIVERSITETET I OSLO Det matematisk-naturvitenskapelige fakultet Eksamen i INF 3230/4230 Formell modellering og analyse av kommuniserende systemer Eksamensdag: 18. mars 2005 Tid for eksamen: 13.30 16.30
DetaljerUNIVERSITETET 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
Detaljer5 E Lesson: Solving Monohybrid Punnett Squares with Coding
5 E Lesson: Solving Monohybrid Punnett Squares with Coding Genetics Fill in the Brown colour Blank Options Hair texture A field of biology that studies heredity, or the passing of traits from parents to
DetaljerUNIVERSITETET 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
DetaljerUniversitetet 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å
DetaljerUNIVERSITETET 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:
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSIEE I OSLO ØKONOMISK INSIU Eksamen i: ECON320/420 Mathematics 2: Calculus and Linear Algebra Exam: ECON320/420 Mathematics 2: Calculus and Linear Algebra Eksamensdag:. desember 207 Sensur kunngjøres:
DetaljerDen som gjør godt, er av Gud (Multilingual Edition)
Den som gjør godt, er av Gud (Multilingual Edition) Arne Jordly Click here if your download doesn"t start automatically Den som gjør godt, er av Gud (Multilingual Edition) Arne Jordly Den som gjør godt,
DetaljerUNIVERSITETET 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
DetaljerOppgave. føden)? i tråd med
Oppgaver Sigurd Skogestad, Eksamen septek 16. des. 2013 Oppgave 2. Destillasjon En destillasjonskolonne har 7 teoretiske trinn (koker + 3 ideelle plater under føden + 2 ideellee plater over føden + partielll
DetaljerNeural Network. Sensors Sorter
CSC 302 1.5 Neural Networks Simple Neural Nets for Pattern Recognition 1 Apple-Banana Sorter Neural Network Sensors Sorter Apples Bananas 2 Prototype Vectors Measurement vector p = [shape, texture, weight]
DetaljerDynamic Programming Longest Common Subsequence. Class 27
Dynamic Programming Longest Common Subsequence Class 27 Protein a protein is a complex molecule composed of long single-strand chains of amino acid molecules there are 20 amino acids that make up proteins
DetaljerUNIVERSITY 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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.
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON1310 Økonomisk aktivitet og økonomisk politikk Exam: ECON1310 Macroeconomic theory and policy Eksamensdag: 18.05.01 Sensur blir annonsert: 07.06.01
DetaljerExam 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
DetaljerHan Ola of Han Per: A Norwegian-American Comic Strip/En Norsk-amerikansk tegneserie (Skrifter. Serie B, LXIX)
Han Ola of Han Per: A Norwegian-American Comic Strip/En Norsk-amerikansk tegneserie (Skrifter. Serie B, LXIX) Peter J. Rosendahl Click here if your download doesn"t start automatically Han Ola of Han Per:
DetaljerTrigonometric Substitution
Trigonometric Substitution Alvin Lin Calculus II: August 06 - December 06 Trigonometric Substitution sin 4 (x) cos (x) dx When you have a product of sin and cos of different powers, you have three different
DetaljerTMA4329 Intro til vitensk. beregn. V2017
Norges teknisk naturvitenskapelige universitet Institutt for Matematiske Fag TMA439 Intro til vitensk. beregn. V17 ving 4 [S]T. Sauer, Numerical Analysis, Second International Edition, Pearson, 14 Teorioppgaver
DetaljerUNIVERSITETET 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
DetaljerUNIVERSITETET 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
Detaljer0: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
DetaljerUNIVERSITETET 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:
DetaljerEN 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
DetaljerMathematics 114Q Integration Practice Problems SOLUTIONS. = 1 8 (x2 +5x) 8 + C. [u = x 2 +5x] = 1 11 (3 x)11 + C. [u =3 x] = 2 (7x + 9)3/2
Mathematics 4Q Name: SOLUTIONS. (x + 5)(x +5x) 7 8 (x +5x) 8 + C [u x +5x]. (3 x) (3 x) + C [u 3 x] 3. 7x +9 (7x + 9)3/ [u 7x + 9] 4. x 3 ( + x 4 ) /3 3 8 ( + x4 ) /3 + C [u + x 4 ] 5. e 5x+ 5 e5x+ + C
DetaljerEksamen ENG1002/1003 Engelsk fellesfag Elevar og privatistar/elever og privatister. Nynorsk/Bokmål
Eksamen 22.11.2012 ENG1002/1003 Engelsk fellesfag Elevar og privatistar/elever og privatister Nynorsk/Bokmål Nynorsk Eksamensinformasjon Eksamenstid Hjelpemiddel Eksamen varer i 5 timar. Alle hjelpemiddel
DetaljerOppgave 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
DetaljerUNIVERSITETET 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
DetaljerDu 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
DetaljerInformation 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
DetaljerUNIVERSITETET 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.
DetaljerMoving Objects. We need to move our objects in 3D space.
Transformations Moving Objects We need to move our objects in 3D space. Moving Objects We need to move our objects in 3D space. An object/model (box, car, building, character,... ) is defined in one position
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Eksamen i: ECON320/420 Mathematics 2: Calculus and linear algebra Exam: ECON320/420 Mathematics 2: Calculus and linear algebra Eksamensdag: Tirsdag 30. mai 207
DetaljerGraphs similar to strongly regular graphs
Joint work with Martin Ma aj 5th June 2014 Degree/diameter problem Denition The degree/diameter problem is the problem of nding the largest possible graph with given diameter d and given maximum degree
DetaljerKartleggingsskjema / 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
DetaljerOppgave 1. ( xφ) φ x t, hvis t er substituerbar for x i φ.
Oppgave 1 Beviskalklen i læreboka inneholder sluttningsregelen QR: {ψ φ}, ψ ( xφ). En betingelse for å anvende regelen er at det ikke finnes frie forekomste av x i ψ. Videre så inneholder beviskalklen
DetaljerUNIVERSITETET 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
DetaljerHvor mye praktisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)
INF247 Er du? Er du? - Annet Ph.D. Student 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,
DetaljerHø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
DetaljerUNIVERSITETET 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
DetaljerHvordan 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
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
UNIVERSITETET I OSLO ØKONOMISK INSTITUTT Bokmål Eksamen i: ECON30 Økonomisk aktivitet og økonomisk politikk Exam: ECON30 Macroeconomic theory and policy Eksamensdag: 26.05. 204 Sensur kunngjøres: 6.06.204
DetaljerEksamensoppgave i TMA4320 Introduksjon til vitenskapelige beregninger
Institutt for matematiske fag Eksamensoppgave i TMA432 Introduksjon til vitenskapelige beregninger Faglig kontakt under eksamen: Anton Evgrafov Tlf: 453 163 Eksamensdato: 8. august 217 Eksamenstid (fra
DetaljerKROPPEN 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
DetaljerDagens tema: Eksempel Klisjéer (mønstre) Tommelfingerregler
UNIVERSITETET I OSLO INF1300 Introduksjon til databaser Dagens tema: Eksempel Klisjéer (mønstre) Tommelfingerregler Institutt for informatikk Dumitru Roman 1 Eksempel (1) 1. The system shall give an overview
DetaljerExercise 1: Phase Splitter DC Operation
Exercise 1: DC Operation When you have completed this exercise, you will be able to measure dc operating voltages and currents by using a typical transistor phase splitter circuit. You will verify your
DetaljerCall function of two parameters
Call function of two parameters APPLYUSER USER x fµ 1 x 2 eµ x 1 x 2 distinct e 1 0 0 v 1 1 1 e 2 1 1 v 2 2 2 2 e x 1 v 1 x 2 v 2 v APPLY f e 1 e 2 0 v 2 0 µ Evaluating function application The math demands
DetaljerTrå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å
DetaljerMedisinsk statistikk, KLH3004 Dmf, NTNU 2009. Styrke- og utvalgsberegning
Styrke- og utvalgsberegning Geir Jacobsen, ISM Sample size and Power calculations The essential question in any trial/analysis: How many patients/persons/observations do I need? Sample size (an example)
DetaljerUNIVERSITETET 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:
DetaljerHvor mye teoretisk kunnskap har du tilegnet deg på dette emnet? (1 = ingen, 5 = mye)
INF283, HØST 16 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 =
DetaljerThe 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
DetaljerPerpetuum (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.
DetaljerVerifiable Secret-Sharing Schemes
Aarhus University Verifiable Secret-Sharing Schemes Irene Giacomelli joint work with Ivan Damgård, Bernardo David and Jesper B. Nielsen Aalborg, 30th June 2014 Verifiable Secret-Sharing Schemes Aalborg,
DetaljerGEO231 Teorier om migrasjon og utvikling
U N I V E R S I T E T E T I B E R G E N Institutt for geografi Emnerapport høsten 2013: GEO231 Teorier om migrasjon og utvikling Innhold: 1. Informasjon om emnet 2. Statistikk 3. Egenevaluering 4. Studentevaluering
DetaljerEndringer 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
DetaljerHvor 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
DetaljerSiste seminar: Foreslåtte oppgaver basert på ønsker.
Siste seminar: Foreslåtte oppgaver basert på ønsker.!!! Siste seminar er i utgangspunktet åpent for repetisjon. Hvis seminargruppen har planlagt andre temaer for gjennomgang med seminarleder, kan det være
DetaljerUNIVERSITETET 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:
DetaljerDu kan bruke det vedlagte skjemaet Egenerklæring skattemessig bosted 2012 når du søker om frikort.
Skatteetaten Saksbehandler Deres dato Vår dato 28.10.2011 Telefon Deres Vår referanse For information in English see page 3 Skattekort for 2012 Du fikk helt eller delvis skattefritak ved likningen for
DetaljerDatabases 1. Extended Relational Algebra
Databases 1 Extended Relational Algebra Relational Algebra What is an Algebra? Mathematical system consisting of: Operands --- variables or values from which new values can be constructed. Operators ---
DetaljerECON3120/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
DetaljerUNIVERSITETET 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
DetaljerSVM and Complementary Slackness
SVM and Complementary Slackness David Rosenberg New York University February 21, 2017 David Rosenberg (New York University) DS-GA 1003 February 21, 2017 1 / 20 SVM Review: Primal and Dual Formulations
Detaljerstjerneponcho 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
DetaljerTMA4240 Statistikk 2014
Norges teknisk-naturvitenskapelige universitet Institutt for matematiske fag Øving nummer 6, blokk I Løsningsskisse Oppgave 1 Fremgangsmetode: P X 1 < 6.8 Denne kan finnes ved å sette opp integralet over
DetaljerFYSMEK1110 Eksamensverksted 23. Mai :15-18:00 Oppgave 1 (maks. 45 minutt)
FYSMEK1110 Eksamensverksted 23. Mai 2018 14:15-18:00 Oppgave 1 (maks. 45 minutt) Page 1 of 9 Svar, eksempler, diskusjon og gode råd fra studenter (30 min) Hva får dere poeng for? Gode råd fra forelesere
DetaljerGol 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.
DetaljerMID-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
DetaljerHØ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
DetaljerGEF2200 Atmosfærefysikk 2017
GEF2200 Atmosfærefysikk 2017 Løsningsforslag til sett 3 Oppgaver hentet fra boka Wallace and Hobbs (2006) er merket WH06 WH06 3.18r Unsaturated air is lifted (adiabatically): The rst pair of quantities
DetaljerUNIVERSITETET I OSLO ØKONOMISK INSTITUTT
1 UNIVERSITETET I OSO ØKONOMISK INSTITUTT Eksamen i: ECON915 Vekst og næringgstruktur Exam: ECON915 Growth and business structure Eksamensdag: Torsdag 6. november 009 Sensur kunngjøres: 18. desember ca
DetaljerAppendix B, not for publication, with screenshots for Fairness and family background
Appendix B, not for publication, with screenshots for Fairness and family background Ingvild Almås Alexander W. Cappelen Kjell G. Salvanes Erik Ø. Sørensen Bertil Tungodden This document shows screenshots
Detaljer