Syllabus

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