INF4170 - V?r 2008

Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
21.01.2008Arild Waaler og Martin Giese? 3A? Introduksjon. Semantikk. Sekventkalkyle? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
23.01.2008Martin Giese? 3A? Element?r mengdel?re. Strukturell induksjon.? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
28.01.2008Arild Waaler? 3A? Sunnhet og kompletthet av utsagnslogikk? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
04.02.2008Espen Lian? 3A? SAT og DPLL? Foiler for skjerm eller for utskrift: 4 p? 1?
11.02.2008Arild Waaler? 3A? Intuisjonistisk utsagnslogikk? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
18.02.2008Arild Waaler? 3A? ? ?
25.02.2008Martin Giese? 3A? F?rsteordens logikk: syntaks og semantikk ? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
03.03.2008Christian M. Hansen? 3A? F?rsteordens logikk: sekventkalkyle og sunnhet ? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
10.03.2008Martin 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.2008Martin Giese? 3 A? Substitusjoner og unifikasjon? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
14.04.2008Martin Giese? 3 A? Frie Variable kalkyle, sunnhet? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
21.04.2008Martin Giese? 3 A? Frie Variable kalkyle, kompletthet? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
28.04.2008Bjarne Holen? 3 A? Matriser og koblingskalkyle? Foiler for skjerm eller for utskrift: 4 p? 1 | artikkel. ?
05.05.2008Martin 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 logikkforelesning

Kompletthetsbeviset med semantiske tr?r kan leses (i veldig kompakt form) p? denne siden??

12.05.2008- utg?r -? 3 A? ? ?
19.05.2008Martin Giese? 3 A? Modallogikk, beskrivelselogikk? Ikke noen online notater til denne forelesningen

Foilene var igjen hentet fra Berhard Beckert sine web sider, forelesning 6

En masse om modallogikk kan leses her

Om Beskrivelseslogikk st?r det litt i Wikipedia??

26.05.2008Martin Giese? 3 A? Repetisjon: Kompletthet av sekventkalkyle for f?rsteordenslogikk? Kompendiet kan n? lastes ned her?
Publisert 21. jan. 2008 11:48 - Sist endret 23. mai 2008 19:33
Del p? e-post