TopWeek 1: Introduction to Logic.
Week 2: Propositional Logic. Natural Deduction
Week 3: Propositional Logic. Semantics, Normal Form.
Week 4: Predicate Logic. Proof Theory, Semantics, Undecidability
Week 5: Logic Programming. The Language Prolog
Week 6: Proof Assistants.
Week 7: Mid-term Examination
Week 8: Temporal Logic.
Week 9: Verification by Model Checking.
Week 10: The SMV system. Software Model Checking.
Week 11: Program Verification. Tools.
Week 12: Modal Logic. Agents.
Week 13: Review.