| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 22.01.2009 | ? | Buerommet? | Planlegging? | ? |
| 05.02.2009 | Martin? | Buerommet? | Intro to Bayesian networks? | ? |
| 12.02.2009 | Frederik? | Buerommet? | Bayesian networks and ontologies? | ? |
| 19.02.2009 | ? | ? | ? | Utg?r.? |
| 26.02.2009 | Martin? | Buerommet? | Codio and drilling? | ? |
| 05.03.2009 | Magdalena? | Buerommet? | Probabilistic propositional logic? | ? |
| 12.03.2009 | Martin / Evgenij? | Buerommet? | KeY and Karlruhe / Hyper-tableaux for coherent logic? | ? |
| 19.03.2009 | Arild / Espen? | Buerommet? | ?? | ? |
| 26.03.2009 | Peter Schmitt? | Buerommet? | The KeY project? | ? |
| 02.04.2009 | ? | ? | Undervisningsfri uke? | ? |
| 09.04.2009 | ? | ? | P?skeferie? | ? |
Undervisningsplan
Publisert 19. jan. 2009 12:28
- Sist endret 9. mars 2009 00:30