15-815 Automated Theorem Proving
Lecture 1: Natural Deduction

We begin with an overview of the course contents, our approach to the subject, and administrative details such as exams, grading, and projects.

In the second part of the lecture we introduce natural deduction as a way of defining the meaning of the logical connectives via their introduction and elimination rules.

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

Frank Pfenning