primitive Rekursion

01.11.2006, 15:00	Auf diesen Beitrag antworten »
Paul_H	primitive Rekursion Tach, ich soll zeigen, dass die Funktion max(x, y) primitiv rekursiv ist. Mein Problem dabei ist, eine Fallunterscheidung zu vermeiden. Irgendwo gibts hier einen Trick, den ich aber partout nicht sehen kann. Ideen? Gruß, Paul.


01.11.2006, 15:51	Auf diesen Beitrag antworten »
Tobias	Benutze eine Differenz auf $[latex]\mathbb{N}[/latex]$ mit der Eigenschaft $[latex]0 - x = 0 \; \forall x \in \mathbb{N}[/latex]$ . Die ist primitiv rekursiv (klar). Dann kannst du max definieren durch:
01.11.2006, 20:51	Auf diesen Beitrag antworten »
Paul_H	ja genau. Das ist es, vielen Dank. Aber anzumerken, dass es sich hier um die modifizierte (nichtnegative) Differenz handeln muss. Gruß, Paul.

Verwandte Themen

Die Beliebtesten »

Die Größten »

Die Neuesten »