| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 23.01.2004 | Einar B. Johnsen? | Forelesning Lille Aud? | Introduksjon. Signaturer? | Kap. 2.1. Foiler .? |
| 25.02.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .Utlevering oblig 1. Oppgaveteksten ligger her .? |
| 30.01.2004 | Einar B. Johnsen? | Forelesning ? | Spesifikasjoner? | Kap. 2.1.6-2.3. Foiler .? |
| 04.02.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .Innlevering oblig1.? |
| 06.02.2004 | Einar B. Johnsen? | Forelesning ? | Flersortig spesifikasjon. Subsorter? | Kap. 2.3-2.4. Foiler .? |
| 11.02.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 13.02.2004 | Arild Waaler? | Forelesning ? | Innebygde moduler. Attributter. Quicksort i Maude? | Kap. 2.5-2.7, 3.6.1,3.7. Foiler .? |
| 18.02.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 20.02.2004 | Arild Waaler? | Forelesning ? | Konfluens? | Kap. 3.1, 3.4. Foiler .Utlevering oblig2. Oppgaveteksten ligger her .? |
| 25.02.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 27.02.2004 | Einar B. Johnsen ? | Forelesning ? | Terminering I ? | Kap. 3.3.1-3.3.3. Foiler .? |
| 03.03.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .Innlevering oblig2.? |
| 05.03.2004 | Einar B. Johnsen ? | Forelesning ? | Terminering II? | Kap. 3.3.4. Foiler .? |
| 10.03.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 12.03.2004 | Einar B. Johnsen ? | Forelesning ? | Likhetslogikk og induktive teorier? | Kap. 4. Foiler .? |
| 17.03.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 19.03.2004 | Einar B. Johnsen ? | Forelesning ? | Omskrivningslogikk I? | Kap. 6. Foiler .Utlevering oblig3. Oppgaveteksten ligger her .? |
| 24.03.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 26.03.2004 | Ellef Gjelstad? | Forelesning ? | Omskrivningslogikk II? | Kap. 6-7 Foiler .? |
| 31.03.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .Innlevering oblig3.? |
| 02.04.2004 | Olaf Owe? | Forelesning ? | Objekter i Maude? | Kap. 8 Foiler . ? |
| 07.04.2004 | ? | Ingen grupper denne uken.? | ? | P?skeuke.? |
| 09.04.2004 | ? | Ingen forelesning.? | ? | P?skeuke.? |
| 14.04.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 16.04.2004 | Einar B. Johnsen ? | Forelesning ? | Kommunikasjon? | Foiler .? |
| 21.04.2004 | ? | Grupper? | ? | Oppgaver . English text .L?sningsforslag . CHAN.maude .? |
| 23.04.2004 | Einar B. Johnsen? | Forelesning ? | Alternating Bit protokollen? | Foiler . Formatering i Maude . Eksempelfil: format.maude .Utlevering oblig4. Oppgaveteksten ligger her (english version ). ? |
| 28.04.2004 | ? | Grupper? | ? | Oppgaver . English text . L?sningsforslag: meld-utv.maude .? |
| 30.04.2004 | Einar B. Johnsen? | Forelesning ? | Krav-spesifikasjoner og invarianter ? | Foiler . AB-SEQNO.maude .Kap. 9 i kompendiet er litt uferdig, men det kan lastes ned her .? |
| 05.05.2004 | ? | Grupper? | ? | Oppgaver . English text . L?sningsforslag .? |
| 07.05.2004 | Einar B. Johnsen? | Forelesning ? | NSPK protokollen? | Foiler . nspk.maude .Kompendiets kap. 10 kan lastes ned her .? |
| 10.05.2004 | ? | ? | ? | Innlevering Oblig 4 (ny frist)? |
| 12.05.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 14.05.2004 | Einar B. Johnsen ? | Forelesning ? | Oppsummering? | Foiler .? |
| 20.05.2004 | ? | ? | ? | Ingen grupper denne uken.? |
| 26.05.2004 | ? | Grupper? | ? | Oppgaver . L?sningsforslag .? |
| 02.06.2004 | Ellef Gjelstad? | Lille Aud. kl. 10-12? | Repetisjon? | Ekstra gruppetime! M?t opp og f? svar p? spm. f?r eksamen.? |
| 03.06.2004 | ? | ? | ? | EKSAMEN.? |
Undervisningsplan
Publisert 27. okt. 2003 16:02
- Sist endret 31. mai 2004 15:02