Tentative Syllabus

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