Syllabus

Week Date Topic Lectures Homework
1 1/21 Overview and Background ps pdf ps(4up) pdf(4up)
2 1/28 Decision Procedures for Propositional Logic Ips pdf ps(4up) pdf(4up)ps pdf
3 2/4 Decision Procedures for Propositional Logic IIps pdf ps(4up) pdf(4up)
4 2/11 Theorem Proving Techniques for First-Order Logic Ips pdf ps(4up) pdf(4up)
5 2/18 Theorem Proving Techniques for First-Order Logic IIps pdf ps(4up) pdf(4up)
6 2/25 Decision Procedures for Equality I ps pdf ps(4up) pdf(4up)ps pdf
7 3/3 Decision Procedures for Equality IIps pdf ps(4up) pdf(4up)
8 3/10 Decidable Fragments of First Order Logicps pdf ps(4up) pdf(4up)
9 3/24 Presburger Arithmeticps pdf ps(4up) pdf(4up)
10 3/31 Algebraically Closed Fieldsps pdf ps(4up) pdf(4up)
11 4/7 Gröbner Basesps pdf ps(4up) pdf(4up)ps pdf
12 4/14 Real Closed Fields, Combining Decision Procedures ps pdf ps(4up) pdf(4up)
13 4/21 Geometry Theorem Proving, CVC Lite ps pdf ps(4up) pdf(4up)
14 4/28 Project Presentations