INF3230 - Spring 2007

Teaching plan

DateTeacherPlaceTopicLecture notes / comments
22.01.2007Peter Ølveczky  Lille auditorium, Ifi  Introduksjon til kurset; litt om signaturer  Slides til forelesning  
24.01.2007Peter Ølveczky  Ifi, 3B, kl. 10.10-12.00  Forelesning: likhetsspesifikasjoner  Slides from the lecture

 *Obligatorisk oppgave 1* ut. Innleveringsfrist 9.2.

Mandatory homework assignment 1 out. Due Feb 9. 

25.01.2007Peter Ølveczky  Ifi, rom 3A, 12.15-14.01  Forelesning: likhetsspesifikasjoner  Samme som 24.5 
29.01.2007Peter Ølveczky  Lille aud., Ifi  Order-sorted spesifikasjoner og innebygde moduler   
31.01.2007Lars Overå  Rom 3B, Ifi  Oppgavegjennomgang (Exercises)  Oppgavesett 1 (oppg 21 og 23 utgår, fordi vi ikke kom langt nok i forelesningen) (løsningsforslag)

Exercises in English 

05.02.2007Peter Ølveczky  Lille aud., Ifi  Assosiativitet og kommutativitet; operasjonell semantikk  This lecture begins at 9.50 due to Super Bowl

Slides fra forelesning

 Obligatorisk oppgave 2 ut. Innleveringsfrist 2.3

Mandatory homework assignment 2 is out. It is due March 2.

(Notice that some exercises can be solved after the lecture on Feb 5, the termination exercises after the termination lecture, and the confluence exercises after the lecture on confluence.)  

07.02.2007Lars Overå  Rom 3B, Ifi  Oppgavegjennomgang  Oppgavesett 2/Problem set 2

(løsningsforslag ) 

09.02.2007      Innleveringsfrist oblig 1

Deadline for mandatory homework assigment 1 

12.02.2007Peter Ølveczky  Lille aud., Ifi  Terminering  Slides for the lecture (in Norwegian)  
14.02.2007Peter Ølveczky (!)  Rom 3B, Ifi  Oppgavegjennomgang  Oppgavesett 3/Problem Set 3

(løsningsforslag)  

19.02.2007Peter Ølveczky   Lille Aud., Ifi  Konfluens  Slides (in Norwegian)  
21.02.2007Lars Overå  Room 3B, Ifi  Oppgavegjennomgang/Exercise seminar  Oppgavesett 4/Problem set 4

(losningsforslag) 

26.02.2007-----    ------  Muligens ingen forelesning ... slik at man jobbe med oblig 2

No lecture this day 

28.02.2007Lars Overå  Rom 3B, Ifi  Oppgavegjennomgang/Seminar  Oppgavesett 5/Problems set 5

(losningsforslag) 

02.03.2007      Tentativ innleveringsfrist oblig 2  
05.03.2007Professor Olaf Owe  Lille Aud., Ifi  Likhetslogikk og induktive teoremer  Foils 
07.03.2007Lars Overå  Ifi, 3 B  Oppgavegjennomgang (Seminar)  Kommentarer til oblig 2? (Comments on mandatory assignment 2?)

Oppgavesett 6/Problem set 6

(losningsforslag) 

12.03.2007Peter Ølveczky    Introduksjon til kursets Del II og omskrivningslogikk  Slides (in Norwegian)

 

14.03.2007Lars Overå  Ifi, 3B  Oppgavegjennomgang (seminar)  Oppgavesett 7/Problem set 7

(løsningsforslag) 

19.03.2007Peter Ølveczky  Ifi, lille aud  Omskrivningslogikk  Slides (in Norwegian)  
21.03.2007Lars Overå  Ifi, 3B  Oppgavegjennomgang  Oppgavesett 8/Problem set 8

Kommentarer til oblig 2. Oppgavegjennomgang.

(løsningsforslag)  

26.03.2007-----  -----  -----  Ifølge universitetets regler skal det ikke være forelesning denne uken pga midttermin-eksamen.

No lecture according to university regulations 

28.03.2007Lars Overå  Ifi, 3B  Oppgave/seminar  Oppgavesett 9/Problem Set 9

(løsningsforslag)

I tillegg kan man muligens vurdere en gjennomgang av eksamensoppgaver og andre oppgaver som ønskes repetert (send ønsker til gruppelærer i god tid!). Nyttig snikk-snakk om eksamen!

Please let the TA know if you have some questions about the exam. 

30.03.2007EKSAMEN    Eksamen  Midttermin-eksamen tentativt satt opp til 30/3, kl. 9.00-12.00, men dette kan endre seg, så sjekk universitetets offisielle nettsteder for tid og sted. Stedet synes å være Gymsal 2 i Idrettsbygningen (den gamle ved Frederikke, skulle jeg tro).

 Midterm exam. Check official web pages for time and place! You have be there 15 minutes before the start of the exam. (Most probably you have to be there at 8.45am this day.) The location seems to be the old athletics building in the main "Frederikke" building in the center of the campus. 

02.04.2007--------------  --------------  --------------  I will skip the lecture this day, and instead have lecture Wednesday April 11 
04.04.2007-----  ------  ------  Påskearbeidsuke (ingen oppgavegjennomgang)

(Easter working week; no seminar.) 

09.04.2007----------  ----------  ----------  Påskearbeidsuke (ingen forelesning)

(Easter "work day"; no lecture) 

11.04.2007Peter Ølveczky  Ifi, 3B  Lecture! Distributed objects in (Full) Maude  Notice that there is a lecture this day, replacing the omitted lecture which could have been held April 2.

Slides (in Norwegian)  

16.04.2007Peter Ølveczky (??)  Ifi, lille aud.  Modellering av kommunikasjon i Maude 1  Slides (in Norwegian)  
18.04.2007Lars Overå  Ifi, 3B  Oppgavegjennomgang  Oppgavesett 10/Exercise Set 10

(løsningsforslag)  

23.04.2007Peter Ølveczky  Ifi, lille aud  Modellering av kommunikasjon (2)/Alternating Bit Protocol  Slides (in Norwegian)

Etter denne forelesningen har man grunnlag for å løse obligatorisk oppgave 3 (frist 11.5)

Obligatorisk oppgave 3 (frist 11/5)(Mandatory homework assignment 3 (due May 11) ) 

25.04.2007Peter Ølveczky  Ifi, 3B  Oppgavegjennomgang/Exercises  Oppgavesett 11/Exercise Set 11

(løsningsforslag)  

30.04.2007Peter Ølveczky  Lille aud., Ifi  Two-phase commit protocol for distributed databases/Temporal properties (requirement spec's)  Slides (in Norwegian)

Correct Full Maude spec of two-phase commit 

02.05.2007Lars Overå  Ifi, 3B  Exercises  Oppgavesett 12 (Exercise set 12 in English )

(løsningsforslag)  

07.05.2007Peter Ølveczky  Ifi, Lille Aud  Sikkerhetsprotokoller (NSPK-protokollen)  Slides (in Norwegian)  
09.05.2007Lars Overå  Ifi, 3B  Exercises  Oppgavesett 13/Exercise Set 13

(løsningsforslag)

 

11.05.2007      Foreløpig frist oblig 3

Due date for assignment 3!! 

14.05.2007Peter Ølveczky  Lille aud., Ifi  Oppsummering av kurset  Oppsummering oppsummerer hva man egentlig har (dvs., skulle ha) lært og gir det "store bildet"

Slides (in Norwegian)

 

16.05.2007Lars Overå  Ifi 3B  Oppgavegjennomgang  Oppgavesett 14/Exercise set 14  
21.05.2007------  ------  ------  End of lectures 
23.05.2007Lars Overå  Ifi, 3B  Oppgavegjennomgang  Oppgavesett/Problem set 15/16

(losningsforslag)  

30.05.2007Lars Overå  Ifi 3B  Oppgavegjennomgang  Oppgavesett/Problem set 15/16

(losningsforslag)  

01.06.2007Peter Ølveczky  Lille Aud (most likely) at 12.15  Repetition based on your questions  There will be a final lecture this day. It is entirely to address your questions, so you have a chance to ask me things.

Lille Auditorium should be available from 12.15 to 14.00.

Please email me about what you want me to discuss.

(slides in Norwegian)  

07.06.2007EKSAMEN  ???  9.00-12.00 (??)  Eksamen Sjekk universitets offisielle sider for å være sikker på tid og sted.

Lykke til / Good luck!

Solutions 

Published Dec. 14, 2006 5:40 PM - Last modified June 7, 2007 2:54 PM
E-mail this page