Till KTH:s startsida Till KTH:s startsida

Visa version

Version skapad av Johan Boye 2014-10-05 22:37

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

F2, regler

3 Satslogik: semantik 1.4 F3
4 Predikatlogik: introduktion, syntax 2.1, 2.2 F4
5 Predikatlogik: naturlig deduktion 2.3 F5
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 -
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