On this page:
3.1 Tuesday, September 8
3.2 Thursday, September 10
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."