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