BuK-Übung11 G2

Aus ProgrammingWiki
Archivierte Version vom 2011-06-19T14:55:35+00:00. Aktuelle Version

Inhaltsverzeichnis

µ-rekursive zahlentheoretische Funktionen

Aufgabe

Ermitteln Sie für die im Folgenden gegebenen Funktionen h_i = \mu f : \mathbb{N}_0 \rightarrow \mathbb{N}_0 gleichwertige explizite Vorschriften.


Lösung

1. h_1 = \begin{cases} 1, &\text{wenn }x\text{ ungerade};\\ \text{n.\,d.}, &\text{sonst} \end{cases}

2. h_2 = x^2

3. h_3 = \begin{cases} 1, &\text{wenn }x=1;\\ \text{n.\,d.}, &\text{sonst} \end{cases}

Aufgabe

Ermitteln Sie für die im Folgenden gegebenen Funktionen gleichwertige Vorschriften nach dem Definitionsschema für µ-rekursive Funktionen.
1. p(x, y) =\begin{cases} 1, &\text{wenn y eine Primzahl gr\"{o}\ss{}er als x ist};\\ \text{n.\,d.}, &\text{sonst} \end{cases}
2. g(m, n) =\begin{cases} \frac{n}{m}, &\text{wenn } m \neq 0 \text{ und } m\text{ teilt }n;\\ \text{n.\,d.}, &\text{sonst} \end{cases}

Lösung