Syllabus

Week Date Topic Reading Lectures Homework Homework Solutions
1 9/8 Propositional Logic I 1.0 - 1.4 ps pdf ps(4up) pdf(4up)
Review sheet: ps pdf
ps pdf ps pdf
2 9/15 Propositional Logic II 1.5, 1.7 ps pdf ps(4up) pdf(4up) ps pdf ps pdf
3 9/22 Propositional Logic: Applications   ps pdf ps(4up) pdf(4up) ps pdf ps pdf
4 9/29 First-Order Logic: Syntax and Semantics 2.0 - 2.3 ps pdf ps(4up) pdf(4up) ps pdf ps pdf
5 10/6 First-Order Logic: Proof and Deduction 2.4 ps pdf ps(4up) pdf(4up) ps pdf ps pdf
  10/13 Columbus Day Holiday        
6 10/20 First-Order Logic: Soundness and Completeness 2.5 ps pdf ps(4up) pdf(4up) ps pdf  
7 10/27 First-Order Logic: Compactness and Models 2.6 ps pdf ps(4up) pdf(4up) Midterm  ps pdf  ps pdf
8 11/3 First-Order Logic: Theories 2.7 ps pdf ps(4up) pdf(4up) ps pdf   ps pdf
9 11/10 First-Order Logic: Applications   ps pdf ps(4up) pdf(4up)    
10 11/17 Undecidability: Introduction 3.0 - 3.2 ps pdf ps(4up) pdf(4up) ps pdf ps pdf
11 12/1 Undecidability: Representability 3.3 ps pdf ps(4up) pdf(4up) ps pdf ps pdf
12 12/8 Undecidability: Godel's Incompleteness Theorem,
Second-Order Logic
3.4-3.5, 4.1, 4.2 ps pdf ps(4up) pdf(4up) ps pdf
Extra Credit: ps pdf
ps pdf
Extra Credit: ps pdf
13 12/15 Many-Sorted Logic and CTL 3.7, 4.3 ps pdf ps(4up) pdf(4up)