Ö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. Inlämning och kamraträttning 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