I'll update the schedule as the semester progresses to reflect what we actually cover.
| Tue 23 Aug | Propositional logic | 1.1, 1.2 |
| Thu 25 Aug | Predicate logic | 1.3, 1.4 |
| Tue 30 Aug | Proof | 1.5, 3.1 |
| Thu 1 Sep | Number theory
Take-Home Test 1 |
2.4 |
| Tue 6 Sep | Sets | 1.6, 1.7 |
| Thu 8 Sep | Sequences, countability | 3.2 |
| Tue 13 Sep | Induction | 3.3 |
| Thu 15 Sep | Exam 1 | |
| Tue 20 Sep | Structural induction | 3.4 |
| Thu 22 Sep | Counting, pigeonholes | 4.1, 4.2 |
| Tue 27 Sep | Permutations, combinations | 4.3 |
| Thu 29 Sep | Binomial coefficients
Take-Home Test 2 |
4.4 |
| Tue 4 Oct | Permutations w/repetition | 4.5 |
| Thu 6 Oct | Probability basics | 5.1 |
| Tue 11 Oct | Probability theory | 5.2 |
| Thu 13 Oct | Fall break | |
| Tue 18 Oct | Expected value | 5.3 |
| Thu 20 Oct | Exam 2 | |
| Tue 25 Oct | Relations | 7.1, 7.3 |
| Thu 27 Oct | Equivalence & order relations
Take-Home Test 3 |
7.5, 7.6 |
| Tue 1 Nov | Graph basics | 8.1, 8.2 |
| Thu 3 Nov | Graph connectedness, paths | 8.4, 8.5 |
| Tue 8 Nov | Graph planarity | 8.7 |
| Thu 10 Nov | Graph coloring
Take-Home Test 4 |
8.8 |
| Tue 15 Nov | Scheme basics | not in text |
| Thu 17 Nov | More Scheme | not in text |
| Tue 22 Nov | Recurrence relations | 6.1 |
| Thu 24 Nov | Thanksgiving | |
| Tue 29 Nov | Solving recurrences | 6.2 |
| Thu 1 Dec | Generating functions | 6.3 |
| Tue 13 Dec | Final, 2:00pm |