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

Week 1  
8/23  Introduction to the Course  
Week 2  
8/28  Lecture 2  
Week 3  
9/4  Lecture 3 and 4  
9/6  Lecture 5  
Week 4  
9/11  Lecture 6  
9/13  Lecture 7  
Week 5  
9/20  Lecture 8  
Week 6  
9/27  Lecture 10  
10/11  Lecture 13  Propositional Intuitionistic Logic from Beth's Foundations of Mathematics 

10/16  Lecture 14  
10/18  Lecture 15  
10/23 10/25  Lecture 16, 17  
10/30  Lecture 18  
11/01  Lecture 19  
11/13  Lecture 22  
11/20  Lecture 24  Lecture 24  Type Theory Concepts Constructive Mathematics and Computer Programming  MartinLof 

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 