Ö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. |
Prologövning | |
|
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.
Övningslokaler
I år hålls övningar fysiskt. Notera att i några av salarna hålls övningen på engelska.
Övningsassistenter
Följande assistenter håller i övningar i kursen. Salsordningen syftar till ordningen som de är listade i schemat.
Sal 1: Christian Lidström, clid@kth.se
Sal 2: Anoud Alshnakat, anoud@kth.se (ges på engelska)
Sal 3: Arvid Eriksson, arveri@kth.se
Sal 4 (övningar i sista salen är inställda under resten av kursen)
Övningsanteckningar
Efter varje övning publiceras övningsanteckningarna. Notera att viss numrering är från tidigare år, och inte stämmer med årets numrering.