Föreläsningar
Länken för streaming är https://kth-se.zoom.us/j/64083914229
| 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 | Repetition, speciella problem i predikatlogik och olika varianter av logik | Föreläsningsanteckningar | |
| 13 | Strukturell induktion | 1.4.2, 1.4.3 Strukturell induktion | |
| 14 | Strukturell induktion, forts. | ||
| 15 | Temporallogik: syntax och semantik | 3.1, 3.4 | |
| 16 | Temporallogik: modellprovning | - | |
| 17 | Hoare-logik och programspecifikation | 4.2 | |
| 18 | Hoare-logik och programspecifikation | 4.3 | |
| 19 | Föreläsningen ersätts med "office hour". Johan kommer att vara i det vanliga zoom-rummet och ta emot frågor. | ||
| 20 |
Första timmen: Repetition av vissa avancerade begrepp (delvis A-nivå). Andra timmen: Gästföreläsning av Christian Lidström (kursassistent) |
F20 |
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).