Slides: Logic for computer scientists

• 1. 21.10.2002
• 1a. 24.10.2002 Chapter 1 + 3
• 2. 28.10.2002 Chapter 2.1 + 4
• 2a. 31.10.2002 Chapter 4 (pages 96-100, 111-112, ex. 4.18, 4.23)
• 3. 04.11.2002 Chapter 5, 6
• 3a. 07.11.2002 Chapter 5, 6
• 4. 11.11.2002 Chapter 8.3, 17.1, 17.2
• 4a. 14.11.2002 Chapter 5, Ex. 5.17, 5.18 (modified) Fitch proof for ex. 3
• 5. 18.11.2002 see 4. (Chapter 8.3, 17.1, 17.2)
• 5a. 21.11.2002 Chapter 5, Ex. 5.8, 5.9 (modified), Chapter 9, Ex. 9.3 Fitch proof for ex. 1
• 6. 25.11.2002 Chapter 9, 10.3, 10.4
• 6a. 28.11.2002 Chapter 9, Ex. 9.1-9.6, 9.8,9.9,9.12,9.13, 9.14-9.17,9.19, 10.22,11.37
• 7. 02.12.2002 Chapter 10, 11, 12
• 7a. 05.12.2002 Chapter 13, Ex. 13.1-13.9
• 8. 09.12.2002 Chapter 12, 13   Proofs: 1  2  3  4  5  6  7  8 
• 8a. 12.12.2002 Chapter 13, Ex. 13.10-13.39
• 9. 16.12.2002 Chapter 2.3, 16 Proof of associativity of +
• 9a. 19.12.2002 Equality: Ex. 2.17, 2.18, 2.20, 6.3, 6.34-6.37, 10.14-10.16, 13.49, 13.50, chapter 14, Induction: 16.19
• 10. 06.01.2003 Chapter 17.3, 17.4
• 10a. 09.01.2003 Chapter 17.3, 17.4 (Horn sentences, resolution)
• 11. 13.01.2003 Chapter 18.1-18.4
• 11a. 16.01.2003 Chapter 18.1-18.4
• 12. 20.01.2003 Chapter 18.5-18.7
• 13. 27.01.2003 Chapter 19
• 14. 03.02.2003 What next?