CAS 701
Logic & Discrete Math in Software Engineering
(Fall 2015)
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.