|
Föreläsning |
Rekommenderad läsning INNAN
föreläsningen (Ekenberg/Thorbiörnson,
Logikens Grunder, N&K) |
Rekommenderade övningar (Ekenberg/Thorbiörnson,
Logikens Grunder, N&K) |
|
F1 |
Kapitlen 1, 2.1-2.2, 3,1-3.5 |
2.6, 3.1-3.14 |
|
F2 |
Kapitlen 4, 5.2 |
4.1-4.10, 5.1-5.32 |
|
F3 |
Kapitlen 8.1-8.2, 9.1-9.2 |
8.3-8.4 |
|
F4 |
Kapitlen 9.3-9.4 |
9.1-9.7 |
|
F5 |
Logikmodellering (kompendiet) |
|
|
F6 |
Kapitlen 5.3-5.5 |
5.33-5.70 |
|
F7 |
Kapitlen 10.1-10.3 |
10.1-10.18, 10.19-10.30 med resolutionsmetoden |
|
F8 |
Logikmodellering och verifiering (kompendiet) |
|