| Week | Date | Topic | Chapter | Notes |
| 1 | 1/24 1/26 |
Introduction, Propositional Logic and Proofs | 1-2 | 1/28: HW1 out |
| 2 | 1/31 2/2 |
Propositional Logic and Proofs | 3 | 1/31: Quiz 1 2/4: HW1 due; HW2 out |
| 3 | 2/7 2/9 |
Predicate Logic and Mathematical Induction | 4 | 2/7: Quiz 2 2/11: HW2 due; HW3 out |
| 4 | 2/14 2/16 |
Predicate Logic and Mathematical Induction | 5 | 2/14: Quiz 3 2/18: HW3 due; HW4 out |
| 5 | 2/21 2/23 |
Program Verification | 6 | 2/21: Quiz 4 2/25: HW4 due; HW5 out |
| 6 | 2/28 3/2 |
Program Verification and Review | 6 | 2/28: Quiz 5 3/4: HW5 due |
| 7 | 3/7 3/9 |
Midterm Regular Expressions and Grammars |
7-8 | |
| Spring Break | No class | |||
| 8 | 3/21 3/23 |
Regular Expressions and Grammars | 8 | 3/25: HW6 out |
| 9 | 3/28 3/30 |
RG from RE | 8 | 3/28: Quiz 6 4/1: HW6 due; HW7 out |
| 10 | 4/4 4/6 |
Finite Automata | 9 | 4/4: Quiz 7 4/8: HW7 due; HW8 out |
| 11 | 4/11 4/13 |
NFAs, pumping lemma | 9 | 4/11: Quiz 8 4/15: HW8 due; HW9 out |
| 12 | 4/18 4/20 |
Pumping Lemma and CFGs | 10, 11 | 4/18: Quiz 9 4/22: HW9 due; HW10 out |
| 13 | 4/25 4/27 |
CFGs | 11 | 4/25: Quiz 10 4/29: HW10 due |
| 14 | 5/2 5/4 |
NPDAs and Turing Machines, Computability | 12 | |
| 15 | 5/11 | Final Exam 1:30pm-4:15pm |