| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 19.01.2004 | Roger Antonsen | Lille auditorium | Introduksjon, syntaks, utsagnslogikk. | (Kap. 1-2.1) |
| 26.01.2004 | Roger Antonsen | Lille auditorium | Syntaks, semantikk, induksjon. | (Kap. 2.2-2.5) |
| 02.02.2004 | Roger Antonsen | Lille auditorium | Tablåer, Königs lemma, notasjon, normalformer. | (Kap. 3.1,2.6-2.8) |
| 09.02.2004 | Roger Antonsen | Lille auditorium | Sunnhet, resolusjon. | (Kap. 3.4) |
| 16.02.2004 | Arild Waaler | Lille auditorium | Utsagnslogikk: kompletthet. | (Kap. 3.5-3.9) |
| 23.02.2004 | Arild Waaler | Lille auditorium | Utsagnslogikk: kompletthet. | (Kap. 3.5-3.9) |
| 01.03.2004 | Arild Waaler | Lille auditorium | Utsagnslogikk: kompletthet. | (Kap. 3.5-3.9) |
| 08.03.2004 | Arild Waaler | Lille auditorium | Utsagnslogikk: kompletthet, kompakthet | (Kap. 3.5-3.9) |
| 15.03.2004 | Arild Waaler | Lille auditorium | Første-ordens logikk: syntaks, semantikk, tablåer. | (Kap. 5.1-5.5,5.7,6.1) |
| 22.03.2004 | Arild Waaler | Lille auditorium | Første-ordens logikk: sunnhet, kompletthet. | (Kap. 6.3-6.4,5.6,5.8-5.10) |
| 29.03.2004 | Arild Waaler | Lille auditorium | Første-ordens logikk: sunnhet, kompletthet, resultater. | (Kap. 6.3-6.4,5.6,5.8-5.10) |
| 05.04.2004 | -------- | -------- | -------- | Ingen undervisning. |
| 12.04.2004 | -------- | -------- | -------- | Ingen undervisning. |
| 19.04.2004 | Arild Waaler | Lille auditorium | Repetisjon av kompletthet. | |
| 26.04.2004 | Roger Antonsen | Lille auditorium | Unifikasjon og fri-variabel systemer. | (Kap. 7.1-7.2,7.4,7.7,7.8) |
| 03.05.2004 | Roger Antonsen | Lille auditorium | Unifikasjon og fri-variabel systemer. | (Kap. 7.1-7.2,7.4,7.7,7.8) |
| 10.05.2004 | Roger Antonsen | Lille auditorium | Unifikasjon og fri-variabel systemer. | (Kap. 7.1-7.2,7.4,7.7,7.8) |
| 24.05.2004 | Roger Antonsen | Lille auditorium | Utvalgte emner fra kap. 4,7,8 og 9. REPETISJON. |
Undervisningsplan
Publisert 27. okt. 2003 16:01
- Sist endret 24. mai 2004 15:22