CS 4860 Applied Logic

Schedule

Meeting Tue/Thr 10:10-11:25 in Upson 315

Date	Topic	Notes/Readings	Assignments
Week 1
8/23	Introduction	Lec 1 Notes
Week 2
8/28	Evidence Semantics for Intuitionistic Propositional Logic	Lec 2 Notes	Assignment 1 solutions
8/30	Evidence Semantics for (Intuitionistic) Propositional Logic	Lect 3 Notes updated 9/4
Week 3
9/4	Refinement proofs and evidence construction	Lect 4 Notes
9/6	Refinement proofs and evidence construction
Week 4
9/11	Introduction to Smullyan's Propositional Calculus	Story of Logic - updated 9/13 Supplemental Notes Supplemental Notes - Trees	Assignment 2 with HW1 Make Up (9/14/12)
9/13	Constructive Logic IPC and Classical logic PC	Lec 7 Notes Lec 7 Notes (Supplemental)
Week 5
9/18		Classic ML The Automation of Proof by MacKenzie
9/20		Lecture 9 Notes Lecture 9 Handouts
Week 6
9/25	Consistency of Propositional Logic		Assignment 3
9/27	Consistency of Refinement Logic and Completeness of Propositional Logic	Supplemental Notes
Week 7
10/2	Completeness of IPC	Lecture 12 Notes
10/4		Lecture 13 Notes
Week 8
10/9	NO CLASS - FALL BREAK
10/11	First-Order Logic	Lecture 14 Notes Prelim 1 Study Guide	Assignment 4
Week 9
10/16	Prelim
10/18	Discuss Prelim Aspects of FOL	Lecture 15 Notes
Week 10
10/23	Prenex Normal Form Proving unrealizability	Lecture 16 Notes
10/25	Completeness of FOL	Lecture 17 Notes	Assignment 5 Preliminary Exam
Week 11
10/30	Completeness of FOL continued	Lecture 18 Notes Supplemental Reading (optional - advanced)
11/1	Löwenheim Skolem Theorem, the Skolem "Paradox"	Lecture 19 Notes Supplemental Notes
Week 12
11/6	Undecidable Theories - Q	Lecture 20 Notes Supplemental Reading (from Kleene)
11/8	Undecidability and Incompleteness	Lecture 21 Notes Supplemental Reading
Week 13
11/13	Gödel Numbering and Natural Induction	Lecture 22 Notes Supplemental Reading	Assignment 6
11/15	Fast Induction	Lecture 23 Notes Supplemental Reading
Week 14
11/20	Undecidable Theories, Constructive Issues	Lecture 24 Notes
11/22	NO CLASS - THANKSGIVING BREAK
Week 15
11/27	Set Theory in FOL	Lecture 25 Notes Supplemental Reading (Kunen)
11/29	Type Theory	Lecture 26 Notes Supplemental Reading 1 Supplemental Reading 2 Supplemental Reading 3 Final Exam Review

CS 4860 Applied Logic - (Fall 2012)

Schedule