| Lecture | Date | Topic | Reading | PPT Slides | PDF Slides | CP3 Slides | Slides with Ink |
| Lecture 1 | Jan 7 | Course introduction | 1.1 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 2 | Jan 9 | Propositional Equivalence | 1.2 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 1 | Jan 10 | Propositional Calculus | 1.1 | (PPT) | (PDF) | ||
| Lecture 3 | Jan 11 | Propositional Proofs | 1.2, 1.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 4 | Jan 14 | Predicate Calculus | 1.3, 1.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 5 | Jan 16 | Rules of Inference | 1.5 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 2 | Jan 17 | Predicates and Quantifiers | 1.3, 1.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 6 | Jan 18 | Proofs | 1.6, 1.7 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 7 | Jan 23 | Set Theory and Operations | 2.1, 2.2 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 3 | Jan 24 | Functions | 2.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 8 | Jan 25 | Modular Arithmetic | 3.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 9 | Jan 28 | Modular Exponentiation | 3.5, 3.6 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 10 | Jan 30 | Primality | 3.5, 3.6 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 4 | Jan 31 | Functions | 2.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 11 | Feb 1 | Applications of Primality | 3.7 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 12 | Feb 4 | Induction | 4.1 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 13 | Feb 6 | Induction and Recursion | 4.2, 4.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 5 | Feb 7 | HW4 and Review | Ch 1-3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 14 | Feb 11 | Recursion | 4.2, 4.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 15 | Feb 13 | Structural Induction | 4.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 6 | Feb 14 | MT, HW5, Structural Induction | 4.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 16 | Feb 15 | Counting | 5.1, 5.2 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 17 | Feb 20 | Permutations and Combinations | 5.2, 5.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 7 | Feb 21 | Counting | 5.1-5.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 18 | Feb 22 | Generalized Permutations and Counting | 5.5 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 19 | Feb 25 | Discrete Probability Theory | 6.1, 6.2 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 20 | Feb 27 | Probability Theory, Bayes' Theorem | 6.3, 6.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 8 | Feb 28 | Probability | 5.5-6.2 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 21 | Feb 29 | Expectation, Analysis of Algorithms | 6.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 22 | Mar 3 | Relations | 8.1 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 23 | Mar 5 | Relations | 8.1 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 9 | Mar 6 | Expectation, Relations | 6.4-8.3 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 24 | Mar 7 | Relations | 8.4-8.6 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 25 | Mar 10 | Graph theory | 9.1-9.2 | (PPT) | (PDF) | (CP3) | (HTML) |
| Lecture 26 | Mar 12 | Graph theory | 9.2-9.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Quiz Section 10 | Mar 13 | Graph theory | 9.1-9.4 | (PPT) | (PDF) | (CP3) | (HTML) |
| Review Session | Mar 16 | All | All | (PPT) | (PDF) | (CP3) | (HTML) |