Ö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 (se uppgifter i avsnitt 1.7: 1.1.1 och 1.1.2 (s 78 och framåt i boken), samt 1.2.1, 1.2.2 och 1.2.3).
* Inlämning och kamraträttning av hemtal 1. Satslogikens semantik, formalisering i predikatlogik (uppgifter i avsnitt 1.7: 1.4.1, 1.4.2, 1.4.12, 1.4.14, 1.4.17; uppgifter i avsnitt 2.8 (s 157 och framåt): 2.1.1-2.1.3).
* Predikatlogik: naturlig deduktion (uppgifter i avsnitt 2.8: 2.2.4, 2.3.1, 2.3.9)
* Inlämning och kamraträttning av hemtal 2. Predikatlogikens semantik (uppgifter i avsnitt 2.8: 2.3.2, 2.4.2, 2.4.3, 2.4.5, 2.4.11).
* Kontrollskrivning
* Induktion (uppgifter i avsnitt 1.7: 1.4.7-1.4.11. Utvalda uppgifter ur övningskompendiet)
* Inlämning och kamraträttning av hemtal 3. Temporallogik
* Inlämning och kamraträttning av hemtal 4. Hoare-logik