partiell rekursive Funktionen < Logik < Logik+Mengenlehre < Hochschule < Mathe < Vorhilfe
|
| Status: |
(Frage) reagiert/warte auf Reaktion  | | Datum: | 19:21 So 04.07.2010 | | Autor: | Lovelace |
| Aufgabe | Aufgabe: Zeigen Sie, dass die folgenden Funktionen partiell rekursiv ist.
(a) f : N → N mit
f(m) = [mm] \wurzel{m} [/mm] falls [mm] \wurzel{m} [/mm] ∈ N; sonst undefiniert
(b) g : N → N mit
g(m) = [mm] log_2 [/mm] m falls [mm] log_2 [/mm] m ∈ N, sonst undefiniert
|
Hallo!
Ich verzweifle im Moment an Aufgabenteil a)!
In jedem Fall muss ich mit der Funktion g(n,m)= |n²-m| arbeiten, wobei sowohl Multiplikations- als auch Subtraktionsfunktion (?!) primitiv rekursiv sind.
Allerdings ist mir jetzt der Schritt nicht klar, wie ich daraus f(m) = μ g(m) schließen kann.
Kann mir jemand dabei helfen?
Viele Grüße
Lovelace
Ich habe diese Frage in keinem Forum auf anderen Internetseiten gestellt
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 19:19 Mo 05.07.2010 | | Autor: | felixf |
Hallo,
damit der Zusammenhang nicht verlorengeht: der zugehoerige Thread im Theoretische-Informatik-Forum findet sich hier.
LG Felix
|
|
|
|
