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 2 Satslogik: syntax, naturlig deduktion
* 1.2, 1.3 3 Satslogik: semantik
* 1.4 4 Predikatlogik: syntax, naturlig deduktion
* 2.1, 2.2 5 Predikatlogik,: naturlig deduktion, forts
* 2.3 6 Diskreta strukturer: mängder, relationer, mm
* - 7 Predikatlogik: semantik, sundhet, fullständighet, avgörbarhet
* 2.4, 2.5, 2.6 8 Predikatlogik: axiomatiseringar
* - 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
¶