CS 4860 Applied Logic

Schedule

Date	Topic	Notes/Readings	Assignments
Week 1
8/23	Introduction to the Course	Introduction to the Course
Week 2
8/28	Lecture 2	Lecture 2	Problem Set 1
Week 3
9/4	Lecture 3 and 4	Lecture 3 and 4
9/6	Lecture 5	Review of Evidence Semantics
Week 4
9/11	Lecture 6	Notes on Evidence Semantics and Geometry Slides on Evidence Semantics and Geometry
9/13	Lecture 7		Problem Set 2
Week 5
9/20	Lecture 8	Reading: Kleene's Postulates Reading: Propositional Calculus - Heyting
Week 6
9/27	Lecture 10	iFOL Rules
10/11	Lecture 13	Propositional Intuitionistic Logic from Beth's Foundations of Mathematics
10/16	Lecture 14	Propositional Intuitionistic Logic - Semantics
10/18	Lecture 15	Propositional Intuitionistic Logic - Proof Theory Reading: Constructive Completeness Proof - Underwood	Problem Set 3
10/23 10/25	Lecture 16, 17	Programs and Decision Procedures for iPC
10/30	Lecture 18	First Order Logic and Proof Systems
11/01	Lecture 19	Lecture Examples
11/13	Lecture 22	Notes on Data Structuring - Hoare A Basis for a Mathematical Theory of Computation - McCarthy
11/20	Lecture 24	Lecture 24 - Type Theory Concepts Constructive Mathematics and Computer Programming - Martin-Lof
11/27	Lecture 25	Constructive Validity - D. Scott The Mathematical Language Automath, its Usage, and Some of its Extensions N.G. de Bruijn
11/29	Lecture 26	Towards a Computation System Based on Set Theory - M. Beeson
12/4	Final Lecture	Final Lecture