Föreläsningar

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

1. Introduktion till logik
2. Satslogik: syntax, naturlig deduktion
3. Satslogik: semantik
4. Predikatlogik: syntax, naturlig deduktion
5. Predikatlogik, naturlig deduktion, forts
6. Diskreta strukturer: mängder, relationer, mm
7. Predikatlogik: semantik, sundhet, fullständighet, avgörbarhet
8. Predikatlogik: axiomatiseringar
9. Matematisk induktion
10. Strukturell induktion
11. Temporallogik: syntax och semantik
12. Temporallogik: modellprovning
13. Hoare-logik och programspecifikation
14. Hoare-logik och programverifikation
15. Verktygsdemonstration, tillämpningar, sammanfattning