primitiv rekursiv < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) für Interessierte  | | Datum: | 19:22 Fr 11.09.2009 | | Autor: | Steff0815 |
| Aufgabe | | Zeigen Sie, dass [mm] x^y [/mm] primitiv-rekursiv ist. Verwende dabei alle Schritte (x+y; x*y; [mm] x^y; [/mm] x(modifizierte Differenz)y |
Wie gehe ich dabei vor?
Reicht es zu zeigen, dass man die Summer folgendermaßen ausdrücken kann:???
ad(x,y) =: x+y
ad(x,0) = x= [mm] I^1_{1} [/mm] (x)
ad(x,y+1) = Nf (x+y) = Nf [mm] (I^3_{3} [/mm] (x,y,ad(x,y)))
[mm] \Rightarrow [/mm] ad = PR [mm] (I^1_{1}, [/mm] S(Nf, [mm] I^3_{3}))
[/mm]
....usw. dannn für das Produkt, Potenz und modifizierte Differenz???
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:24 Fr 11.09.2009 | | Autor: | Loddar |
Hallo Steff!
Du hast diese Frage bereits hier gestellt. Bitte unterlasse in Zukunft derartige Doppelposts.
Gruß
Loddar
|
|
|
|
