Home
Schedule
Assignments
Software
 
Piazza
Autolab
Gradescope
 
acowan@cmu
Avery Cowan

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 Out/Due
Mon Aug 31 Overview
Tue Sep 1 Recitation
Wed Sep 2 Natural Deduction
Fri Sep 4 Homework 1 Out
Mon Sep 7 Labor Day Holiday
Tue Sep 8 Recitation
Wed Sep 9 Harmony
Fri Sep 11 Homework 1 Due
Homework 2 Out
Mon Sep 14 Proofs as Programs
Tue Sep 15 Recitation
Wed Sep 16 Verifications
Fri Sep 18 Homework 2 Due
Homework 3 Out
Mon Sep 21 Quantification
Tue Sep 22 Recitation
Wed Sep 23 Heyting Arithmetic
Fri Sep 25 Homework 3 Due
Homework 4 Out
Mon Sep 28 Sequent Calculus I
Tue Sep 29 Recitation
Wed Sep 30 Sequent Calculus II
Fri Oct 2 Homework 4 Due
Homework 5 Out
Mon Oct 5 Midterm I (predicted)
Tue Oct 6 Recitation
Wed Oct 7 Cut Elimination
Fri Oct 9 Homework 5 Due
Homework 6 Out
Mon Oct 12 Classical Logic
Tue Oct 13 Recitation
Wed Oct 14 Propositional Theorem Proving
Fri Oct 16 Homework 6 Due
Homework 7 Out
Mon Oct 19 Inversion
Tue Oct 20 Recitation
Wed Oct 21 Certifying Theorem Provers
Fri Oct 23 Homework 7 Due
Homework 8 Out
Mon Oct 26 Logic Programming
Tue Oct 27 Recitation
Wed Oct 28 Prolog
Fri Oct 30 Homework 8 Due
Homework 9 Out
Mon Nov 2 Backward Chaining
Tue Nov 3 Recitation
Wed Nov 4 Forward Chaining
Fri Nov 6 Homework 9 Due
Homework 10 Out
Mon Nov 9 Focusing
Tue Nov 10 Recitation
Wed Nov 11 Midterm II (predicted)
Fri Nov 13 Homework 10 Due
Mon Nov 16 Linear Logic (Blocks World, Substructural Deduction)
Tue Nov 17 Recitation
Wed Nov 18 Ordered Logic
Fri Nov 20 Homework 11 Out
Mon Nov 23 Modal Logic
Tue Nov 24 Recitation
Wed Nov 25 Day before Thanksgiving (no class)
Fri Nov 27 Day after Thanksgiving
Mon Nov 30 Subsingleton Logic
Tue Nov 31 Recitation
Wed Dec 1 Ordered Proofs as Concurrent Programs
Fri Dec 4 Homework 11 Due
Homework 12 Out
Mon Dec 7 TBA
Tue Dec 8 Recitation
Wed Dec 9 TBA
Fri Dec 11 Homework 12 Due

[ Home | Schedule | Assignments | Software ]

acowan@cmu
Avery Cowan