| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 26.01.2004 | Johan W. Klüwer | Trust | (samt planleggingsmøte) | |
| 02.02.2004 | Anders Moen | Introduksjon til prosessalgebra | ||
| 09.02.2004 | Johan W. Klüwer | Trust | ||
| 16.02.2004 | Roger Antonsen | Modallogikk - introduksjon | ||
| 23.02.2004 | Roger Antonsen | Modallogikk - introduksjon | ||
| 01.03.2004 | Roger Antonsen | Modallogikk - introduksjon | ||
| 08.03.2004 | Iselin Engan | Introduksjon til defaultlogikk | ||
| 15.03.2004 | Iselin Engan | Fra masteroppgaven | ||
| 22.03.2004 | Espen H. Lian | Fra masteroppgaven | ||
| 29.03.2004 | Espen H. Lian | Fra masteroppgaven | ||
| 19.04.2004 | Bjørnar Solhaug | Fra masteroppgaven | ||
| 26.04.2004 | Bjørnar Solhaug | Kompletthet, modallogikk | ||
| 03.05.2004 | Bjørnar Solhaug | Kompletthet, modallogikk, Æ | ||
| 10.05.2004 | Bjarne Holen | --- | ||
| 24.05.2004 | --- | --- | --- | Semesteret er teknisk sett over, men vi fortsetter nok litt utover. |
| 07.06.2004 | Anders Moen | Cardellis logikk for ambienter (tid od sted) |
Undervisningsplan
Publisert 27. okt. 2003 16:07
- Sist endret 31. mai 2004 20:52