Til 31.01.2007: Oppgavesett 1
Til 07.02.2007: Oppgavesett 2 - NB! Henviser til oppgaver p? side 54-57 i kapittel 3 i Gallier.
Til 14.02.2007: Oppgavesett 3
Til 21/28.02.2007: Oppgavesett 4
Til 18.04.2007: Oppgavesett 5 - intuisjonistisk logikk
Til 25.04.2007 - 02.05.2007: Oppgavesett 6 - normalformer
Til 09.05.2007 - 16.05.2007: Oppgavesett 7 - unifisering, fri-variabel semantikk og sunnhet av fri-variabel LK
Resten av semesteret: gjennomg? tidligere eksamensoppgaver, samt oppgavesett 8
L?sningsforslag
Vi kommer ikke til ? legge ut l?sningsforslag til ukeoppgavene av den enkle grunn at vi ikke har de liggende. Hvis noen av studentene har lyst til ? lage l?sningsforslag, s? er dere velkomne til ? sende inn forslag. Vi skal se gjennom og evt. legge de ut her.