Home
Schedule
Assignments
Software
CourseProfile
Piazza
Autolab
ankushd@cs
Ankush Das

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 27 Overview
Tue Aug 28 No Recitation tutch examples more examples
Wed Aug 29 Natural Deduction
Fri Aug 31 Homework 1 Out
Mon Sep 3 Labor Day Holiday
Tue Sep 4 Recitation examples
Wed Sep 5 Harmony
Fri Sep 7 Homework 1 Due
Homework 2 Out
Mon Sep 10 Proofs as Programs
Tue Sep 11 Recitation
Wed Sep 12 Verifications
Fri Sep 14 Homework 2 Due
Homework 3 Out
Mon Sep 17 Quantification
Tue Sep 18 Recitation quantifiers.tut
Wed Sep 19 Induction and Recursion extracted functions
Fri Sep 21 Homework 3 Due
Mon Sep 24 Heyting Arithmetic
Tue Sep 25 Recitation
Wed Sep 26 Sequent Calculus
Fri Sep 28 Homework 4 Out
Mon Oct 1 Midterm I practice midterm 1 (sol) practice midterm 2 (sol)
Tue Oct 2 Recitation
Wed Oct 3 Cut Elimination
Fri Oct 5 Homework 4 Due
Homework 5 Out
Mon Oct 8 Propositional Theorem Proving
Tue Oct 9 Recitation implementation
Wed Oct 10 Inversion
Fri Oct 12 Homework 5 Due
Homework 6 Out
Mon Oct 15 Certifying Theorem Provers
Tue Oct 16 Recitation
Wed Oct 17 Logic Programming
Fri Oct 19 Homework 6 Due
Homework 7 Out
Mon Oct 22 Prolog examples
Tue Oct 23 Recitation
Wed Oct 24 Types as Predicates
Fri Oct 26 Homework 7 Due
Homework 8 Out
Mon Oct 29 Chaining meta-interpreter
Tue Oct 30 Recitation
Wed Oct 31 Datalog
Fri Nov 2 Homework 8 Due
Homework 9 Out
Mon Nov 5 Focusing rule summary
Tue Nov 6 Recitation
Wed Nov 7 Midterm II practice midterm (sol)
Mon Nov 12 Substructural Deduction
Tue Nov 13 Recitation
Wed Nov 14 Ordered Logic
Fri Nov 16 Homework 9 Due
Homework 10 Out
Mon Nov 19 Modal Logic further reading
Tue Nov 20 TBA
Wed Nov 21 Thanksgiving Holiday
Mon Nov 26 Subsingleton Logic Homework 10 Due
Tue Nov 27 Recitation
Wed Nov 28 Ordered Proofs as Concurrent Programs
Fri Nov 30 Homework 11 Out
Mon Dec 3 Martin-Löf Type Theory rule summary
Tue Dec 4 Recitation
Wed Dec 5 Review board
Fri Dec 7 Homework 11 Due
Tue Dec 11 Final 1pm-4pm, POS A35 practice (sol)

[ Home | Schedule | Assignments | Software ]

ankushd@cs
Ankush Das