15-399, 80-317/617
Constructive Logic
Handouts

The textbook by Huth & Ryan listed below is to be consulted for additional and reading.

Logic in Computer Science Modelling and Reasoning about Systems: Michael Huth and Mark Ryan,
Cambridge University Press, 2000.

Date	Handout	Note


Aug 27	Introduction	Lecture 1
Aug 29	Propositional Logic	Lecture 2
Sep 5	Disjunction and Negation	Lecture 3
Sep 10	Notational Definition	Lecture 4
Sep 26	Proofs as Programs	Lecture 9
Oct 1	The Curry-Howard Isomorphism	Lecture 10
Oct 3	Lambda Calculus	Lecture 11
Oct 15	Primitive Recursion	Lecture 13
Oct 17	Data Types	Lecture 14
Oct 29	Predicates	Lecture 16
Oct 31	Quantifiers	Lecture 17
Nov 5	Classical versus Constructive Logic	Lecture 18
Nov 12	First-Order Logic	Lecture 19
Nov 19	Arithmetic	Lecture 21
Nov 26	Contracting Proofs	Lecture 22
Dec 3	Structural Induction	Lecture 24
Dec 5	Dependent Types	Lecture 25
Dec 10	Propositions as Types	Lecture 26