Syllabus

Week Date Topic Lectures Homework
1 1/21 Propositional Logic I ps pdf ps pdf
2 1/28 Propositional Logic II ps pdf ps pdf
3 2/4 Satisfiability ps pdf ps pdf
4 2/11 Binary Decision Diagrams (BDD's) ps pdf ps pdf
5 2/18 Symbolic Model Checking ps pdf
6 2/25 Symbolic Trajectory Evaluation ps pdf ps pdf
7 3/4 Bounded Model Checking ps pdf
8 3/11 First-Order Logic I ps pdf ps pdf
9 3/25 First-Order Logic II ps pdf ps pdf
10 4/1 First-Order Logic III ps pdf
11 4/8 Theories and Decidability ps pdf
12 4/15 Combining Decision Procedures I ps pdf
13 4/22 Combining Decision Procedures II ps pdf
14 4/29 Combining SAT with First-Order Decision Procedures ps pdf