Fehlermeldungen bitte an prog-buch (at) ps (dot) uni-saarland (dot) de.
| Seite | Abschnitt | Fehler | Korrektur |
|---|---|---|---|
| 12 | Aufgabe 1.9 | x,y ≥ 0, y > 0 | x ≥ 0, y > 0 |
| 16 | Aufgabe 1.16 / 1.17 | Die Hinweise sind nicht richtig auf die Aufgaben verteilt | 1.16: div 10 um eine Stelle zu streichen 1.17: mod 10 für die letzte Stelle |
| 19 | Abschnitt 1.12 | Ein Ausführung ... | Eine Ausführung ... |
| 21 | Absatz vor Aufg. 1.24 | Machen Sie sich klar, dass ... handelt, dass | Machen Sie sich klar, dass ... handelt, das |
| 21 | Aufgabe 1.25 | fun r (n:int) : int = q(n=0, p(n-1), n) | fun r (n:int) : int = q(n=0, r(n-1), n) |
| 32 | 2.2.2, 2. Absatz, 2. Satz | syntakische Kategorie | syntaktische Kategorie |
| 43 | Aufgabe 2.26 | b) [...] des Aufrufs f a [...] | b) [...] des Aufrufs f 7 [...] |
| 53 | Aufgabe 3.9 | Die Seitenzahl der referenzierten Aufgabe 1.26 stimmt nicht. | Korrekt ist Seite 22. |
| 55 | Abschnitt 3.3.2 | Man spricht bei der durch die Prozedur first formulierte Berechnungstechnik... | Man spricht bei der durch die Prozedur first formulierten Berechnungstechnik... |
| 77 | Abschnitt 4.1.2 | (1,(2,()) (1,(2,()) : int * (int * unit) |
(1,(2,())) (1,(2,())) : int * (int * unit) |
| 107 | Aufgabe 5.14 | Beispielsweise soll gelten: ssort Int.compare ... | Beispielsweise soll gelten: smerge Int.compare ... |
| 109 | 2. Rekursionsgleichung | für n mod k = 0 | für n mod k = 0 und k2 ≤ n |
| 133 | Abschnitt 7.1.2 | datatype exp = C of int | V of int | ... | datatype exp = C of int | V of string | ... |
| 134 | Abschnitt 7.1.2 | Die Variablen im Baum sind 1 und 2, | ...sollten aber "x" und "y" sein. |
| 138 | Abschnitt 7.3.1 | An 4 Stellen ist der Genitiv von Knoten falsch. 3x in den Aufzählungen und in Aufgabe 7.19. | Der Genitiv von "Knoten" müsste ein "s" am Ende tragen. |
| 143 | Aufgabe 7.30 | Schreiben Sie eine endrekursive Prozedur | Schreiben Sie eine Prozedur |
| 144 | Aufgabe 7.32 | Schreiben Sie eine endrekursive Prozedur | Schreiben Sie eine Prozedur |
| 146 | Abschnitt 7.8, 2. Absatz | Reine Mengen sind interessanter als sie auf den den ersten Blick... | |
| 169 | Prop. 8.1 | Die Referenzen (a), (b), (c) und (d) beziehen sich auf Proposition 8.1 | ... und sollten daher (1), (2), (3) und (4) lauten. |
| 169 | Prop. 8.4 | Dann ist die Menge eine lineare Ordnung für P(X). | Dann ist die Menge eine Ordnung für P(X). |
| 171 | Prop. 8.6.1 | Hier sind zwei weitere Beispiele: ... = Id(N) | Id(N) muss gestrichen werden. |
| 176 | Bemerkungen | Leornard Euler | Leonhard Euler |
| 182 | Abschnitt 9.2 | Sei p eine Prozedur X → Y und und | |
| 185 | Aufgabe 9.6 | Geben Sie Rekursionsfunktion ... | Geben Sie die Rekursionsfunktion ... |
| 186 | vor Aufg. 9.9 | fibT: N → N | fibT: N → T(N) |
| 190 | Aufgabe 9.15 | 2 * f(n+1) = fn + f(n+3) | 2 * f(n+1) = -fn + f(n+3) |
| 193 | Aufgabe 9.24 | λ(x,y) ∈ Z2.x+y | λ(x,y) ∈ N2.x+y |
| 202 | Beweis Prop 10.2 | = f(iter(n-1,1,f) | = f(iter(n-1,1,f)) |
| 205 | Aufgabe 10.14 | b) ... p(x,y) = p(y,y-1) + y | p(x,y) = p(x,y-1) + y |
| 223 | Tabelle 11.2 | rechte Spalte: 1 Sekunde, 3 Jahrhunderte | ewig, ewig |
| 232 | Aufgabe 11.28 | ... rekursive Beschreibung der Größenfunktion ... | Laufzeitfunktion |
| 236 | Beweis Satz 11.8 | r' n = r' | n/2 | | r' n = b + r' | n/2 | |
| 254 | Aufgabe 12.13 | Fehler "R Op" | Fehler "R Opr" |
| 256 | Aufgabe 12.19 | a) Der Typ ty muss nicht erweitert werden. | |
| 274 | Aufgabe 13.13 | datatype ty = BOOL | Int | ... | datatype ty = Bool | Int | ... |
| 290 | Abschnitt 14.6 | Der Name snoc ergibt durch Umdrehen von cons. | Der Name snoc ergibt sich durch Umdrehen von cons. |
| 308 | Aufgabe 15.12 | Die Hilfsprozedur rotate' hat einen falschen Typ. | rotate': int → α → unit |
| 322 | Aufgabe 15.32 | c) foldl op:: | c) foldl op:: nil |
| 335 | Aufgabe 16.16 | Der Ausdruck xs.1 liefert den Wert in der ersten Zelle des Blocks | .. in der zweiten Zelle des Blocks |
| 340 | Aufgabe 16.26 | fun revi (nil,ys) = xs | fun revi (nil,ys) = ys |