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
The course is divided into 4 parts.
- Proofs as Evidence for Truth
- Proofs as Programs
- Proofs as Computations
- 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.