CS 4860 Applied Logic  (Fall 2019)
Schedule
Date  Topic  Notes/Readings  Assignments 

Week 1  
8/29  Lecture 1  Course Logistics  
Week 2  
9/3  Lecture 2 
Implementing Mathematics with the Nuprl Proof Development System 

9/5  Lecture 3  
Week 4  
9/19  Lecture 7  
Week 5  
9/24  Lecture 8  
9/26  Lecture 9 
First Order Logic Refinement Rules From Frege to Godel: A source book in mathematical logic, 18791931 

Week 6  
10/01  Lecture 10  
10/03  No Lecture  CIS 20th Anniversary  
Week 8  
10/17  Lecture 13  
Week 9  
10/22  Lecture 14 
The Completeness of Intuitionistic Propositional Calculus for its Intended Interpretation  
10/24  Lecture 15  
Week 10  
10/29  Lecture 16  An Intuitionistic Completeness Theorem for Classical FirstOrder Logic  
Week 11  
11/05  Lecture 17  
11/07  Lecture 18  
Week 12  
11/12  Lecture 19  
Week 13  
11/19  Lecture 20  
Week 14  
11/26  Lecture 21 