Logic Module 1
Module 1 Schedule- 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.
Module 1 Lecture Exercises
There are no exercises for this lecture. We will instead familiarize ourselves with the course software
and its use.
Module 1 Lab Exercises
Labs 1-2
6-Mar-96 11:42