Syllabus

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

Final Exam: ps pdf