| Dato | Undervises av | Sted | Tema | Kommentarer / ressurser |
| 22.01.2007 | Christian Mahesh Hansen | Lille auditorium | Introduksjon og mengdelære | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 29.01.2007 | Christian Mahesh Hansen | Lille auditorium | Induktive definisjoner, utsagnslogikk og sekventkalkyle | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 05.02.2007 | Christian Mahesh Hansen | Lille auditorium | Utsagnslogikk: sekventkalkyle, sunnhet og kompletthet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 12.02.2007 | Christian Mahesh Hansen | Lille auditorium | Repetisjon av utsagnslogikk. Førsteordens logikk: introduksjon og syntaks. | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 19.02.2007 | Christian Mahesh Hansen | Lille auditorium | Førsteordens logikk: syntaks og semantikk | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 26.02.2007 | Christian Mahesh Hansen | Lille auditorium | Noen løse tråder. Repetisjon av syntaks og semantikk for førsteordens logikk. | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 05.03.2007 | Christian Mahesh Hansen | Lille auditorium | Førsteordens logikk: sekventkalkyle og sunnhet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 12.03.2007 | Christian Mahesh Hansen | Lille auditorium | Førsteordens logikk: kompletthet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 19.03.2007 | Arild Waaler | Lille auditorium | Intuisjonistisk logikk | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 26.03.2007 | --- | --- | --- | Undervisningsfri |
| 02.04.2007 | --- | --- | --- | Påske |
| 09.04.2007 | --- | --- | --- | Andre påskedag |
| 16.04.2007 | Christian Mahesh Hansen | Lille auditorium | Automatisk bevissøk: introduksjon, substitusjoner og unifisering | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 23.04.2007 | Roger Antonsen | Lille auditorium | Automatisk bevissøk: fri-variabel sekventkalkyle og sunnhet | Roger er vikarforeleser. Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 30.04.2007 | Christian Mahesh Hansen | Lille auditorium | Automatisk bevissøk: kompletthet av fri-variabel sekventkalkyle og repetisjon av sunnhet | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 07.05.2007 | Bjarne Holen | Lille auditorium | Matriser og koblingskalkyle | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 14.05.2007 | Christian Mahesh Hansen | Lille auditorium | Avanserte emner | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. |
| 21.05.2007 | Christian Mahesh Hansen | Lille auditorium | Oppgaveløsing | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. Send inn forslag til oppgaver som ønskes gjennomgått senest fredag 18. mai. |
| 28.05.2007 | --- | --- | --- | Andre pinsedag |
| 04.06.2007 | Christian Mahesh Hansen | Lille auditorium | Repetisjon | Foiler for skjerm eller for utskrift: 4 på 1 | artikkel. Send inn forslag til stoff som ønskes gjennomgått senest onsdag 30. mai!Lykke til på eksamen! |
Undervisningsplan
Publisert 20. des. 2006 12:20
- Sist endret 4. juni 2007 18:45