15-317 Constructive Logic
Schedule

Lectures are Tuesday and Thursday in Baker 255A.
Recitations are Wednesday in SH 214.
Recitations generally cover the material from the preceding two lectures.
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	Reading	Homework Due

Tue	Aug	26	Overview	01-overview.pdf
Wed	Aug	27	Clue	01.pdf, class.pdf
Thu	Aug	28	Natural Deduction	02-natded.pdf

Tue	Sep	2	Harmony	03-harmony.pdf
Wed	Sep	3	Tutch	notes, Tutch code
Thu	Sep	4	Proofs as Programs	04-pap.pdf

Tue	Sep	9	Subject Reduction	05-subred.pdf
Wed	Sep	10	Proof terms and reduction
Thu	Sep	11	Quantification	06-quant.pdf	Homework 1

Tue	Sep	16	Computational Meaning of Quantifiers	07-compq.pdf
Wed	Sep	17	Homework 1 Solutions, Proof terms
Thu	Sep	18	Proof Irrelevance	08-irrelevance.pdf	Homework 2

Tue	Sep	23	Classical Logic	09-10-classical.pdf
Wed	Sep	24	Truth Tables	09-10-classical.pdf
Thu	Sep	25	Classical Computation	09-10-classical.pdf	Homework 3

Tue	Sep	30
Wed	Oct	1	Review
Thu	Oct	2	Midterm I

Tue	Oct	7
Wed	Oct	8
Thu	Oct	9

Tue	Oct	14
Wed	Oct	15
Thu	Oct	16

Tue	Oct	21
Wed	Oct	22
Thu	Oct	23

Tue	Oct	28
Wed	Oct	29
Thu	Oct	30

Tue	Nov	4
Wed	Nov	5	Review
Thu	Nov	6	Midterm II

Tue	Nov	11
Wed	Nov	12
Thu	Nov	13

Tue	Nov	18
Wed	Nov	19
Thu	Nov	20

Tue	Nov	25	Reading Day (no class)
Wed	Nov	26	Thanksgiving Holiday
Thu	Nov	27	Thanksgiving Holiday

Tue	Dec	2
Wed	Dec	3
Thu	Dec	4


			Final, Time and place TBA