Gutscheinbedingungen

**Gültig nur für Bestellungen an die Wunsch-Poststation bis 10.06.2026 auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads (außer Abo), nicht preisgebundene Bücher und Kalender online auf thalia.at und in der Thalia App. Einzelne Artikel können ausgeschlossen sein. Aufgrund der Buchpreisbindung sind deutschsprachige Bücher und eBooks ausgenommen. Zusätzlich ausgenommen sind preisgebundene Artikel, Abos & Flatrates, eBooks, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Kein Click & Collect möglich. Keine Barauszahlung. Nicht kombinierbar mit anderen Aktionen und Gutscheinen. Gutschein wird auf max. 500€ Bestellwert angerechnet. Nicht gültig für Versandkosten und Services.

  • Produktbild: Enumerability · Decidability Computability
  • Produktbild: Enumerability · Decidability Computability
Band 127

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

51,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

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.