Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher) (German Edition)
5 Angebote vergleichen
| Preise | 2013 | 2014 | 2015 |
|---|---|---|---|
| Schnitt | € 32,79 | € 28,89 | € 50,03 |
| Nachfrage |
1
Symbolbild
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit (1978)
DE PB NW RPISBN: 9783540088691 bzw. 3540088695, in Deutsch, Springer Aug 1978, Taschenbuch, neu, Nachdruck.
Von Händler/Antiquariat, AHA-BUCH GmbH [51283250], Einbeck, Germany.
This item is printed on demand - Print on Demand Titel. Neuware - 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.- Siebentes Kapitel. 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. 260 pp. Deutsch.
This item is printed on demand - Print on Demand Titel. Neuware - 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.- Siebentes Kapitel. 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. 260 pp. Deutsch.
2
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit. Einführung in die Theorie der rekursiven Funktionen
DE PBISBN: 9783540088691 bzw. 3540088695, Band: 87, in Deutsch, 3. Ausgabe, Springer, Berlin/Heidelberg, Deutschland, Taschenbuch.
Von Händler/Antiquariat, Celler Versandantiquariat [1047816], Eicklingen, Germany.
3. Auflage, Springer, Bln., 1978. 258 S., kartoniert -Band 87 der Heidelberger Taschenbücher / Sammlung Informatik / Hrsg. F. L. Bauer, G. Goos und M. Paul-.
3. Auflage, Springer, Bln., 1978. 258 S., kartoniert -Band 87 der Heidelberger Taschenbücher / Sammlung Informatik / Hrsg. F. L. Bauer, G. Goos und M. Paul-.
3
Symbolbild
AufzÇÏhlbarkeit Entscheidbarkeit Berechenbarkeit. EinfÇ hrung in die Theorie der rekursiven Funktionen (1978)
DE PB USISBN: 9783540088691 bzw. 3540088695, in Deutsch, Springer, Taschenbuch, gebraucht.
Von Händler/Antiquariat, Herb Tandree Philosophy Books [17426], Stroud, United Kingdom.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
4
Symbolbild
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen (Heidelberger Taschenbücher) (German Edition) (1978)
DE PB NWISBN: 9783540088691 bzw. 3540088695, in Deutsch, 3. Ausgabe, Springer, Taschenbuch, neu.
Von Händler/Antiquariat, Revaluation Books [2134736], Exeter, United Kingdom.
3. Aufl. edition. 276 pages. German language. 8.03x5.28x0.55 inches. In Stock.
3. Aufl. edition. 276 pages. German language. 8.03x5.28x0.55 inches. In Stock.
Lade…