Tentative Syllabus

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