Visa version
Version skapad av Johan Boye 2014-09-16 23:20
Visa
< föregående
|
nästa >
Jämför
< föregående
|
nästa >
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 | |
| 3 | Satslogik: semantik | 1.4 | F3 |
| 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 |