Forelesningsnotater (Sist oppdatert: 12. juni 2006)
Innhold:
- Forelesningsnotater fra forelesningene 1–15
- Ukeoppgaver
- Obligatoriske oppgaver
- Register
Forelesningsnotatene er automatisk generert fra materialet som ble presentert p? forelesningene, og m? leses med dette forbeholdet.
Pensum
Denne v?ren vil vi ikke benytte oss av en fast l?rebok i logikkurset. Alt relevant materiale kommer til ? bli ? delt ut eller lagt ut p? nettet. Pensum blir det vi rekker ? g? igjennom p? forelesningene og i gruppetimene.
Detaljert pensumplan vil v?re definert av undervisningsplanen .
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. Vi vil legge ut mer detaljerte henvisninger i undervisningsplanen. 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.
Kursmateriale fra 2005
Her ligger litt av det vi gjorde v?ren 2005. Vi brukte l?rebok da, men eksamen og midtveiseksamen var uten hjelpemidler. Vanskelighetsgraden blir omtrent den samme som da.
?