15-399 Constructive Logic
Lecture 1: Introduction

In this first lecture we give an overview over the topics covered in this class and the approach we take to the subject. The material is summarized in the reading.

We also discuss various administrative issues, such as examination schedule, homework, and grading policy.

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

Frank Pfenning