Die Macht der Abstraktion - Errata

S.36: In Aufgabe 3.6 muß die Prozedur zusätzlich zu den Koeffizienten a und b auch noch c akzeptieren.

S.79,85: Im Beweis in Abschnitt 6.5 und in Aufgabe 6.4 steht verwirrenderweise Σ^* statt M^* als Menge der Folgen.

S.95: Der Vertrag von renumber-move ist beim Rückgabewert falsch. Richtig ist:

     ; renumber-move : hanoi-move N N -> hanoi-move

S.112: In den beiden Gleichungen für list-fold sind u und o vertauscht.

S.113: Der Vertrag von list-fold ist korrekt wie folgt:

     ; list-fold : b (a b -> b) list(a) -> b
     ;   wobei a und b beliebig

(Im Buch steht statt des ersten b fälschlicherweise a.)

S.134: Die Subskripte an den Operationen der Algebra B sollten B lauten, nicht A.

S.156: Im Scheme-Ausdruck für den Beispielbaum steht einmal empty-tree statt the-empty-tree

S.168: In den Schablonen steht zweimal huffman-left-node bzw. huffman-right-node statt huffman-node-left bzw. huffman-node-right.

S.227: Negationssymbole dürfen nur vor Variablen (und nicht auch vor den Konstanten) vorkommen.

S.246: Der Satz "Da sich aufschreiben läßt ..." sollte stattdessen anfangen "Da sich ein Term mit einer unendlichen Kette von Applikationen ..."

S.245: Im zweiten Term in Abschnitt 15.3.3 steht (= x 1); es sollte (zerop x) heißen.

S. 247: In der ersten Zeile des Beweises für den Fixpunktsatz fehlt eine geschlossene Klammer vor dem F am Ende.

S.288: "Erst die zu Beginn dieses Jahrhunderts begonnene Axiomatisierung der Mathematik": gemeint ist das 20. Jahrhundert.

S.298: In der Definition von Multimengen sollte statt "M = G x N \ {0}" "M 'Teilmenge von' G x N \ {0}" stehen.