INF3170 - V?r 2010

Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
26.01.2010Roger Antonsen? Lille auditorium? Introduksjon og mengdel?re? forelesning print multi artikkel?
02.02.2010Roger Antonsen? Lille auditorium? Mengdel?re, induktive definisjoner og utsagnslogikk? forelesning print multi artikkel?
09.02.2010Roger Antonsen? Lille auditorium? Utsagnslogikk, semantikk, sekventkalkyle? forelesning print multi artikkel?
16.02.2010Henrik Forssell? Lille auditorium? Sunnhet og kompletthet? print multi artikkel?
23.02.2010Henrik Forssell? Lille auditorium? F?rsteordens logikk? print multi artikkel?
02.03.2010Henrik Forssell? Lille auditorium? F?rsteordens logikk? Som 23.02.2010?
09.03.2010Henrik Forssell? Lille auditorium? Modeller og teorier? ?
16.03.2010Henrik Forssell / Roger Antonsen? Lille auditorium? Modeller og teorier / F?rsteordens sekventkalkyle? forelesning print multi artikkel?
23.03.2010Henrik Forssell? Lille auditorium? Tavleregning? ?
30.03.2010(Ingen forelesning)? ? ? ?
06.04.2010Roger Antonsen? Lille auditorium? Mer sekventkalkyle og sunnhet? forelesning print multi artikkel?
13.04.2010Roger Antonsen? Lille auditorium? Mer sekventkalkyle og kompletthet? forelesning print multi artikkel?
20.04.2010Roger Antonsen? Lille auditorium? Fri-variabel sekventkalkyle? forelesning print multi artikkel?
27.04.2010Roger Antonsen? Visningrommet, Veilaben? Fri-variabel sekventkalkyle / Intuisjonistisk logikk? forelesning print multi artikkel?
04.05.2010Espen Lian? Lille auditorium? SAT og DPLL? forelesning multi ?
11.05.2010Bjarne Holen? Lille auditorium? Matriser og koblingskalkyle? forelesning print multi artikkel?
18.05.2010Henrik Forssell / Roger Antonsen? Lille auditorium? Kompakthet / Intuisjonistisk logikk / Repetisjon? Siste forelesning f?r eksamen.?
Publisert 25. jan. 2010 16:21 - Sist endret 18. mai 2010 21:55
Del p? e-post