Lectures
Lecture 1 [Fall version 1A] (Outline)
Lecture 1 [Winter version 1B] (Outline)
Lecture 2 (Statements and (in)equality proofs) Typed Written Notes
Lecture 3 (Truth Tables) Typed Written Notes
Lecture 4 (Divisibility) Typed Written Notes
Beaver Card Example
Videos
Cheat Sheets
Week 1 and 2 Symbol Cheat Sheet
Week 1 Theorem Cheat Sheet