15-317 Constructive Logic

Fall 2008

Frank Pfenning

TuTh 12:00-1:20

BH 255A note new room!

Recitation Sec A, Wed 11:30-12:20, SH 214

9 units

This multidisciplinary junior/senior-level course is designed to provide a
thorough introduction to modern constructive logic, its roots in philosophy,
its numerous applications in computer science, and its mathematical
properties. Some of the topics to be covered are intuitionistic logic,
inductive definitions, functional programming, type theory,
connections between classical and constructive logic, logic programming,
linear logic, lax logic.