15-399, 80-317/617
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.

• Reading: Introduction
• Previous lecture: none
• Next lecture: Judgments and Propositions

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

awodey@cmu.edu
Steve Awodey