Zusammenfassung
Ein zentraler Begriff der Algorithmentheorie ist der Begriff einer Funktion, deren Werte mit Hilfe eines Algorithmus berechenbar sind. Nach der These von CHURCH (§ 2.3.) werden die algorithmisch berechenbaren Funktionen mit den partiell rekursiven Funktionen identifiziert. Das vorliegende Kapitel ist dem Beweis der grundlegenden Theoreme über rekursive und partiell rekursive Funktionen gewidmet. Diese Theoreme bilden die Grundlage der Theorie der rekursiven Funktionen.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Der Fall n = 0 fehlt im russ. Original (Anm. d. Übers.).
Der Anteil + sg m-1 in der Definition von A (m, y, z, u) fehlt im russ. Original (Anm. d. Übers.).
Das Wort „einstellig“ fehlt hier im russ. Original (Anm. d. Übers.).
Rights and permissions
Copyright information
© 1974 Springer Fachmedien Wiesbaden
About this chapter
Cite this chapter
Malcev, A.I. (1974). Allgemein rekursive und partiell rekursive Funktionen. In: Algorithmen und rekursive Funktionen. Logik und Grundlagen der Mathematik. Vieweg+Teubner Verlag, Wiesbaden. https://doi.org/10.1007/978-3-322-85356-1_3
Download citation
DOI: https://doi.org/10.1007/978-3-322-85356-1_3
Publisher Name: Vieweg+Teubner Verlag, Wiesbaden
Print ISBN: 978-3-528-08327-4
Online ISBN: 978-3-322-85356-1
eBook Packages: Springer Book Archive