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.