Ändringar mellan två versioner
Här visas ändringar i "Övningar" mellan 2014-08-27 09:47 av Johan Boye och 2014-08-27 09:56 av Johan Boye.
Visa < föregående | nästa > ändring.
Övningar
De 8 övningstillfällena kommer att ägnas åt följande:
# Innehåll Uppgifter 1 Satslogik: naturlig deduktion
*(se uppgifter i avsnitt 1.7: 1.1.1 och 1.1.2Avsnitt 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 Inlämning och kamraträttning av hemtal 1. Satslogikens semantik, formalisering i predikatlogik
*(uppgifter i aAvsnitt 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).. 3 Predikatlogik: naturlig deduktion
*(uppgifter i aAvsnitt 2.8: 2.2.4, 2.3.1, 2.3.9) 4 Inlämning och kamraträttning av hemtal 2. Predikatlogikens semantik
*(uppgifter i aAvsnitt 2.8: 2.3.2, 2.4.2, 2.4.3, 2.4.5, 2.4.11). 5 Kontrollskrivning
* 6 Induktion
*(uppgifter i aAvsnitt 1.7: 1.4.7-1.4.11. Utvalda uppgifter ur övningskompendiet) 7 Inlämning och kamraträttning av hemtal 3. Temporallogik
*(uppgifter i aAvsnitt 3.8 (sid 245 och framåt): 3.4.6-3.4.11. 8 Inlämning och kamraträttning av hemtal 4. Hoare-logik
*(uppgifter i aAvsnitt 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)
¶