Asgard
Jungspund
Dabei seit: 09.12.2006
Beiträge: 12
|
|
Verständnisfragen zu Aufgabe zur primitiven Rekursion |
|
Leider kann ich einen Schritt in einer Übungsaufgabe nicht nachvollziehen:
Sei definiert durch für alle
Zeigen Sie, dass f primitiv rekursiv ist, indem Sie angeben, wie sich f aus
den primitiv rekursiven Grundfunktionen und der Multiplikationsfunktion mul
mittels der Operatoren Sub und Prim erzeugen lässt.
Nun soll laut Lösung die folgende zweistellige Funktion f die Rekursionsgleichung erfüllen:
1. Warum findet die Rekursion über y statt? Intuitiv würde ich zwar ebenfalls y nehmen, aber mir ist nicht wirklich klar warum.
2. Was für mich viel wichtiger ist: Wie kommt man auf die Umformung zu f(x,y+1)? Meines Erachtens kann man zwar das letzte Glied der Summe, also von der Summe abtrennen, aber die weiteren Umformungen sind mir leider schleierhaft und so fällt es mir leider schwer den Rest der Lösung zu verstehen.
|
|