Undervisningsplan
| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 06.09.2004 | Arild | Buerommet, 3. etg., IFI | Planleggingsmøte. Gjennomgang av artikkel til AiML-2004: "Consistency proofs for systems of multi-agent only knowing". | AiML-2004 |
| 13.09.2004 | Arild | Introduksjon til modallogikk | ||
| 20.09.2004 | Espen og Arild | Gjennomgang av artikkel til JELIA-2004 "Only Knowing with Confidence Levels: Reductions and Complexity". | JELIA-2004 | |
| 27.09.2004 | Roger | Endelig modellegenskap og filtreringer i modallogikk. | ||
| 27.09.2004 | Bjørnar | Fra hovedoppgaven. | ||
| 11.10.2004 | Iselin | Fra hovedoppgaven. | ||
| 18.10.2004 | Bjørnar | Fra hovedoppgaven. | ||
| 25.10.2004 | Roger | "Introduction to Lattices and Order" I | Gjennomgang av boken "Introduction to Lattices and Order" av Davey & Priestley (Cambridge, 2. utg.). | |
| 01.11.2004 | Roger | "Introduction to Lattices and Order" II | Kap. 1 "Ordered sets" / kap. 2 "Lattices and complete lattices". | |
| 08.11.2004 | Roger | "Introduction to Lattices and Order" III | Kap. 1 "Ordered sets" / kap. 2 "Lattices and complete lattices". | |
| 15.11.2004 | Roger | "Introduction to Lattices and Order" IV | Kap. 2 "Lattices and complete lattices". | |
| 22.11.2004 | Roger | "Introduction to Lattices and Order" V | Kap. 2 "Lattices and complete lattices". | |
| 29.11.2004 | Roger / Johan | "Introduction to Lattices and Order" VI | Kap. 2 "Lattices and complete lattices" / kap. 3 "Formal concept analysis". | |
| 06.12.2004 | Roger / Johan | Logikkseminaret: "Introduction to Lattices and Order" VII | Kap. 2 "Lattices and complete lattices" / kap. 3 "Formal concept analysis". | |
| 14.12.2004 | ALLE | Puben 1730 | Juleavslutning |
Publisert 13. sep. 2004 22:14
- Sist endret 31. jan. 2005 11:04