Computability and Unsolvability / Dover Publications (ePub)
In Part One (Chapters 1-5), Professor Davis outlines the general theory of...
- Kauf auf Rechnung
- eBook auch verschenkbar
- Kostenlose tolino app
Die Ernährungs-Docs - Zuckerfrei gesünder leben
Anne Dr. med. Fleck, Jörn Klasen, MATTHIAS DR. MED. RIEDL, Silja Schäfer
Statt Fr. 26.95 5
Fr. 19.95 4
Fr. 14.95
Ein verheissenes Land
Barack Obama
Statt Fr. 54.95
Fr. 45.95
The Universal Computer
Martin Davis
Fr. 51.90
The Universal Computer
Martin Davis
Fr. 51.90
Applied Nonstandard Analysis / Dover Publications
Martin Davis
Fr. 23.90
Fr. 16.90
From Linear Operators to Computational Biology
Martin Davis, Edmond Schonberg
Statt Fr. 209.90 19
Fr. 141.50
In Part One (Chapters 1-5), Professor Davis outlines the general theory of computability, discussing such topics as computable functions, operations on computable functions, recursive functions, Turing machines, self-applied, and unsolvable decision problems. The author has been careful, especially in the first seven chapters, to assume no special mathematical training on the part of the reader.
Part Two (Chapters 6-8) comprises a concise treatment of applications of the general theory, incorporating material on combinatorial problems, Diophantine Equations (including Hilbert's Tenth Problem) and mathematical logic. The final three chapters (Part 3) present further development of the general theory, encompassing the Kleene hierarchy, computable functionals, and the classification of unsolvable decision problems.
When first published in 1958, this work introduced much terminology that has since become standard in theoretical computer science. Indeed, the stature of the book is such that many computer scientists regard it as their theoretical introduction to the topic. This new Dover edition makes this pioneering, widely admired text available in an inexpensive format.
For Dover's edition, Dr. Davis has provided a new Preface and an Appendix, "Hilbert's Tenth Problem Is Unsolvable," an important article he published in The American Mathematical Monthly in 1973, which was awarded prizes by the American Mathematical Society and the Mathematical Association of America. These additions further enhance the value and usefulness of an "unusually clear and stimulating exposition" (Centre National de la Recherche Scientifique, Paris) now available for the first time in paperback.
- Autor: Martin Davis
- 2013, 288 Seiten, Englisch
- Verlag: Guilford Publications
- ISBN-10: 0486151069
- ISBN-13: 9780486151069
- Erscheinungsdatum: 16.04.2013
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
- Dateiformat: ePub
- Grösse: 17 MB
- Mit Kopierschutz
Die Ernährungs-Docs - Zuckerfrei gesünder leben
Anne Dr. med. Fleck, Jörn Klasen, MATTHIAS DR. MED. RIEDL, Silja Schäfer
Statt Fr. 26.95 5
Fr. 19.95 4
Fr. 14.95
Ein verheissenes Land
Barack Obama
Statt Fr. 54.95
Fr. 45.95
| Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
|---|
Keine Kommentare vorhanden
Jetzt bewertenSchreiben Sie den ersten Kommentar zu "Computability and Unsolvability / Dover Publications".
Kommentar verfassen