Övningar
De 8 övningstillfällena kommer att ägnas åt följande:
| # | Innehåll | Uppgifter |
| 1 | Satslogik: naturlig deduktion | Avsnitt 1.7 (sid 78 och framåt i boken): 1.1.1 och 1.1.2 , samt 1.2.1, 1.2.2 och 1.2.3. |
| 2 | Inlämning och kamraträttning av hemtal 1. Satslogikens semantik, formalisering i predikatlogik | Avsnitt 1.7: 1.4.1, 1.4.2, 1.4.12, 1.4.14, 1.4.17; Avsnitt 2.8 (s 157 och framåt): 2.1.1-2.1.3. |
| 3 | Predikatlogik: naturlig deduktion | Avsnitt 2.8: 2.2.4, 2.3.1, 2.3.9 |
| 4 | Inlämning och kamraträttning av hemtal 2. Predikatlogikens semantik | Avsnitt 2.8: 2.3.2, 2.4.2, 2.4.3, 2.4.5, 2.4.11 |
| 5 | Kontrollskrivning | |
| 6 |
Induktion 9 november |
Avsnitt 1.7: 1.4.7-1.4.11. Utvalda uppgifter ur övningskompendiet |
| 7 |
Inlämning och kamraträttning av hemtal 3. Temporallogik 24 november |
Avsnitt 3.8 (sid 245 och framåt): 3.4.6-3.4.11 |
| 8 |
Inlämning och kamraträttning av hemtal 4. Hoare-logik 12 december |
Avsnitt 4.6 (sid 299 och framåt): 4.3.5, 4.3.6, 4.3.10, 4.3.13-16, 4.3.18, 4.3.19 |
Det finns 4 st övningsgrupper:
- Grupp 1 (Mika): för dig som har efternamn som börjar på A-E
- Grupp 2 (Dilian) för dig som har efternamn som börjar på F-J
- Grupp 3 (Andreas) för dig som har efternamn som börjar på K-O
- Grupp 4 (Susanna) för dig som har efternamn som börjar på P-Ö
Övningsgrupp 1 går till det första klassrummet som anges på schemat, osv.