Table of Contents
6001 structure & interpretation of computer programs recitation 3/ september 12, 1997
overview
variables, identifiers, keywords
induction on natural numbers
iterative and recursive process
predicting process shape from procedure shape
making a procedure tail-recursive: why
making a procedure tail-recursive: strategy
making a procedure tail-recursive: example
summing naturals
comparing the work done
towers of hanoi
towers of hanoi, simulated
wishful thinking
solution
|
Author: Daniel Jackson
Email: dnj@lcs.mit.edu
Home Page: http://www.pdos.lcs.mit.edu/~dnj
Download presentation source
|