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    
Thu Aug 31 Natural Deduction    

Tue Sep 5 Proofs as Programs    
Thu Sep 7 Harmony   Homework 0

Tue Sep 12 Verifications   Homework 1 (PDF)
Thu Sep 14 Quantification    

Tue Sep 19 Induction and Recursion extracted functions Homework 2 (PDF)
Thu Sep 21 Heyting Arithmetic    

Tue Sep 26 Review   Homework 3 (PDF)
Thu Sep 28 Midterm I (sample solution) practice midterm   sample solution

Tue Oct 3 Sequent Calculus    
Thu Oct 5 Cut Elimination    

Tue Oct 10 Propositional Theorem Proving   Homework 4 (PDF)
Thu Oct 12 Inversion    

Tue Oct 17 Certifying Theorem Provers  
Thu Oct 19 Logic Programming Homework 5 (PDF)

Tue Oct 24  
Thu Oct 26 Homework 6 (PDF)

Tue Oct 31 Homework 7
Thu Nov 2

Tue Nov 7 Homework 8
Thu Nov 9 Midterm II

Tue Nov 14  
Thu Nov 16  

Tue Nov 21 Bonus Lecture Homework 9
Thu Nov 23 Thanksgiving Holiday

Tue Nov 28    
Thu Nov 30    

Tue Dec 5 Homework 10
Thu Dec 7


Tue Dec 12 Final, 5:30pm-8:30pm (Room TBA)    

[ Home | Schedule | Assignments | Software ]

fp@cs
Frank Pfenning