Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
06.09.2004Arild  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.2004Arild    Introduksjon til modallogikk   
20.09.2004Espen og Arild    Gjennomgang av artikkel til JELIA-2004 "Only Knowing with Confidence Levels: Reductions and Complexity".  JELIA-2004 
27.09.2004Roger    Endelig modellegenskap og filtreringer i modallogikk.   
27.09.2004Bjørnar    Fra hovedoppgaven.   
11.10.2004Iselin    Fra hovedoppgaven.   
18.10.2004Bjørnar    Fra hovedoppgaven.   
25.10.2004Roger    "Introduction to Lattices and Order" I  Gjennomgang av boken "Introduction to Lattices and Order" av Davey & Priestley (Cambridge, 2. utg.). 
01.11.2004Roger    "Introduction to Lattices and Order" II  Kap. 1 "Ordered sets" / kap. 2 "Lattices and complete lattices". 
08.11.2004Roger    "Introduction to Lattices and Order" III  Kap. 1 "Ordered sets" / kap. 2 "Lattices and complete lattices". 
15.11.2004Roger    "Introduction to Lattices and Order" IV  Kap. 2 "Lattices and complete lattices". 
22.11.2004Roger    "Introduction to Lattices and Order" V  Kap. 2 "Lattices and complete lattices". 
29.11.2004Roger / Johan    "Introduction to Lattices and Order" VI  Kap. 2 "Lattices and complete lattices" / kap. 3 "Formal concept analysis". 
06.12.2004Roger / Johan    Logikkseminaret: "Introduction to Lattices and Order" VII  Kap. 2 "Lattices and complete lattices" / kap. 3 "Formal concept analysis". 
14.12.2004ALLE  Puben 1730  Juleavslutning    
Publisert 13. sep. 2004 22:14 - Sist endret 31. jan. 2005 11:04