primitiv rekursiv < Diskrete Mathematik < Hochschule < Mathe < Vorhilfe
|
| 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: | 10:25 So 13.09.2009 | | Autor: | Steff0815 |
Bitte bitte helft mir.
Die Frage ist relevant für den weiteren Verlauf meines Studiums!!!!!
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig | | Datum: | 21:20 Di 15.09.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
