15-851
Computation & Deduction
Spring 1997
Frank Pfenning
Notes
Chapters 1 and 2 (
DVI
or
PostScript
format) [Handout 1, January 14]
Chapter 3 (
DVI
or
PostScript
format) [Handout 2, January 21]
Chapter 4 (
DVI
or
PostScript
format) [Handout 3, February 4]
Elf Users Guide (
HTML
,
DVI
,
PostScript
, or
PDF
format) [Handout 3, February 4]
Chapter 5 (
DVI
,
PostScript
, or
PDF
format) [Handout 4, February 6]
Chapter 6 (
DVI
,
PostScript
, or
PDF
format) [Handout 5, February 11]
Sections 6.5-6.8 (
DVI
,
PostScript
, or
PDF
format) [Handout 6, February 25]
Sections 7.1-7.4 (
DVI
,
PostScript
, or
PDF
format) [Handout 7, February 27]
[
C&D Home
|
Schedule
|
Code
|
Assignments
| Notes |
Projects
|
Elf
]
©
Frank Pfenning
1992-1997
fp@cs