INF3170 - V?r 2004

Undervisningsplan

DatoUndervises avStedTemaKommentarer / ressurser
19.01.2004Roger Antonsen? Lille auditorium? Introduksjon, syntaks, utsagnslogikk.? (Kap. 1-2.1)?
26.01.2004Roger Antonsen? Lille auditorium? Syntaks, semantikk, induksjon.? (Kap. 2.2-2.5)?
02.02.2004Roger Antonsen? Lille auditorium? Tabl?er, K?nigs lemma, notasjon, normalformer.? (Kap. 3.1,2.6-2.8)?
09.02.2004Roger Antonsen ? Lille auditorium? Sunnhet, resolusjon.? (Kap. 3.4)?
16.02.2004Arild Waaler ? Lille auditorium? Utsagnslogikk: kompletthet.? (Kap. 3.5-3.9)?
23.02.2004Arild Waaler? Lille auditorium? Utsagnslogikk: kompletthet.? (Kap. 3.5-3.9)?
01.03.2004Arild Waaler? Lille auditorium? Utsagnslogikk: kompletthet.? (Kap. 3.5-3.9)?
08.03.2004Arild Waaler? Lille auditorium? Utsagnslogikk: kompletthet, kompakthet? (Kap. 3.5-3.9)?
15.03.2004Arild Waaler? Lille auditorium? F?rste-ordens logikk: syntaks, semantikk, tabl?er.? (Kap. 5.1-5.5,5.7,6.1)?
22.03.2004Arild Waaler? Lille auditorium? F?rste-ordens logikk: sunnhet, kompletthet.? (Kap. 6.3-6.4,5.6,5.8-5.10)?
29.03.2004Arild Waaler? Lille auditorium? F?rste-ordens logikk: sunnhet, kompletthet, resultater.? (Kap. 6.3-6.4,5.6,5.8-5.10)?
05.04.2004--------? --------? --------? Ingen undervisning.?
12.04.2004--------? --------? --------? Ingen undervisning.?
19.04.2004Arild Waaler ? Lille auditorium? Repetisjon av kompletthet.? ?
26.04.2004Roger Antonsen? Lille auditorium? Unifikasjon og fri-variabel systemer.? (Kap. 7.1-7.2,7.4,7.7,7.8)?
03.05.2004Roger Antonsen? Lille auditorium? Unifikasjon og fri-variabel systemer.? (Kap. 7.1-7.2,7.4,7.7,7.8)?
10.05.2004Roger Antonsen? Lille auditorium? Unifikasjon og fri-variabel systemer.? (Kap. 7.1-7.2,7.4,7.7,7.8)?
24.05.2004Roger Antonsen? Lille auditorium? Utvalgte emner fra kap. 4,7,8 og 9. REPETISJON.? ?
Publisert 27. okt. 2003 16:01 - Sist endret 24. mai 2004 15:22
Del p? e-post