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)