CS 4860 Applied Logic

Schedule

Date	Topic	Notes/Readings
Week 1
9/2	Lecture 1 - Course Introduction	Introduction to the Course
Week 2
9/7	Lecture 2	Lecture 2
Week 3
9/16	Lecture 5	Lecture 5: iPC
Week 4
9/21	Lecture 6	PC and iPC are Decidable