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 - F6 7 Predikatlogik: semantik, sundhet, fullständighet, avgörbarhet 2.4, 2.5, 2.6 F7 8 Predikatlogik: axiomatiseringar - F8 9 Matematisk induktion 1.4.2, 1.4.3 10 Strukturell induktion - 11 Temporallogik: syntax och semantik 3.1, 3.4 12 Temporallogik: modellprovning - 13 Hoare-logik och programspecifikation 4.2 14 Hoare-logik och programverifikation 4.3 15 Verktygsdemonstration, tillämpningar, sammanfattning