Kompendium kan lastes ned her. Sist oppdatert: 28. mai 2007
Pensum
Vi vil ikke benytte oss av en fast lærebok. Alt relevant materiale kommer til å bli å lagt ut på kursets nettsider. Pensum blir det vi går gjennom på forelesningene og i gruppetimene, samt obligatoriske oppgaver.
Kursopplegget vil være ganske likt fjorårets opplegg. De som vil være godt forberedt kan lese kompendiet fra våren 2006. Merk dog at årets pensum defineres av dette års publiserte kursmateriale.
Copyright. Kursmaterialet er utviklet av Christian Mahesh Hansen og Roger Antonsen, samt at kursets gjesteforelesere har ansvaret for sine respektive forelesninger.
Støttelitteratur
Her følger et utvalg bøker vi mener gir en god innføring i sentrale emner i kurset. Bøkene er ikke pensum i seg selv, men kan brukes som støttelitteratur for de som ønsker fyldigere tekst for eksamenslesing.
Jean Gallier: Logic for Computer Science - Foundations of Automated Theorem Proving, 1986. Wiley. Det er kun kapitlene 3, 4, 5 og 8 som er aktuelle. Oppdatert versjon (2003) til gratis nedlasting.
Melvin C. Fitting: First-Order Logic and Automated Theorem Proving, 1996. Springer-Verlag. 2. utgave. Liste over kjente feil.