Logic Module 6

Module 6 - Chapter 6. (LFOL) (Week 16)

• Lecture 5 Practice Proof Theory using Quantifiers I.
  • Mon. 13-15, U6.
• Seminar 12 Multiple Quantifiers.
  • Tue. 13-15, U6.
  • Read Chap. 6, LFOL.
• Lecture 6 Practice Proof Theory using Quantifiers II.
  • Wed. 13-15, U6.
• Lab 11 Tarski's World and HyperProof Exercises.
  • Thu. 10-12, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
• Lab 12 Tarski's World and HyperProof Exercises.
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).

Module 6 Lab Exercises