Logik för dataloger, logik09

Övningar

Nr.	Datum	Tema	Boken	Utdelat
1	17/3	Satslogik: Naturlig deduktion	1.1, 1.2	Ö1
2	24/3	Kamraträttning och inlämning av Hemtal 1; Satslogik: Semantik; Predikatlogik: Syntax	1.4, 2.1, 2.2	Ö2
3	31/3	Kamraträttning och inlämning av Hemtal 2; Predikatlogik: Naturlig deduktion, semantik	2.3, 2.4, 2.5	Ö3
4	15/4	Kontrollskrivning 1: Satslogik, Predikatlogik
5	21/4	Kamraträttning och inlämning av Hemtal 3; Induktion	1.4: 7-11	Ö5
6	28/4	Kamraträttning och inlämning av Hemtal 4; Temporallogik	3.4	Ö6
7	5/5	Kontrollskrivning 2: Prolog, Induktion, Temporallogik
		Hoare-logik		Ö8

---

Övning 1. Satslogik: Naturlig deduktion

Utvalda uppgifter ur boken, Chapter 1.7: Exercises 1.1 och 1.2, och framförallt:

Exercises 1.1:  1(a,c,e)

Exercises 1.2:  1(g,j,r), 3(a,b,f)

---

Övning 2.  Satslogik: Semantik; Predikatlogik: Syntax

Utvalda uppgifter ur boken, Chapter 1.7: Exercises 1.4, och Chapter 2.8: Exercises 2.1 och 2.2, och framförallt:

Exercises 1.4:  1, 2(d), 12(a,d), 13(a,c), 17(a)

Exercises 2.1:  1(b-e), 3(a,c,e)

Exercises 2.2:  4(b-d)

---

Övning 3. Predikatlogik: Naturlig deduktion, semantik

Utvalda uppgifter ur boken, Chapter 2.8: Exercises 2.3, 2.4 och 2.5, och framförallt:

Exercises 2.3:  1(a), 9(k), 9(c), 9(r)

Exercises 2.4:  3, 5, 11(a)

Exercises 2.5:  1(a,d,...)

---

Övning 4. Kontrollskrivning 1: Satslogik, Predikatlogik

---

Övning 5. Induktion

Utvalda uppgifter ur boken, Chapter 1.7: Exercises 1.4 uppgifter 7-11, och framförallt:

Exercises 1.4:  7(c)

och en uppgift om induktiva definitioner, binära träd och strukturell induktion.

---

Övning 6. Temporallogik

Utvalda uppgifter ur boken, Chapter 3.8: Exercises 3.4 uppgifter 6-11, och framförallt:

Exercises 3.4:  6(b): (iii, vi, vii)

Exercises 3.4:  8(a-d)

Exercises 3.4:  10(a-e)

Exercises 3.4:  11(a-b)

och uppgift 8(a-d), men nu med bevis till sekventerna som gäller, i bevissystemet behandlat på föreläsningarna och i andra labbuppgiften.

---

Hoare-logik

Boken, Chapter 4.6: Exercises 4.3.

Rekommenderade uppgifter: 5, 10, 13-16, 18-19.

---