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