Syllabus

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