Syllabus

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