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.
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.