Mario&Luigi
Gast
|
 Verfasst am: 18. Feb 2006 20:36 Titel: Primitiv-Rekursive Funktionen |
 |
|
Ist diese Funktion primitiv rekursiv?
f(x) = (2x)^(2x+1)^2
Nach Anwendung der add, mult etc Operationen
komm ich zum ergebnis:
exp(mult(s(s(0), x), exp(add(mult(s(s(0), x), s(0), s(s(0)))
Muss ich jetzt noch weitermachen oder reicht das als Beweis? |
|
FAQ
Suchen
Mitgliederliste
Benutzergruppen
Registrieren
Profil
Einloggen, um private Nachrichten zu lesen
Login
