Logic Module 4

Module 4 - Chapter 1-2. (HyperProof) (Week 14)

• Seminar 7 Hyperproof and Situations.
  • Mon. 13-15, U6.
  • Read Chap. 1-2, HP.
• Seminar 8 HyperProof and Fitch's System.
  • Tue. 13-15, U6.
  • Reread Chap. 2.9, 3.9, 4.5, 4.6. LFOL.
• Lecture 4 Practice with HyperProof.
  • Wed. 13-15, U6.
• Lab 7 HyperProof Exercises.
  • Thu. 8-10, MC Mac 1, (B).
  • Thu. 10-12, MC Mac 1, (A).
• Lab 8 HyperProof Exercises.
  • Thu. 13-15, MC Mac 1, (A).
  • Thu. 15-17, FOA, A1.294 (Bring your Laptops!), (B).