| Week |
Lab |
| 1 |
Boolean Expressions and Functions |
| 2 |
Boolean Algebra and Logic Circuits |
| 3 |
Boolean Algebra and Natural Deduction |
| 4 |
Searching for Proofs and Resolution |
5 |
Satisfiability and SAT Solvers |
6 |
Predicate Logic and Formal Specifications |
| 7 |
Induction and Recursion |
| 8 |
Functional Programming and Map/Reduce |
| 9 |
Proving Properties of Recursive Functions |
| 10 |
Arithmetic Simplification - Programs and Proofs |