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.

• Reading: mini-ml.pdf, pp. 1-13
• Previous lecture: none
• Next lecture: Natural Semantics

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

fp@cs
Frank Pfenning