| Date | Topics | Reading | Due dates |
|---|---|---|---|
| January 12 (Th) | No class | ||
| January 17 (T) | About the course (Notes) | ||
| January 19 (Th) | Propositional logic (Notes) | 1.1, 1.2 | |
| January 24 (T) | Propositional logic, continued (Notes) | ||
| January 26 (Th) | Predicate logic (Notes) | 1.3, 1.4 | |
| January 31 (T) | Predicate logic, continued (Notes) | Homework 1 (HTML, PDF) | |
| February 2 (Th) | Predicate logic, continued (Notes) | Quiz 1 | |
| February 7 (T) | Proof techniques (Notes) | 2.1 | Homework 2 (HTML, PDF) |
| February 9 (Th) | Mathematical induction (Notes) | 2.2, Appendix B | |
| February 14 (T) | Mathematical induction, continued (Notes) | ||
| February 16 (Th) | Recursive definitions (Notes) | 2.4 | Quiz 2 |
| February 21 (T) | Recursive definitions, continued; recurrence relations (Notes) | 2.5, Appendix C | Homework 3 (HTML, PDF) |
| February 23 (Th) | Recurrence relations, continued (Notes) | ||
| February 28 (T) | Recurrence relations, continued; analysis of algorithms (preview) (Notes) | 2.6 | Quiz 3 |
| March 1 (Th) | Analysis of algorithms, continued (Notes) | Homework 4 (HTML, PDF) | |
| March 6 (T) | Proofs of program correctness (Notes) | 1.6, 2.3 | |
| March 8 (Th) | No class | ||
| March 13 (T) | Holiday | ||
| March 15 (Th) | Holiday | ||
| March 20 (T) | Proofs of program correctness, continued; midterm review (Notes) | Homework 5 (HTML, PDF) | |
| March 22 (Th) | Midterm (review in HTML, PDF) | ||
| March 27 (T) | No class | ||
| March 29 (Th) | No class | ||
| April 3 (T) | Sets (Notes) | 3.1 | Homework 6 (HTML, PDF) |
| April 5 (Th) | Counting (Notes) | 3.2, 3.3, 3.4 | Quiz 4 |
| April 10 (T) | Counting, continued; probability (Notes) | 3.5 | |
| April 12 (Th) | Probability, continued (Notes) | ||
| April 17 (T) | Relations and functions (Notes) | 4.1, 4.2, 4.4 | Quiz 5 |
| April 19 (Th) | Relations and functions, continued; graphs (Notes) | Homework 7 (HTML, PDF) | |
| April 24 (T) | Trees (Notes) | 5.1, 5.2 | Quiz 6 |
| April 26 (Th) | Course wrap-up and evaluations (Notes) | ||
| April 30 | Homework 8 (HTML, PDF) | ||
| May 2 (W), 8:30am | Final exam (review in HTML, PDF) |