| Lecture | Date | Topic | Chapter |
| 1 | Thu 08/24 | Course Details and Overview | |
| 2 | Tue 08/29 | Statements and Symbolic representation | 1.1 |
| 3 | Thu 08/31 | Propositional Logic | 1.2 |
| 4 | Tue 09/05 | Quantifiers, Predicates, Validity | 1.3 |
| 5 | Thu 09/07 | Predicate Logic | 1.4 |
| 6 | Tue 09/12 | Proof Techniques | 2.1 |
| 7 | Thu 09/14 | Proof Techniques | 2.1 |
| 8 | Tue 09/19 | Induction | 2.2 |
| 9 | Thu 09/21 | Recursion and Recurrance Relations | 3.1 |
| 10 | Tue 09/26 | Recursion and Recurrance Relations | 3.2 |
| 12 | Thu 09/28 | Sets, Mid-term 1 Review | 4.1 |
| Tue 10/03 | MID TERM 1 | ||
| 13 | Thu 10/05 | Counting | 4.2 |
| 14 | Tue 10/10 | Permutations and Combinations | 4.3 |
| 15 | Thu 10/12 | Combinatorics | 4.4 |
| 16 | Tue 10/17 | Relations | 5..1 |
| 17 | Thu 10/19 | Relations and Topological Sorting | 5.2 |
| 18 | Tue 10/24 | Relations and Functions | 5.4 |
| 19 | Thu 10/26 | Orders of Magnitude | 5.5 |
| 20 | Tue 10/31 | Matrices | 5.5 |
| 21 | Thu 11/02 | Matrices, Mid-term 2 Review | 5.5 |
| Tue 11/07 | MID TERM 2 | ||
| 22 | Thu 11/09 | Graphs | 6.1 |
| 23 | Tue 11/14 | Trees | 6.2 |
| 24 | Thu 11/16 | Directed Graphs | 7.1 |
| 25 | Tue 11/21 | Path problems | 7.2 |
| Thu 11/23 | THANKSGIVING - NO CLASS | ||
| 26 | Tue 11/28 | Path Problems | 7.3 |
| 27 | Thu 11/30 | Graph Traversal | 7.4 |
| 28 | Tue 12/05 | Boolean Algebra, Final Exam Review | 8.1 |
| Thu 12/07 | Final Exam Review | ||
| Tue 12/12 | FINAL EXAM |