Class 4: Proof

22 January 2025

Schedule

Problem Set 1 due tomorrow (23 Jan, 8:29pm): [PDF] [Template]

Class

Recap: Inference Rules and Soundness
Contrapositive
Introduction to Proof (Odd Square Theorem, Even Square Theorem)

10am Section: [Slides (PDF)] [Video]
2pm Section: [Slides (PDF)] [Video]