Home
Schedule
Assignments
Software
 
Course Profile
 
Piazza
Autolab
 
fp@cs
Frank Pfenning
  

15-317 Constructive Logic
Schedule

  • The class notes provide additional reading material.
    They complement, but do not replace the lecture.
  • The schedule is subject to change throughout the semester.
Date Lecture or Recitation    Additional Material    Homework Due
Tue Aug 29 Overview    
Wed Aug 30 Recitation 1 examples   more examples  
Thu Aug 31 Natural Deduction    
Tue Sep 5 Proofs as Programs    
Wed Sep 6 Recitation 2 examples  
Thu Sep 7 Harmony   Homework 0
Tue Sep 12 Verifications   Homework 1 (PDF)
Wed Sep 13 Recitation 3  
Thu Sep 14 Quantification    
Tue Sep 19 Induction and Recursion extracted functions Homework 2 (PDF)
Wed Sep 20 Recitation 4 quantifiers.tut  
Thu Sep 21 Heyting Arithmetic    
Tue Sep 26 Review   Homework 3 (PDF)
Wed Sep 27 Recitation 5    
Thu Sep 28 Midterm I (sample solution) practice midterm   (sample solution)
Tue Oct 3 Sequent Calculus    
Wed Oct 4 Recitation 6    
Thu Oct 5 Cut Elimination    
Tue Oct 10 Propositional Theorem Proving   Homework 4 (PDF)
Wed Oct 11 Recitation 7 implementation  
Thu Oct 12 Inversion    
Tue Oct 17 Certifying Theorem Provers  
Wed Oct 18 Recitation 8    
Thu Oct 19 Logic Programming   Homework 5 (PDF)
Tue Oct 24 Prolog examples  
Wed Oct 25 Recitation 9  
Thu Oct 26 Types as Predicates   Homework 6 (PDF)
Tue Oct 31 Chaining meta-interpreter
Wed Nov 1 Recitation 10    
Thu Nov 2 Datalog Homework 7 (PDF)
Tue Nov 7 Focusing rule summary  
Wed Nov 8 Recitation 11    
Thu Nov 9 Midterm II (sample solution) practice midterm   (sample solution)
Tue Nov 14 Substructural Deduction   Homework 8 (PDF)
Wed Nov 15 Recitation 12    
Thu Nov 16 Ordered Logic    
Tue Nov 21 Deciding Ordered Logic implementation Homework 9 (PDF)
Wed Nov 22 Thanksgiving Holiday    
Thu Nov 23 Thanksgiving Holiday    
Tue Nov 28 Subsingleton Logic    
Wed Nov 29 Recitation 13    
Thu Nov 30 Ordered Proofs as Concurrent Programs    
Tue Dec 5 Stacks and Queues Homework 10 (PDF)
Wed Dec 6 Recitation 14  
Thu Dec 7 Review board  
Tue Dec 12 Final, 5:30pm-8:30pm, BH A51 (sample solution)  

[ Home | Schedule | Assignments | Software ]

fp@cs
Frank Pfenning