| Lecture number | Lecture description | Lecture resources |
|---|---|---|
| 1 | Introduction to correctness | notes (pdf) |
| The Syntax of Propositional Logic | notes (pdf) | |
| 2 | The Semantics of Propositional Logic | notes (pdf) |
| Propositional Logic Metatheoretic Definitions | notes (pdf) | |
| 3 | Formal Deduction | notes (pdf) |
| Proof | notes (pdf) | |
| 4 | Program Specifications | notes (pdf) |
| Floyd-Hoare Logic for Partial Correctness | notes (pdf) | |
| 5 | Floyd-Hoare Logic for Conditionals | notes (pdf) |
| Invariants of Loops | notes (pdf) | |
| 6 | More Invariants | notes (pdf) |
| Total Correctness | notes (pdf) | |
| General | ||
| Sample Mid-Term Exam | sample mid-term exam (pdf) | |