Logic Module 7

Module 7 - Advanced Topics (LFOL) (Week 17)

• Seminar 13 Syntax and Semantics of FOL.
  • Mon. 13-15, U6.
  • Read Chap. 10.2, 11.1-3, LFOL.
• Seminar 14 Completeness, Incompleteness. Cancelled!
  • Tis. 13-15, U6.
  • Read Chap. 11.7, LFOL.
• 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).