Övningar

De 8 övningstillfällena kommer att ägnas åt följande:

1. Satslogik: naturlig deduktion
2. Inlämning och kamraträttning av hemtal 1. Satslogikens semantik, formalisering i predikatlogik
3. Predikatlogik: naturlig deduktion
4. Kamraträttning och inlämning av hemtal 2. Predikatlogikens semantik.
5. Kontrollskrivning
6. Induktion
7. Inlämning och kamraträttning av hemtal 3. Temporallogik
8. Inlämning och kamraträttning av hemtal 4. Hoare-logik