Logic Module 1

Module 1 - Introduction to Logic (Week 11)

• Seminar 1 Course introduction. Some philosophical perspectives.
  • Mon. 10-12, U15.
  • Read Chap. 1, LFOL.
• Seminar 2 Atomic sentences, Identity.
  • Tue. 13-15, U15.
  • Read Chap. 2, LFOL.
• Lecture 1 Practice with Power PC's.
  • Wed. 13-15, U15.
  • Play with Power PC's.
• Lab 1 Practice with Tarski's World
  • Thu. 10-12, MC Mac 1, (A).
  • Thu. 13-15, MC Mac 1, (B).
  • Read Appendix A. LFOL
• Lab 2 More Practice with Tarski's World
  • Fri. 10-12, MC Mac 1, (A).
  • Fri. 13-15, MC Mac 1, (B).
  • Continue to Play with Tarski's World Software.