عنوان

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :

شابک

3642953271

شابک

9783642953279

شماره

b576149

عنوان اصلي

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit :

نام عام مواد

[Book]

ساير اطلاعات عنواني

Einführung in die Theorie der rekursiven Funktionen

نام نخستين پديدآور

Hans Hermes.

وضعيت ويراست

3. Aufl

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer

تاریخ نشرو بخش و غیره

1978

نام خاص و کميت اثر

(xii, 258 pages).

عنوان فروست

Heidelberger Taschenbücher, Sammlung Informatik, 87.

متن يادداشت

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.

موضوع مستند نشده

Aufzählbarkeit.

موضوع مستند نشده

Berechenbarkeit.

موضوع مستند نشده

Recursive functions.

مستند نام اشخاص تاييد نشده

Hans Hermes.

مستند نام اشخاص تاييد نشده

Hans Hermes

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y