a. Undervisningsrom - m?terommet til …
a. Undervisningsrom - m?terommet til LNS (rom 41151 i 亚博娱乐官网_亚博pt手机客户端登录sparken)
b. Jeg vil v?re opptatt onsdag 10 februar og onsdag 10 mars. Vil foresl? at vi samler onsdagsundervisningen til 10-12 annenhver onsdag med start onsdag 3 februar
c. Pensum er fra min bok "Modal logikk". Jeg har planlagt ? legge vekt p? forbindelsen til automatateori (kap 5 i boka) og med det f? overganger til temporal logikk, spesifikasjonssystemer, endelige modeller osv
d. Det er 1 obligatorisk essay som skal skrives. Det er store muligheter til ? velge eget tema, arbeide sammen med andre, osv (alt etter avtale). Avsluttende eksamen er muntlig - der blir dere ogs? spurt om essayet.
Publisert 20. jan. 2010 14:27
- Sist endret 20. jan. 2010 14:38