15-317 Constructive Logic

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, realizability, connections between classical and constructive logic, decidable classes, temporal logic, model checking.

What's New?

• See Constructive Logic, Fall 2000 for more information until this website is updated in Summer 2008.

[ Home | Schedule | Assignments | Handouts | Software | Overview ]

fp@cs
Frank Pfenning