| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 21.01.2008 | Arild Waaler og Martin Giese | 3A | Introduksjon. Semantikk. Sekventkalkyle | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 23.01.2008 | Martin Giese | 3A | Elementær mengdelære. Strukturell induksjon. | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 28.01.2008 | Arild Waaler | 3A | Sunnhet og kompletthet av utsagnslogikk | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 04.02.2008 | Espen Lian | 3A | SAT og DPLL | Foiler for skjerm eller for utskrift: 4 på 1 |
| 11.02.2008 | Arild Waaler | 3A | Intuisjonistisk utsagnslogikk | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 18.02.2008 | Arild Waaler | 3A | ||
| 25.02.2008 | Martin Giese | 3A | Førsteordens logikk: syntaks og semantikk | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 03.03.2008 | Christian M. Hansen | 3A | Førsteordens logikk: sekventkalkyle og sunnhet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 10.03.2008 | Martin Giese | 3A | Førsteordens logikk: kompletthet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 17.03.2008 | - utgår - | |||
| 24.03.2008 | - utgår - | |||
| 31.03.2008 | - utgår - | |||
| 07.04.2008 | Martin Giese | 3 A | Substitusjoner og unifikasjon | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 14.04.2008 | Martin Giese | 3 A | Frie Variable kalkyle, sunnhet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 21.04.2008 | Martin Giese | 3 A | Frie Variable kalkyle, kompletthet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 28.04.2008 | Bjarne Holen | 3 A | Matriser og koblingskalkyle | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 05.05.2008 | Martin Giese | 3 A | Resolusjonskalkyle | Ikke noen online notater til denne forelesningen.Foilene med semantiske trær var fra forelesning 13 på sidene til Bernhard Beckert sin logikkforelesningKompletthetsbeviset med semantiske trær kan leses (i veldig kompakt form) på denne siden |
| 12.05.2008 | - utgår - | 3 A | ||
| 19.05.2008 | Martin Giese | 3 A | Modallogikk, beskrivelselogikk | Ikke noen online notater til denne forelesningenFoilene var igjen hentet fra Berhard Beckert sine web sider, forelesning 6En masse om modallogikk kan leses herOm Beskrivelseslogikk står det litt i Wikipedia |
| 26.05.2008 | Martin Giese | 3 A | Repetisjon: Kompletthet av sekventkalkyle for førsteordenslogikk | Kompendiet kan nå lastes ned her |
Undervisningsplan
Publisert 21. jan. 2008 11:48
- Sist endret 23. mai 2008 19:33