| 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