Logic Module 2

Module 2 - Chapter 3. (LFOL) (Week 12)

• Seminar 3 Propositional Logic I.
  • Mon. 10-12, U15.
  • Read Chap. 3.1-7, LFOL.
• Seminar 4 Propositional Logic II.
  • Tue. 13-15, U7.
  • Read Chap. 3.8-12, LFOL.
• Lecture 2 Exercises, Chap. 3.
  • Wed. 13-15, U3.
• Lab 3 Chap 3. Tarski's World.
  • Thu. 8-10, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
• Lab 4 Chap 3. Tarski's World.
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).

Module 2 Lecture Exercises

Module 2 Lab Exercises