Övningar

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

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