Computability Theory

An Introduction to Recursion Theory

Nonfiction, Computers, Advanced Computing, Theory, Science & Nature, Mathematics, Applied
Cover of the book Computability Theory by Herbert B. Enderton, Elsevier Science
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart
Author: Herbert B. Enderton ISBN: 9780123849595
Publisher: Elsevier Science Publication: December 30, 2010
Imprint: Academic Press Language: English
Author: Herbert B. Enderton
ISBN: 9780123849595
Publisher: Elsevier Science
Publication: December 30, 2010
Imprint: Academic Press
Language: English

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level.  The text includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable way.

  • Frequent historical information presented throughout
  • More extensive motivation for each of the topics than other texts currently available
  • Connects with topics not included in other textbooks, such as complexity theory
View on Amazon View on AbeBooks View on Kobo View on B.Depository View on eBay View on Walmart

Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level.  The text includes both the standard material for a first course in computability and more advanced looks at degree structures, forcing, priority methods, and determinacy. The final chapter explores a variety of computability applications to mathematics and science. Computability Theory is an invaluable text, reference, and guide to the direction of current research in the field. Nowhere else will you find the techniques and results of this beautiful and basic subject brought alive in such an approachable way.

More books from Elsevier Science

Cover of the book Biostatistics and Computer-based Analysis of Health Data using Stata by Herbert B. Enderton
Cover of the book Novel Food Packaging Techniques by Herbert B. Enderton
Cover of the book Nano and Bio Heat Transfer and Fluid Flow by Herbert B. Enderton
Cover of the book Critical Care Neurology Part I by Herbert B. Enderton
Cover of the book The Science of Color by Herbert B. Enderton
Cover of the book Developments in the Formulation and Reinforcement of Concrete by Herbert B. Enderton
Cover of the book Resilience Imperative by Herbert B. Enderton
Cover of the book Adsorption of Metals by Geomedia by Herbert B. Enderton
Cover of the book Hazard Analysis and Risk Based Preventive Controls by Herbert B. Enderton
Cover of the book Rugged Embedded Systems by Herbert B. Enderton
Cover of the book Energy Optimization in Process Systems and Fuel Cells by Herbert B. Enderton
Cover of the book Oxygen Transport in Red Blood Cells by Herbert B. Enderton
Cover of the book Parameter Identification and Monitoring of Mechanical Systems Under Nonlinear Vibration by Herbert B. Enderton
Cover of the book Corrosion of Metallic Heritage Artefacts by Herbert B. Enderton
Cover of the book Specialty Oils and Fats in Food and Nutrition by Herbert B. Enderton
We use our own "cookies" and third party cookies to improve services and to see statistical information. By using this website, you agree to our Privacy Policy