INF3230 - V?r 2005

Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
21.01.2005Peter ?lveczky? Lille Aud., Ifi? Introduksjon til kurset; litt om signaturer? Slides til forelesning?
26.01.2005? ? Ingen gruppe?velser denne uken? Oppgaver til denne dagen

Merk at dette er f? oppgaver og ikke blir gjennomg?tt, men b?r gj?res!?

28.01.2005Peter ?lveczky? Audotorium U35, Helga Engs hus *MERK STEDET!!*? Likhetsspesifikasjoner? Slides til forelesning

?Obligatorisk oppgave 1 er n? ute. Innleveringsfrist 11.2.?

02.02.2005? ? Oppgavegjennomg?else? Oppgavesett 2

L?sningsforslag ?

04.02.2005Peter ?lveczky? Lille Aud., Ifi? Order-sorted spesifikasjoner og innebygde moduler? Slides fra forelesning??
09.02.2005? ? Oppgavegjennomg?else? Oppgavesett 3

L?sningsforslag?

11.02.2005Peter ?lveczky? Auditorium 1, Biologibygget? ? Innleveringsfrist oblig 1

Utlevering oblig 2 Tentativ innleveringsfrist 3.3.

Slides fra forelesning?

16.02.2005Bruvik/Gjelstad? ? Oppgavegjennomg?else? Oppgavesett 4

L?sningsforslag??

18.02.2005Peter ?lveczky? Lille Aud, Ifi (tror jeg!)? Terminering? Slides fra forelesning??
23.02.2005Bruvik/Gjelstad? *Rom 3 C, Ifi* (merk stedet for *begge* gruppene)? Oppgavegjennomg?else? Oppgavesett 5

L?sningsforslag?

25.02.2005Ingrid C. Yu? Lille Aud., Ifi (tror jeg!)? Konfluens (3.4)? Slides fra forelesning??
02.03.2005Bruvik/Gjelstad? Rom 3 C, Ifi? Oppgavegjennomg?else? Oppgavesett 6

L?sningsforslag?

04.03.2005Peter ?lveczky? Lille Aud., Ifi (?)? Likhetslogikk? Slides fra forelesning

Innleveringsfrist oblig 2.?

09.03.2005Bruvik/Gjelstad? Ifi, rom 3 C? Oppgavegjennomg?else? Oppgavesett 7

L?sningsforslag?

11.03.2005Peter ?lveczky? Lille Aud., Ifi? Innledning Del II + repetisjon til eksamen? Slides fra forelesning

1. Konfluens: bl a oppgavene 73 og 74

2. Terminering: pr?veeksamen 1, oppgave 3

3. Begynne p? Del II av kurset.?

16.03.2005Bruvik/Gjelstad? Ifi, rom 3 C? Oppgavegjennomg?else? Oppgavesett 8

L?sningsforslag??

18.03.2005? ? ? Midterm eksamen!! fredag 18.3 klokken 13.30.

Eksamensoppgave

L?sningsforslag??

30.03.2005Bruvik/Gjelstad? Ifi, rom 3C? Oppgavegjennomg?else? Oppgavesett 9

L?sningsforslag??

01.04.2005Peter ?lveczky? ? Omskrivningslogikk? Slides til forelesning??
06.04.2005Bruvik/Gjelstad? Ifi, 3C? Oppgavegjennomg?else? Oppgavesett 10

L?sningsforslag??

08.04.2005Peter ?lveczky? Lille Aud., Ifi? Distribuerte objekter i Maude? Slides fra forelesning??
13.04.2005Bruvik/Gjelstad? Ifi, 3C? Oppgavegjennomg?else? Oppgavesett 11

L?sningsforslag??

15.04.2005Peter ?lveczky? Lille Aud., Ifi? Kommunikasjon I? Slides fra forelesning (sidene 50 og 51 oppdatert 2.5)

Halvferdige kapittel 8 av kompendiet?

20.04.2005Bruvik/Gjelstad? Ifi, 3C? Oppgavegjennomgang? Oppgavesett 12

L?sningsforslag??

22.04.2005Peter ?lveczky? Lille Aud., Ifi? Kommunikasjon II? Slides fra forelesning

*Oblig 3* har innleveringsfrist tirsdagen 10. mai?

27.04.2005---? ---? Ingen gruppetimer!? Ingen gruppetimer denne uken, men uken deretter!?
29.04.2005Peter ?lveczky? INGEN FORELESNING? Forelesningsfri? Jobbe med obligatorisk oppgave 3 og med uke-oppgavene.?
04.05.2005Bruvik/Gjelstad? 3 C, Ifi? Oppgavegjennomgang? Oppgavesett 13

L?sningsforslag??

06.05.2005Peter ?lveczky? ? Temporale egenskaper og 2-fase committ-protokollen for distribuerte databaser? Slides fra forelesning

To-fase-commit-protokollen i Maude?

11.05.2005Bruvik/Gjelstad? Ifi, 3 C? Oppgavegjennomg?else? Oppgavesett 14

L?sningsforslag??

13.05.2005Peter ?lveczky? ? Sikkerhetsprotokoller og deres analyse (NSPK-protokollen)? Slides fra forelesning

Full Maude spesifikasjon av NSPK, med og uten inntrenger

Core Maude variant med sti til u?nsket oppf?rsel

?

18.05.2005Bruvik/Gjelstad? Ifi, 3 C? Oppgavegjennomgang? Oppgavesett 15

L?sningsforslag

?

20.05.2005? ? INGEN FORELESNING? INGEN forelesning (jeg er i Amsterdam)?
25.05.2005Bruvik/Gjelstad? 3C, Ifi? Oppgavegjennomgang, *kun 12-2*? Oppgavesett 16

Merk at det kun er gruppe 12-2?

27.05.2005Peter ?lveczky? *Store* auditorium, Ifi? Oppsummering/repetisjon/ting ? vektlegge? Slides fra forelesningen

?

01.06.2005Bruvik/Gjelstad? Ifi, 3 C? Oppgavegjennomgang, *kun 12-2*? Oppgavesett 17

L?sningsforslag

Merk at det kun er gruppe 12-2 ?

07.06.2005? Gymsalen, Idrettsbygningen, men *SJEKK*? Eksamen? Eksamensoppgavesettet

L?sningsforslag

Tillatte hjelpemidler er alle trykte og skrevne.

Lykke til!?

Publisert 11. jan. 2005 11:45 - Sist endret 7. juni 2005 20:22
Del p? e-post