Weekly Tutorials: Questions
- Week 2: Introduction to Propositional Logic
- Week 3: Natural Deduction for Propositional Logic
- Week 4: Soundness and Completeness of Propositional Logic, and Modelling Puzzles with Logic4Fun
- Week 5: Introduction to First Order Logic
- Week 6: Semantics of First Order Logic
- Week 7: Tableaux
- Week 8: Introduction to Temporal Logic
- Week 9: LTL Tableaux
- Week 10: Computation Tree Logic
- Week 11: Model Checking