µ-Rekursion < Algor.+Datenstr. < Theoretische Inform. < Hochschule < Informatik < Vorhilfe
|
| Status: |
(Frage) beantwortet  | | Datum: | 17:55 Fr 30.01.2015 | | Autor: | Hero991 |
| Aufgabe | Sei [mm] f:\IN \to \IN [/mm] mit [mm] f(x)=\begin{cases} x, & \mbox{falls } x \mbox{ gerade} \\ nicht definiert, & \mbox{falls } x \mbox{ ungerade} \end{cases}
[/mm]
Für welches [mm] h:\IN^{2} \to \IN [/mm] gilt:
µ(h)=f?
Sie können davon ausgehen, dass die totale Subtraktion - und die Addition + primitiv rekursiv sind |
Hallo,
Ich hoffe, ich habe den Thread in der richtigen Kategorie erstellt.
ich sitze schon eine ganze Weile an dieser Aufgabe aber mit fällt einfach keine Funktion h ein wo µ(h)=f gilt.
Ich dachte an Modulo und Division aber leider weiß ich nicht, wie man diese beiden Funktionen mit der Subtraktion und Addition darstellen kann.
Ich hoffe ihr könnt mir hier weiterhelfen.
Beste Grüße
|
|
| |
|
| Status: |
(Antwort) fertig  | | Datum: | 19:30 Fr 30.01.2015 | | Autor: | DieAcht |
Hallo Hero991!
> Sei [mm]f:\IN \to \IN[/mm] mit [mm]f(x)=\begin{cases} x, & \mbox{falls } x \mbox{ gerade} \\ nicht definiert, & \mbox{falls } x \mbox{ ungerade} \end{cases}[/mm]
>
> Für welches [mm]h:\IN^{2} \to \IN[/mm] gilt:
> µ(h)=f?
Wo ist denn [mm] \mu [/mm] definiert?
Gruß
DieAcht
|
|
|
| |
|
| Status: |
(Frage) überfällig  | | Datum: | 19:40 Fr 30.01.2015 | | Autor: | Hero991 |
Hallo,
die Definition µ-Rekursion ist:
Für eine Funktion [mm] f:\IN^{n+1} \to \IN [/mm] heißt [mm] µ(f):\IN^{n}\to \IN [/mm] mit
µ [mm] (f)(a)==\begin{cases} b, & \mbox{Falls } f(a,b)=0 \mbox{und } f(a,c)>0 \mbox{ für alle c
die Minimalisierung.
|
|
|
| |
|
| Status: |
(Mitteilung) Reaktion unnötig  | | Datum: | 20:20 So 01.02.2015 | | Autor: | matux |
$MATUXTEXT(ueberfaellige_frage)
|
|
|
|
