15-851 Computation and Deduction
Handouts
The handout Computation and Deduction
contains a complete set of notes as of the indicated date. This
includes all incremental handouts with possible corrections and updates.
Note that I do not correct incremental handouts on-line.
Files are available in PDF format (default) and also in PostScript
(additional link). The latter is prepared for double-sided printing.
| Date |
Handout (PDF) |
PostScript |
Note |
|
| Mar 6 |
Computation and Deduction |
cd.ps |
Lectures 1-11, 13-14 |
|
| Jan 18 |
The Mini-ML Language |
mini-ml.ps |
Lectures 1,
2,
3 |
| Jan 30 |
Formalization in a Logical Framework |
lf.ps |
Lectures 4,
5,
6 |
| Feb 15 |
Parametric and Hypothetical Judgments |
hypo.ps |
Lecture 8 |
| Feb 20 |
The Elf Programming Language |
elf.ps |
Lecture 7 |
| Mar 6 |
Compilation |
compile.ps |
Lectures 9,
10,
11,
13,
14 |
| May 12 |
Parametric Polymorphism |
poly.ps |
Lectures 15,
16 |
[ Home
| Schedule
| Assignments
| Handouts
| Software
| Overview
]
fp@cs
Frank Pfenning
|