| 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