15-851 Computation and Deduction
Lecture 1: Overview

We give a general overview of the course and our approach to the material. We then introduce Mini-ML, a small functional language with natural numbers, pairs, functions, definitions, and recursion. We study the theory of Mini-ML over the next few lectures.

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

Frank Pfenning