15-317 Constructive Logic
Assignments

  • Some assignments may offer additional problems for extra credit, which is recorded separately.
  • Extra credit will be considered when determining midterm and final grades for borderline cases.
  • Assignments generally are given out Friday and are due the following Friday.
  • Homeworks may require use of the course software, or simply a write-up with pencil and paper or LaTeX.
  • Homework assignments must be submitted via the Autolab by end of day on the due date.
  • You have up to 5 late days to use throughout the semester, with at most 2 late days on any given assignment.
  • We will try our best to return graded homework within one week of its due date.
  • For typesetting deductions in LaTeX, we use proof.sty
  • The assignments will be posted here as and when they are made available.
Out Assignment   Due Solutions

Fri Aug 30 Homework 1: Say Hi to Logic (PDF only)   Fri Sep 6 sample solution  
Fri Sep 6 Homework 2: Tutch, Constructivity & Harmony! (PDF only)   Fri Sep 13 sample solution  
Fri Sep 13 Homework 3: Proof Terms, Verification and Quantification (PDF only)   Fri Sep 20 sample solution  
Fri Sep 20 Homework 4: Quantification and Arithmetic (PDF only)   Fri Sep 27 sample solution  

Fri Sep 27 Homework 5: Sequent Calculus (PDF only)   Fri Oct 4 sample solution  
Fri Oct 4 Homework 6: Admissibility and Derivability (PDF only)   Fri Oct 11 sample solution  
Fri Oct 11 Homework 7: Classical Logic (PDF only)   Fri Oct 18  
Fri Oct 18 Homework 8: Computing proofs (PDF only)   Fri Oct 25  

Fri Oct 25 Homework 9   Fri Nov 1  
Fri Nov 1 Homework 10   Fri Nov 15  
Fri Nov 15 Homework 11   Mon Nov 25  
Mon Nov 25 Homework 12   Fri Dec 6  

All assignments in this course are individual assignments. The work must be your own. Do not copy any parts of the solution from anyone, and do not look at other students' solutions. Do not make any parts of your solutions available to anyone and make sure no one else can read your files. We will rigorously apply the university policy on academic integrity and plagiarism.

We may modify this policy on some specific assignments. If so, it will be clearly stated in the assignment.

It is always permissible to clarify vague points in assignments, discuss course material from notes or lectures, and to give help or receive help in using the course software such as proof checkers or compilers


[ Home | Schedule | Assignments | Software ]

ssomayya@cs
Siva Somayyajula