Övningar
De 10 ö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. Prolog. |
English Download English Swedish Download Swedish | |
3. Satslogikens semantik, formalisering i predikatlogik. Inlämning och kamraträttning av hemtal 1. |
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. | |
4. Predikatlogik: naturlig deduktion. |
Avsnitt 2.8: 2.2.4, 2.3.1, 2.3.9 | |
5. Predikatlogikens semantik. Inlämning och kamraträttning av hemtal 2. |
Avsnitt 2.8: 2.3.2, 2.4.2, 2.4.3, 2.4.5, 2.4.11 | |
6. Induktion. 7. Induktion forts |
Avsnitt 1.7: 1.4.7-1.4.11. Utvalda uppgifter ur övningskompendiet | |
8. Temporallogik. Inlämning och kamraträttning av hemtal 3. |
Avsnitt 3.8 (sid 245 och framåt): 3.4.6-3.4.11 | |
9. Hoare-logik.
10.Hoare-logik forts. Inlämning och kamraträttning av hemtal 4. |
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 |
På övningarna går assistenterna igenom exempel och uppgifter inom respektive ämne. Det finns även avsatt tid för studenterna att lösa utvalda uppgifter. På fyra av övningarna visar assistenterna lösningar till hemtalen, och hjälper till med kamraträttningen.
Övningsassistenter
Följande assistenter håller i övningar i kursen. Salsordningen syftar till ordningen som de är listade i schemat.
Sal 1: Jesper Amilon, jamilon@kth.se
Sal 2: Manon Lecart, lecart@kth.se (Övningar på engelska)
Sal 3: Antonio Napoli, anapoli@kth.se (Övningar på engelska)
Sal 4: Johan Karlander, karlan@kth.se
Det kan tillkomma en assistent/sal.
Övningsanteckningar
Efter varje övning publiceras övningsanteckningarna. Notera att viss numrering är från tidigare år, och inte stämmer med årets numrering.