Logic Module 7
Module 7 - Advanced Topics (LFOL) (Week 17)
- Seminar 13 Syntax and Semantics of FOL.
- Mon. 13-15, U6.
- Read Chap. 10.2, 11.1-3, LFOL.
- Seminar 14 Completeness, Incompleteness.
- Tis. 13-15, U6.
- Read Chap. 11.7, LFOL.
- Lab 11 Tarski's World and HyperProof Exercises.
- Thu. 10-12, MC Mac 1, (A).
- Thu. 13-15, MC Mac 1, (B).
- Lab 12 Tarski's World and HyperProof Exercises.
- Fri. 10-12, MC Mac 1, (A).
- Fri. 13-15, MC Mac 1, (B).
26-Mar-96 11:09