| Assignment | Topic | Due by start of class | Solutions |
|---|---|---|---|
| HW0 | Homework 0: Necessary Background | Friday, August 31 | |
| HW1 | Homework 1: Logic | Friday, Sept. 7 | |
| HW2 | Homework 2: Proofs | Friday, Sept. 14 | |
| HW3 | Homework 3: Sets | Friday, Sept. 21 | |
| HW4 | Homework 4: Big-O | Friday, Sept. 28 | |
| HW5 | Homework 5: Algorithms | Friday, Oct. 12 |