Informatiker Board | Theoretische Informatik | primitive Rekursion

Informatiker Board » Themengebiete » Theoretische Informatik » primitive Rekursion » Antwort erstellen

» Hallo Gast [Anmelden|Registrieren]

Antwort erstellen

Benutzername:

(du bist nicht eingeloggt!)

Thema:

Nachricht:

HTML ist nicht erlaubt
BBCode ist erlaubt
Smilies sind erlaubt
Bilder sind erlaubt

einfacher Modus erweiterter Modus

aktuellen Tag schließen

alle Tags schließen

Spamschutz:
Text aus Bild eingeben

URLs automatisch umwandeln: fügt automatisch [url] und [/url] in Internet-Adressen ein.
Smilies in diesem Beitrag deaktivieren.
BBCode in diesem Beitrag deaktivieren.
Bilder in diesem Beitrag deaktivieren.
Signatur anzeigen: Soll die im Profil eingestellte Signatur an den Beitrag angehangen werden?
Nachrichtenlänge überprüfen

Die letzten 3 Beiträge
Paul_H	ja genau. Das ist es, vielen Dank. Aber anzumerken, dass es sich hier um die modifizierte (nichtnegative) Differenz handeln muss. Gruß, Paul.
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:
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.