rekursive Funktion < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Aufgabe | Zeigen Sie, dass die Folgenden Funktionen [mm] \mu [/mm] -rekursiv sind. Geben Sie dazu an, wie diese Funktionen aus den Ausgangsfunktionen durch die entsprechenden Prozesse gewonnen werden können.
1) Die Funktion [mm] c_{3} [/mm] : [mm] \IN \to \IN [/mm] mit [mm] c_{3} [/mm] (n) := 3
2) Die Addition [mm] \oplus [/mm] : [mm] \IN^{2} \to \IN [/mm] mit [mm] \oplus [/mm] (n,m) := n+m
3) Die modifizierte Differenz [mm] \ominus [/mm] : [mm] \IN^{2} \to \IN [/mm] mit [mm] \ominus [/mm] (n,m) := max [mm] \{0,n-m\} [/mm] |
Kann mir da jemand helfen?
Bei 1) muss ich ja irgendwie mit der konstanten Funktion c: N->N mit c(m) := 0 starten und dann dreimal die Nachfolgerfunktion anwenden, oder? aber wie formuliere ich das mit Hilfe der Prozesse??
Ich habe diese Frage auch in folgenden Foren auf anderen Internetseiten gestellt: http://www.matheplanet.com/matheplanet/nuke/html/viewtopic.php?topic=122380&start=0&lps=891994#v891994
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 17:20 Do 14.05.2009 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
