Course Schedule

 

Date Topic Notes
Week 1 Background and Propositional Logic - Syntax Lecture Slides 1, Slides 2
Week 2 Propositional Logic - Semantics Lecture Slides
Week 3 Propositional Logic - Proof Systems Lecture Slides
Week 4 SAT Solving Lecture Slides
Week 5 Predicate Logic - Syntax Lecture Slides
Week 6 Predicate Logic - Semantics Lecture Slides
Week 7 Predicate Logic - Proof Systems Lecture Slides

Oct 29: Mid-term Exam

Date Topic Notes
Week 8, 9 First-order Theorem Proving PVS material
Week 9, 10 LTL Model Checking Lecture Slides
Week 10 CTL Model Checking Lecture Slides
Week 11 Epistemic Logic Lecture Slides
Week 12 Epistemic Logic Lecture Slides

December 8: Final Exam

Project presentations will take place in the final exam time slot in December.