15-851
Computation & Deduction 		Spring 1997
Frank Pfenning

Lecture 1: Introduction

In this first lecture we give a general overview of the course, outlining approach, contents, and goals. In addition, we discuss the functional language Mini-ML that forms the basis for the first part of the course.
  • next lecture
    • [ C&D Home | Schedule | Code | Assignments | Notes | Projects | Elf ]
    © Frank Pfenning 1992-1997
    fp@cs