Föreläsningar

Föreläsningsbilder kommer finnas för nedladdning från denna sida senast dagen innan respektive föreläsning.

# Innehåll Boken Bilder 1 Introduktion till logik s 1-5 F1 2 Satslogik: syntax, naturlig deduktion 1.2, 1.3 F2

regler

3 Satslogik: semantik 1.4 F3 4 Predikatlogik: introduktion, syntax 2.1, 2.2 F4 5 Predikatlogik: naturlig deduktion 2.3 F5

regler

6 Mängder och andra diskreta strukturer Se fotnot 1 F6 7 Predikatlogik: semantik, sundhet, fullständighet, avgörbarhet 2.4, 2.5, 2.6 F7 8 Predikatlogik: axiomatiseringar Se fotnot 2 F8 9 Matematisk induktion 1.4.2, 1.4.3 F9 10 Strukturell induktion Strukturell induktion F10 11 Temporallogik: syntax och semantik 3.1, 3.4 F11 12 Temporallogik: modellprovning - F12¶

regler¶

13 Hoare-logik och programspecifikation 4.2 14 Hoare-logik och programverifikation 4.3 regler 15 Gästföreläsning: SAT-lösning och beviskomplexitet -

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 och här.

Fotnot 2: Peanos axiom förklaras bra här (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 (rekommenderad läsning: sid 1-4).