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.