Föreläsningar
Föreläsningarna planeras att ges i sal. Det finns dock inspelade föreläsningar och anteckningar som alternativ:
| Innehåll | Boken | Bilder | |
| 1 | Introduktion till logik | s 1-5 | |
| 2 | Satslogik: syntax, naturlig deduktion | 1.2, 1.3 | |
| 3 | Predikatlogik: introduktion, syntax | 2.1, 2.2 | |
| 4 | Prolog 1 | ||
| 5 | Prolog 2 | ||
| 6 | Prolog 3 | ||
| 7 | Prolog 4 | ||
| 8 | Satslogik: semantik | 1.4 | |
| 9 | Predikatlogik: naturlig deduktion | 2.3 | |
| 10 | Predikatlogik: semantik, sundhet, fullständighet, avgörbarhet | 2.4, 2.5, 2.6 | |
| 11 | Predikatlogik: axiomatiseringar | Se fotnot 2 | |
| 12 | Strukturell induktion | 1.4.2, 1.4.3 Strukturell induktion | |
| 13 | Strukturell induktion 1 | 1.4.2, 1.4.3 Strukturell induktion | Extra |
|
|
|||
| 14 | Temporallogik: syntax och semantik | 3.1, 3.4 | |
| 15 | Temporallogik: modellprovning | - | |
| 16 | Hoare-logik och programspecifikation | 4.2 | |
| 17 | Hoare-logik och programspecifikation | 4.3 | |
| 18 | Repetition av kursen, framför allt fr.o.m. predikatlogik | F18 | |
| 19 |
Första timmen: Orientering och diskussion om mer avancerade aspekter av logik (inte obligatoriskt) Andra timmen: Gästföreläsning av Dilian Gurov. Kommer bl.a. att handla om användning av Hoare-logik i industrin |
|
Fotnot 1: Mängder och relationer är egentligen sådant som brukar läras ut i en kurs i diskret matematik. För denna kurs räcker materialet som presenteras på föreläsningsbilderna. Om man föredrar att läsa en text snarare än föreläsningsbilder kan man läsa här (Länkar till en externa sida.).
Fotnot 2: Peanos axiom förklaras bra här (Länkar till en externa sida.) (dock mycket mer utförligt än vad som krävs i kursen). För den som vill veta mer om axiomatiseringar och Gödels teorem kan man konsultera Peter Smith: Introduction to Gödel's theorems, 2nd edition (Cambridge). Här är kapitel 1 (Länkar till en externa sida.) (rekommenderad läsning: sid 1-4).