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

405 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

405 g

Auflage

Second Edition 1969

Übersetzt von

  • Gabor T. Herman
  • O. Plassmann

Sprache

Englisch

ISBN

978-3-642-46180-4

Herstelleradresse

Springer-Verlag GmbH
Tiergartenstr. 17
69121 Heidelberg
DE

Email: ProductSafety@springernature.com

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: Einfach Barcode scannen, Versandetikett ausdrucken, Bücher verschicken und Thalia Geschenkkarte erhalten.

Jetzt verkaufen
Jetzt verkaufen

Kundinnen und Kunden meinen

0 Bewertungen

Informationen zu Bewertungen

Zur Abgabe einer Bewertung ist eine Anmeldung im Konto notwendig. Die Authentizität der Bewertungen wird von uns nicht überprüft. Wir behalten uns vor, Bewertungstexte, die unseren Richtlinien widersprechen, entsprechend zu kürzen oder zu löschen.

Die Bewertungen sind nach Format, Anzahl Sterne und Datum sortiert.

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kund*innen durch Ihre Meinung

Kundinnen und Kunden meinen

0 Bewertungen filtern
  • 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.