| 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 | Class cancelled due to illness | ||
| Mar 17-23 | Spring break | ||
| Mar 24 | Chap. 3.2 | Inverses and composition | |
| Mar 26 | Chap. 3.2 | Inverses and composition | |
| Mar 28 | Chap. 3.3 | Cardinality (or Why Some Infinities are More Infinite than Others) | |
| Mar 28 | Last day to withdraw from classes | ||
| Mar 31 | Chap. 3.3 | Cardinality (or Why Some Infinities are More Infinite than Others) | |
| Apr 02 | WHW5 due | Chap. 5.1 | Proof by mathematical induction |
| Apr 04 | OHW5 due | Chap. 5.1 | Proof by mathematical induction |
| Apr 07 | Chap. 5.1 | Different flavors of induction | |
| Apr 09 | OHW6 and WHW6 due | homework review, exam review | |
| Apr 11 | exam | ||
| Apr 14 | Chap. 5.2 | Recursively defined sequences; recurrence relations | |
| Apr 16 | WHW5 revision due | Chap. 5.2 | Let us now praise famous sequences |
| Apr 18 | Chap. 6.1 | How to count things; inclusion and exclusion | |
| Apr 21 | take-home exam due | Chap. 6.2 | Counting things in combined sets |
| Apr 23 | WHW7 due; WHW6 revision due | Chap. 6.3 | The pigeonhole principle |
| Apr 24 | Make-up & help session (Hagedorn 106, 10:50-1:30) | ||
| Apr 25 | Chap. 7.1-7.2 | Permutations and combinations | |
| Apr 28 | OHW7 due | Chap. 9.1 | Graphs and their vocabulary |
| Apr 30 | WHW8 due | Chap. 9.2-9.3 | Properties of graphs; isomorphism |
| May 1 | Make-up & help session (Hagedorn 106, 10:50-1:30) | ||
| May 02 | Chap. 10.1 | Paths and cycles | |
| May 05 | Chap. 12.1 | Trees, their vocabulary and properties | |
| May 07 | WHW7 revision and WHW9 due | Catch up & review for final exam | |
| May 09 | Dr. Bloch at conference | ||
| May 16 | final exam, 10:30-12:30 | ||