|
" Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : "
Hans Hermes.
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
756187
|
| Doc. No
|
:
|
b576149
|
| Main Entry
|
:
|
Hans Hermes.
|
| Title & Author
|
:
|
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit : : Einführung in die Theorie der rekursiven Funktionen\ Hans Hermes.
|
| Edition Statement
|
:
|
3. Aufl
|
| Publication Statement
|
:
|
Berlin ; New York : Springer, 1978
|
| Series Statement
|
:
|
Heidelberger Taschenbücher, Sammlung Informatik, 87.
|
| Page. NO
|
:
|
(xii, 258 pages).
|
| ISBN
|
:
|
3642953271
|
|
|
:
|
: 9783642953279
|
| Contents
|
:
|
Erstes Kapitel. Einführende Betrachtungen über Algorithmen --; {sect} 1. Der Begriff des Algorithmus --; {sect} 2. Die grundlegenden Begriffe der Theorie des Konstruktiven --; {sect} 3. Turingmaschinen als Präzisierung des Begriffs eines Algorithmus --; {sect} 4. Historische Bemerkungen --; Zweites Kapitel. Turingmaschinen --; {sect} 5. Definition der Turingmaschinen --; {sect} 6. Präzisierung konstruktiver Begriffe mittels Turingmaschinen. Beispiele --; {sect} 7. Zusammensetzung von Turingmaschinen --; {sect} 8. Spezielle Turingmaschinen --; {sect} 9. Beispiele für Turing-Berechenbarkeit und Turing-Entscheidbarkeit --; Drittes Kapitel. [micro]-rekursive Funktionen --; {sect} 10. Primitiv-rekursive Funktionen --; {sect}11. Primitiv-rekursive Prädikate --; {sect} 12. Der [micro]-Operator --; {sect} 13. Beispiel einer berechenbaren Funktion, die nicht primitiv-rekursiv ist --; {sect} 14. [micro]-rekursive Funktionen und Prädikate --; Viertes Kapitel. Die Äquivalenz von Turing-Berechenbarkeit und [micro]-Rekursivität --; {sect}15. Übersicht. Normierte Turing-Berechenbarkeit --; {sect} 16. Die Turing-Berechenbarkeit der [micro]-rekursiven Funktionen --; {sect}17. Gödelisierung von Turingmaschinen --; {sect} 18. Die [micro]-Rekursivität der Turing-berechenbaren Funktionen. Die Kleenesche Normalform --; Fünftes Kapitel. Rekursive Funktionen --; {sect}19. Definition der rekursiven Funktionen --; {sect} 20. Die Rekursivität der [micro]-rekursiven Funktionen --; {sect}21. Die [micro]-Rekursivität der rekursiven Funktionen --; Sechstes Kapitel. Unentscheidbare Prädikate --; {sect} 22. Einfache unentscheidbare Prädikate --; {sect} 23. Die Unlösbarkeit des Wortproblems für Semi-Thue-Systeme und Thue-Systeme --; {sect}24. Die Prädikatenlogik --; {sect} 25. Die Unentscheidbarkeit der Prädikatenlogik --; {sect} 26. Die Unvollständigkeit der Prädikatenlogik der zweiten Stufe --; {sect} 27. Die Unentscheidbarkeit und die Unvoll ständigkeit der Arithmetik --; Siebentes Kapitel. Verschiedenes --; {sect}28. Aufzählbare Prädikate --; {sect} 29. Arithmetische Prädikate --; {sect} 30. Universelle Turingmaschinen --; {sect}31.?-K-Definierbarkeit --; {sect} 32. Die Minimallogik von Fitch --; {sect} 33. Aufzählbare Mengen über beliebigen Alphabeten. Chomsky-Sprachen --; {sect} 34. Das Korrespondenzproblem von Post --; {sect} 35. Weitere Präzisierungen des Begriffs des Algorithmus --; {sect} 36. Rekursive Analysis --; Namen- und Sachverzeichnis.
|
| Subject
|
:
|
Aufzählbarkeit.
|
| Subject
|
:
|
Berechenbarkeit.
|
| Subject
|
:
|
Recursive functions.
|
| Added Entry
|
:
|
Hans Hermes
|
| |