Logic Module 8
Module 8 - Summary (Week 18-19)
Note that due to a very large tutorial conference being
hosted by IDA that we will not have access to the MAC Pul's.
Instead, you can come with your lap tops to FOA, Rm A1.294,
during these occasions. Lars and Marcus will be there to assist.
- Seminar 14 Completeness, Incompleteness.
- Thur. 13-15, U6. Week 18.
- Read Chap. 11.7, LFOL.
- 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).
- Seminar 15 Logics of Action and Change.
25-Apr-96 14:03