Schedule & Notes
CS/Math 4860 - Fall 2016
Date | Topic | Notes/Readings | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
August 23 | Introduction to Course |
August 25 |
Introduction to Course Topics |
August 30 |
Introduction to Boolean Propositional Logic |
Sept. 1 |
Chapter 1 of First-Order Logic and an introduction to polymorphic types |
Sept. 6 |
Tableaux Rules |
Sept. 8 |
Refinement Rules |
Sept. 13 |
Lecture 7 |
Sept. 15 |
Reading (no class 9/15/2016) |
Sept. 20 |
Review of Smullyan's Trees |
Sept. 22 |
König's Lemma and the Fan Theorem |
Sept. 23 |
Nuprl Demonstration |
Sept. 27 |
Lecture 10 |
Sept. 29 |
Developing a Theory of Polymorphic Programming Logics |
October 4th |
First Order Logic |
October 6th |
First Order Tableaux |
October 13th |
Tableaux Rules |
October 18 |
Tableaux Completness |
October 20 |
Consistency and Completeness |
October 25 |
Non-Standard Models |
October 27 |
Reals, Hyperreals, and Infinitesimals |
November 1 |
Primitive Recursive Arithmetic |
November 3 |
Introduction to Constructive Mathematics |
November 8 |
Introduction to Constructive Mathematics - II |
November 10 |
Constructive FOL |
November 15 |
The Constructive Reals |
November 17 |
Constructive Type Theory |
November 22 |
Discussion of Course Projects |
November 29 |
Constructive Type Theory - Continued |
December 1 |
Finding Computational Content and Course Summary |
|