7.3
3 Week 3: First-Order Logic
3.1 Tuesday, September 8
This will be a broad introduction to the syntax and model-theoretic semantics of first-order logic. Notes by Kris are posted here.
3.2 Thursday, September 10
We will be discussing Hoare’s classic paper "An Axiomatic Basis for Computer Programming."