Blatt 1

Algebra des Programmierens
Übungsblatt 1
1. Beweisen Sie, dass die Funktionen curry und uncurry zueinander invers sind.
2. Geben Sie eine foldn-Spezifikation der Fibonacci Zahlen a0 = 0, a1 = 1, an+2 = an + an+1 . (Sie
können, statt der entsprechenden Funktion f : N at −→ N at, lieber erst die Funktion N at −→ N at × N at
mit (f (n), f (n + 1)) spezifizieren)
3. Geben Sie eine foldn-Spezifikation der Ackermann-Funktion: Spezifizieren Sie diese Funktion zweier
Variablen als foldn (succ,f) für geeignetes f.
4. Beweisen Sie, dass length . (list f) = length.