Logic Module 8

Module 8 - Summary (Week 18)

• Seminar 15 Logics of Action and Change.
  • Thur. 13-15, U6.
• Lab 13 Tarski's World and HyperProof Exercises.
  • Thu. 8-10, MC Mac 1, (A).
  • Fri. 10-12, MC Mac 1, (B).
• Lab 14 Tarski's World and HyperProof Exercises.
  • Fri. 13-15, MC Mac 1, (A).
  • Fri. 15-17, MC Mac 1, (B).