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