a. Undervisningsrom - m?terommet til LNS (rom 41151 i 澳门葡京手机版app下载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.