Vor Ort
Merkzettel Warenkorb
  • Produktbild: Enumerability · Decidability Computability
  • Produktbild: Enumerability · Decidability Computability
Band 127

Enumerability · Decidability Computability An Introduction to the Theory of Recursive Functions

Aus der Reihe Grundlehren der mathematischen Wissenschaften

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.02.2012

Verlag

Springer Berlin

Seitenzahl

250

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

406 g

Auflage

Second Edition 1969

Übersetzt von

Gabor T. Herman + weitere

Sprache

Englisch

ISBN

978-3-642-46180-4

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.02.2012

Verlag

Springer Berlin

Seitenzahl

250

Maße (L/B/H)

23,5/15,5/1,5 cm

Gewicht

406 g

Auflage

Second Edition 1969

Übersetzt von

  • Gabor T. Herman
  • O. Plassmann

Sprache

Englisch

ISBN

978-3-642-46180-4

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Ein neues Kapitel für Ihre Bücher

Ein neues Kapitel für Ihre Bücher

Schenken Sie Ihren alten Schätzen ein zweites Leben und erhalten dafür eine Thalia Geschenkkarte.

Jetzt verkaufen
Jetzt verkaufen

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Enumerability · Decidability Computability
  • Produktbild: Enumerability · Decidability Computability
  • 1. Introductory Reflections on Algorithms.-
    1. The Concept of Algorithm.-
    2. The Fundamental Concepts of the Theory of Constructivity.-
    3. The Concept of Turing Machine as an Exact Mathematical Substitute for the Concept of Algorithm.-
    4. Historical Remarks.- 2. Turing Machines.-
    5. Definition of Turing Machines.-
    6. Precise Definition of Constructive Concepts by means of Turing Machines.-
    7. Combination of Turing Machines.-
    8. Special Turing Machines.-
    9. Examples of Turing-Computability and Turing-Decidability.- 3. ?-Recursive Functions.-
    10. Primitive Recursive Functions.-
    11. Primitive Recursive Predicates.-
    12. The ?-Operator.-
    13. Example of a Computable Function which is not Primitive Recursive.-
    14. ?-Recursive Functions and Predicates.- 4. The Equivalence of Turing-Computability and ?-Recursiveness.-
    15. Survey. Standard Turing-Computability.-
    16. The Turing-Computability of ?-Recursive Functions.-
    17. Gödel Numbering of Turing Machines.-
    18. The ?-Recursiveness of Turing-Computable Functions. Kleene’s Normal Form.- 5. Recursive Functions.-
    19. Definition of Recursive Functions.-
    20. The Recursiveness of ?-Recursive Functions.-
    21. The ?-Recursiveness of Recursive Functions.- 6. Undecidable Predicates.-
    22. Simple Undecidable Predicates.-
    23. The Unsolvability of the Word Problem for Semi-Thue Systems and Thue Systems.-
    24. The Predicate Calculus.-
    25. The Undecidability of the Predicate Calculus.-
    26. The Incompleteness of the Predicate Calculus of the Second Order.-
    27. The Undecidability and Incompleteness of Arithmetic.- 7. Miscellaneous.-
    28. Enumerable Predicates.-
    29. Arithmetical Predicates.-
    30. Universal Turing Machines.-
    31. ?-K-Definability.-
    32. The Minimal Logic of Fitch.-
    33. Further Precise Mathematical Replacements of the Concept of Algorithm.-
    34. Recursive Analysis.- Author and Subject Index.