 Föreläsningar
|
Logik för dataloger, logik09
Föreläsningar
Nr.
|
Datum
|
Tema
|
Boken
|
Utdelat
|
1
|
16/3
|
Introduktion till Logik,
kursorganisation
|
|
F1
|
2
|
17/3
|
Satslogik: Naturlig deduktion
|
1.1, 1.2
|
F2, regler
|
3
|
23/3
|
Satslogik: Syntax och semantik
|
1.3, 1.4,
1.5.1
|
F3
|
4
|
24/3
|
Predikatlogik: Syntax
|
2.1, 2.2
|
F4
|
5
|
30/3
|
Predikatlogik: Naturlig deduktion
|
2.3
|
F5, regler
|
6
|
31/3
|
Predikatlogik: Semantik
|
2.4, 2.5, 2.6
|
F6
|
7
|
14/4
|
Resolution och
Logikprogrammering |
|
F7
|
8
|
15/4
|
Resolution och
Logikprogrammering |
|
F8
|
9
|
20/4
|
Induktion
|
1.4.2, 1.4.3
|
F9+F10
|
10
|
21/4
|
Induktion, forts.
|
|
|
11
|
27/4
|
Temporallogik: Syntax och
semantik
|
3.1, 3.4
|
F11+F12
|
12
|
28/4
|
Temporallogik: Modellprovning
|
|
regler
|
13
|
4/5
|
Hoare-logik: Kodspecifikation
|
4.2
|
F13
|
14
|
5/5
|
Hoare-logik: Kodverifikation
|
4.3
|
F14, regler
|
15
|
11/5
|
Sammanfattning |
|
F15
|
|
