Vor Ort
Merkzettel Warenkorb

Gutscheinbedingungen

**Gültig bis 24.09.2026 ab einem Mindestbestellwert von 30€ auf Spielzeug, Schreibwaren, Filme, Geschenke & Trends, Musik, tolino eReader & Zubehör, Hörbücher und Hörbuch-Downloads, 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 Abos & Flatrates, Games, Geschenkkarten/-boxen, Shelfies, Software, Zeitschriften sowie einzelne Artikel von tonies®. Pro Einkauf einmal einlösbar. Click & Collect nur bei Onlinevorabzahlung 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. Preisgebundene Artikel sind vom Mindestbestellwert ausgeschlossen.
  • 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

51,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

29.02.2012

Abbildungen

XII, 250 p.

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

Abbildungen

XII, 250 p.

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: ProductSafety@springernature.com

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.