Re: Intro to the Formal Description of Computer Systems

Bob Walton (walton@deas.harvard.edu)
Wed, 5 Apr 2000 08:33:01 -0400 (EDT)


..I am missing page 11 of the Graphs chapter. Can I get the text of that?
..
I am missing it too. I'll have to make copies and hand them out.

The following are typos and misfires sent me by a student.

At bottom of page 7 of `Sets ...' it should read:

.."This method of converting all partial functions of more than one argument
..into _total_ functions of only a single argument is known as currying partial
..functions..." ?
..
This is correct, it should be TOTAL and not partial function of one argument.

..pg 6 of Sets : 'square' translates to x^3 twice in the indented section
..
Should be x^2.

..pg 3 of Proofs : last sentence reads "y c x implies that every element of Y is
.. an element of Z" where c is the "subset of" operator. Should
.. it be y c z ?
..
Yep!

..pg 5 of Graphs : there is an extra parens in the LISP example. The second
.. right parens after * 3 x
..
Yep!

BW