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.