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.