| 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 ? | ? |
Undervisningsplan
Publisert 13. sep. 2004 22:14
- Sist endret 31. jan. 2005 11:04