| Date | Assignment | Reading | Subject |
|---|---|---|---|
| Jan 24 | Administrivia, what's this course about? | ||
| Jan 27 | Chap. 0.1 | Logical statements and connectives | |
| Jan 29 | Chap. 0.2 | Proofs | |
| Jan 31 | Chap. 0.2 | Fallacies & counterexamples | |
| Feb 03 | Online HW1 due | No class due to weather | |
| Feb 04 | Last day to add classes | ||
| Feb 05 | No class due to weather | ||
| Feb 07 | Written HW1 due | Chap. 1.1 | Boolean logic and truth tables |
| Feb 10 | OHW2 due | Chap. 1.2 | Laws of Boolean algebra |
| Feb 12 | WHW2 due | Chap. 1.2-1.3 | Laws of Boolean algebra |
| Feb 14 | WHW1 revision due | Chap. 1.3 | Inference rules in formal proofs |
| Feb 17 | Chap. 2.1 | Sets | |
| Feb 19 | WHW3 due | Chap. 2.2 | Operations on sets |
| Feb 19 | Last day to drop classes | ||
| Feb 21 | exam review | ||
| Feb 24 | OHW3 due | exam | |
| Feb 26 | WHW2 revision due | Chap. 2.3 | Relations |
| Feb 28 | Chap. 2.4 | Properties of relations | |
| Mar 03 | Chap. 2.4-5 | Equivalence relations | |
| Mar 05 | WHW3 revision | Chap. 2.5 | Ordering relations |
| Mar 07 | Chap. 3.1 | Functions and their vocabulary | |
| Mar 10 | OHW4 due | Chap. 3.1 | Operations on functions |
| Mar 12 | WHW4 due | Chap. 3.1 | Operations on functions |
| Mar 14 | Chap. 3.2 | Inverses and composition | |
| Mar 17-23 | Spring break | ||
| Mar 24 | Chap. 3.2 | Inverses and composition | |
| Mar 26 | Chap. 3.3 | Cardinality (or Why Some Infinities are More Infinite than Others) | |
| Mar 28 | Chap. 5.1 | Proof by mathematical induction | |
| Mar 28 | Last day to withdraw from classes | ||
| Mar 31 | Chap. 5.1 | Different flavors of induction | |
| Apr 02 | WHW5 due | Chap. 5.1 | Mathematical induction and least counterexamples |
| Apr 04 | OHW5 due | Chap. 5.2 | Recursively defined sequences; recurrence relations |
| Apr 07 | Chap. 5.2 | Let us now praise famous sequences | |
| Apr 09 | OHW6 and WHW6 due | review | |
| Apr 11 | exam | ||
| Apr 14 | Chap. 6.1 | How to count things; inclusion and exclusion | |
| Apr 16 | WHW5 revision due | Chap. 6.1-6.2 | Counting things in combined sets |
| Apr 18 | Chap. 6.2-6.3 | The pigeonhole principle | |
| Apr 21 | take-home exam due | Chap. 6.3 | The pigeonhole principle |
| Apr 23 | WHW6 revision and WHW7 due | Chap. 7.1 | Permutations and combinations |
| Apr 25 | Chap. 7.2 | Permutations and combinations | |
| Apr 28 | OHW7 due | Chap. 9.1 | Graphs and their vocabulary |
| Apr 30 | WHW7 revision and WHW8 due | Chap. 9.2 | Properties of graphs |
| May 02 | Chap. 9.3 | Graph isomorphism | |
| May 05 | Chap. 10.1 | Paths and cycles | |
| May 07 | WHW9 and WHW8 revision due | Chap. 12.1 | Trees and their vocabulary |
| May 09 | Chap. 12.1 | Properties of trees | |
| May 10 | catch up & review for final | ||
| May 16 | final exam, 10:30-12:30 | ||