CS 4860 Applied Logic

Schedule

Date	Topic	Notes/Readings
Week 1
8/29	Lecture 1 - Course Logistics	Introduction to the Course
Week 2
9/3	Lecture 2	Lecture 2: A Story of Logic Implementing Mathematics with the Nuprl Proof Development System Brouwer's Fan Theorem: An Overview
9/5	Lecture 3	Lecture 3: On Brouwer's Cambridge Lectures Brouwer's Cambridge Lectures Historical Introduction and Notation
Week 4
9/19	Lecture 7	Computational Foundations of Mathematics
Week 5
9/24	Lecture 8	FOL Completeness
9/26	Lecture 9	Foundational Issues and iFOL First Order Logic Refinement Rules From Frege to Godel: A source book in mathematical logic, 1879-1931
Week 6
10/01	Lecture 10	Book and Article References
10/03	No Lecture - CIS 20th Anniversary	CIS 20th Anniversary Remarks
Week 8
10/17	Lecture 13	Set Theory Axioms Lecture Notes
Week 9
10/22	Lecture 14	Decision Procedures for IPC The Completeness of Intuitionistic Propositional Calculus for its Intended Interpretation
10/24	Lecture 15	Refinement Style Proof Rules Course Projects and Grading
Week 10
10/29	Lecture 16	An Intuitionistic Completeness Theorem for Classical First-Order Logic Completeness and Compactness of First-Order Tableaux
Week 11
11/05	Lecture 17	Constructive Analysis in Nuprl I
11/07	Lecture 18	Constructive Analysis in Nuprl II
Week 12
11/12	Lecture 19	The Structure of Nuprl's Type Theory
Week 13
11/19	Lecture 20	Constructive Intermediate Value and Fixed Point Theorems
Week 14
11/26	Lecture 21	The No-Retraction Theorem