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