Logic Module 5

Module 5 - Chapter 5. (LFOL) (Week 15)

• Seminar 9 Quantifiers I.
  • Tue. 10-12, U6.
  • Read Chap. 5.1-5, LFOL.
• Seminar 10 Quantifiers II.
  • Tue. 13-15, U6.
  • Read Chap. 5.6-10, LFOL.
• Seminar 11 Quantifiers III.
  • Wed. 13-15, U6.
  • Read Chap. 5.11-13, LFOL.
• Lab 9 Tarski's World and HyperProof Exercises.
  • Thu. 8-10, MC Mac 1, (A).
  • Thu. 10-12, MC Mac 1, (B).
• Lab 10 Tarski's World and HyperProof Exercises.
  • Thu. 13-15, MC Mac 1, (B).
  • Thu. 15-17, FOA, A1.294 (Bring your Laptops!), (A).

Module 5 Lab Exercises