| 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 | Chap. 1.1 | Boolean logic and truth tables |
| Feb 04 | Last day to add classes | ||
| Feb 05 | Written HW1 | Chap. 1.2 | Laws of Boolean algebra |
| Feb 07 | Chap. 1.2 | Fallacies & counterexamples | |
| Feb 10 | OHW2 | Chap. 1.3 | Inference rules in formal proofs |
| Feb 12 | WHW2; WHW1 revision | review | |
| Feb 14 | exam | ||
| Feb 17 | OHW3 | Chap. 2.1 | Sets |
| Feb 19 | WHW2 revision | Chap. 2.2 | Operations on sets |
| Feb 19 | Last day to drop classes | ||
| Feb 21 | Chap. 2.3 | Fallacies & counterexamples | |
| Feb 24 | OHW4 | Chap. 2.4 | Relations and their properties |
| Feb 26 | WHW3 | Chap. 2.4 | Equivalence and ordering relations |
| Feb 28 | Chap. 2.5 | Fallacies & counterexamples | |
| Mar 03 | OHW5 | Chap. 3.1 | Functions and their vocabulary |
| Mar 05 | WHW4; WHW3 revision | Chap. 3.1 | Operations on functions |
| Mar 07 | Chap. 3.2 | Fallacies & counterexamples | |
| Mar 10 | OHW6 | Chap. 3.2 | One-to-one correspondences |
| Mar 12 | WHW5; WHW4 revision | Chap. 3.3 | Cardinality (or Why Some Infinities are More Infinite than Others) |
| Mar 14 | Chap. 3.3 | Fallacies & counterexamples | |
| Mar 17-23 | Spring break | ||
| Mar 24 | Chap. 5.1 | Proof by mathematical induction | |
| Mar 26 | WHW5 revision | Chap. 5.1 | Different flavors of induction |
| Mar 28 | Chap. 5.1 | Fallacies & counterexamples | |
| Mar 28 | Last day to withdraw from classes | ||
| Mar 31 | OHW7 | Chap. 5.2 | Recursively defined sequences; recurrence relations |
| Apr 02 | WHW6 | Chap. 5.2 | Let us now praise famous sequences |
| Apr 04 | review | ||
| Apr 07 | OHW8 | exam | |
| Apr 09 | WHW6 revision | Chap. 6.1 | How to count things; inclusion and exclusion |
| Apr 11 | Chap. 6.2 | Fallacies & counterexamples | |
| Apr 14 | OHW9 | Chap. 6.2 | Counting things in combined sets |
| Apr 16 | WHW7 | Chap. 6.3 | The pigeonhole principle |
| Apr 18 | Chap. 7.1 | Fallacies & counterexamples | |
| Apr 21 | OHW10 | Chap. 7.2 | Permutations and combinations |
| Apr 23 | WHW8; WHW7 revision | Chap. 9.1 | Graphs and their vocabulary |
| Apr 25 | Chap. 9.2 | Fallacies & counterexamples | |
| Apr 28 | OHW11 | Chap. 9.3 | Graph properties; isomorphism |
| Apr 30 | WHW9; WHW8 revision | Chap. 10.1 | Paths and cycles |
| May 02 | Chap. 12.1 | Fallacies & counterexamples | |
| May 05 | Chap. 12.1 | Trees and their vocabulary | |
| May 07 | WHW9 revision | catch up & review for final | |
| May 09 | emergency make-up day | ||
| May 16 | final exam, 10:30-12:30 | ||