Aufzählbarkeit Entscheidbarkeit Berechenbarkeit

Einführung in die Theorie der rekursiven Funktionen

Häftad, Tyska, 1978

799 kr

Beställningsvara. Skickas inom 7-10 vardagar

Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1978-08-29
Mått133 x 203 x 16 mm
Vikt314 g
FormatHäftad
SpråkTyska
SerieHeidelberger Taschenbücher
Antal sidor260
Upplaga3
FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN9783540088691

Tillhör följande kategorier

Matematikens grunder inom Naturvetenskap och teknik

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 Unvoll ständigkeit der Arithmetik.- SiebentesKapitel. Verschiedenes.- §28. Aufzählbare Prädikate.- § 29. Arithmetische Prädikate.- § 30. Universelle Turingmaschinen.- §31. ?-K-Definierbarkeit.- § 32. Die Minimallogik von Fitch.- § 33. Aufzählbare Mengen über beliebigen Alphabeten. Chomsky-Sprachen.- § 34. Das Korrespondenzproblem von Post.- § 35. Weitere Präzisierungen des Begriffs des Algorithmus.- § 36. Rekursive Analysis.- Namen- und Sachverzeichnis.

Mer från samma författare

Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes

1 789 kr

Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing

1 069 kr

Posthumous Writings

Posthumous Writings

Gottlob Frege, Hans Hermes

509 kr

Einführung in die mathematische Logik

Einführung in die mathematische Logik

669 kr

Selecta Mathematica II

Selecta Mathematica II

H.D. Ebbinghaus, F.K. Mahn, Hans Hermes, Konrad Jacobs, H. D. Ebbinghaus, F. K. Mahn, H.D. Ebbinghaus, F.K. Mahn

669 kr

Term Logic with Choice Operator

Term Logic with Choice Operator

359 kr

Introduction to Mathematical Logic

Introduction to Mathematical Logic

719 kr

Zahlen

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

729 kr

Enumerability · Decidability Computability

Enumerability · Decidability Computability

719 kr

Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

669 kr

Du kanske också är intresserad av

Den yttersta hemligheten

Nyhet

Del 6

Den yttersta hemligheten

329 kr

Zahlen

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, Klaus Lamotke

729 kr

Term Logic with Choice Operator

Term Logic with Choice Operator

359 kr

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel

Nachgelassene Schriften und Wissenschaftlicher Briefwechsel

Gottlob Frege, Friedrich Kambartel, Hans Hermes, Friedrich Kaulbach

2 869 kr

Lucia är död

Nyhet

Del 3

Lucia är död

Katarina Wennstam

259 kr299 kr

Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

669 kr

Harry Potter och de vises sten

Del 1

Harry Potter och de vises sten

439 kr

Introduction to Mathematical Logic

Introduction to Mathematical Logic

719 kr

Kvinnorna

4 pocket för 3

Kvinnorna

125 kr

Posthumous Writings

Posthumous Writings

Gottlob Frege, Hans Hermes

509 kr