Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher, 87, Band 87) - Taschenbuch

EAN (ISBN-13): 9783540053347
ISBN (ISBN-10): 3540053344
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1971
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2007-06-28T15:58:54+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-12-18T19:54:29+01:00 (Berlin)
ISBN/EAN: 3540053344

ISBN - alternative Schreibweisen:
3-540-05334-4, 978-3-540-05334-7
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: hermes hans, springer berlin heidelberg, heidelberger
Titel des Buches: aufzählbarkeit entscheidbarkeit berechenbarkeit, heidelberger taschenbücher, theorie, einführung springer, funktionen, einführung die

---

Daten vom Verlag:

Autor/in: H. Hermes
Titel: Heidelberger Taschenbücher; Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit - Einführung in die Theorie der rekursiven Funktionen
Verlag: Springer; Springer Berlin
Erscheinungsjahr: 1971-03-24
Berlin; Heidelberg; DE
Gewicht: 0,300 kg
Sprache: Deutsch
49,95 € (DE)
51,35 € (AT)
62,56 CHF (CH)
Not available, publisher indicates OP

BC; Book; Hardcover, Softcover / Mathematik/Grundlagen; Mathematische Grundlagen; rekursive Funktion; Berechenbarkeit; Semi-Thue-System; Prädikatenlogik; Äquivalenz; Funktion; Entscheidbarkeit; Minimum; Turing; Wortproblem; Prädikate; rekursive Funktionen; Entscheidbar; Primitiv-rekursive Funktion; Algorithmen; C; Mathematical Logic and Foundations; Mathematics and Statistics; Mathematik: Logik; BC; BC

Erstes Kapitel. Einführende Betrachtungen über Algorithmen.- § 1. Der Begriff des Algorithmus.- § 2. Die grundlegenden Begriffe der Theorie des Konstruktiven.- § 3. Turingmaschinen als Präzisierung des Begriffs eines Algorithmus.- § 4. Historische Bemerkungen.- Zweites Kapitel. Turingmaschinen.- § 5. Definition der Turingmaschinen.- § 6. Präzisierung konstruktiver Begriffe mittels Turingmaschinen. Beispiele.- § 7. Zusammensetzung von Turingmaschinen.- § 8. Spezielle Turingmaschinen.- § 9. Beispiele für Turing-Berechenbarkeit und Turing-Entscheidbarkeit.- Drittes Kapitel. µ-rekursive Funktionen.- § 10. Primitiv-rekursive Funktionen.- § 11. Primitiv-rekursive Prädikate.- § 12. Der µ-Operator.- § 13. Beispiel einer berechenbaren Funktion, die nicht primitiv-rekursiv ist.- § 14. µ-rekursive Funktionen und Prädikate.- Viertes Kapitel. Die Äquivalenz von Turing-Berechenbarkeit und µ-Rekursivität.- § 15. Übersicht. Normierte Turing-Berechenbarkeit.- § 16. Die Turing-Berechenbarkeit der µ-rekursiven Funktionen.- § 17. Gödelisierung von Turingmaschinen.- § 18. Die µ-Rekursivität der Turing-berechenbaren Funktionen. Die Kleenesche Normalform.- Fünftes Kapitel. Rekursive Funktionen.- § 19. Definition der rekursiven Funktionen.- § 20. Die Rekursivität der µ-rekursiven Funktionen.- § 21. Die µ-Rekursivität der rekursiven Funktionen.- Sechstes Kapitel. Unentscheidbare Prädikate.- § 22. Einfache unentscheidbare Prädikate.- § 23. Die Unlösbarkeit des Wortproblems für Semi-Thue-Systeme und Thue-Systeme.- § 24. Die Prädikatenlogik.- § 25. Die Unentscheidbarkeit der Prädikatenlogik.- § 26. Die Unvollständigkeit der Prädikatenlogik der zweiten Stufe.- § 27. Die Unentscheidbarkeit und die Unvollständigkeit der Arithmetik.- Siebentes Kapitel. Verschiedenes.- § 28. Aufzählbare Prädikate.- § 29. Arithmetische Prädikate.- § 30. Universelle Turingmaschinen.- § 31. ?-K-Definierbarkeit.- § 32. Die Minimallogik von Fitch.- § 33. Weitere Präzisierungen des Begriffs des Algorithmus.- § 34. Rekursive Analysis.- Namen- und Sachverzeichnis.