15-317 Constructive Logic
Lecture 1: Overview

We provide an overview over the course, covering topics, approach, and learning goals. We also outline administrative issues, such as assignments, exams, course policies, and grading.

The course is divided into 4 parts.

  1. Proofs as Evidence for Truth
  2. Proofs as Programs
  3. Proofs as Computations
  4. Modal and substructural logics

The constructive nature of our approach to logic is manifest in the central role of proofs, which will be interpreted differently in the different parts of the course.

[ Home | Schedule | Assignments | Handouts | Software ]

Frank Pfenning