Lecture Slides
- Introduction to COMP2620/6262: Logic
- Introduction to Propositional Logic
- Natural Deduction for Propositional Logic
- Soundness and Completeness of Propositional Logic
- Modelling Puzzles with Logic4Fun
- Introduction to First Order Logic
- Semantics of First Order Logic
- Tableaux
- Introduction to Temporal Logic
- LTL Tableaux
- Computation Tree Logic
- Model Checking