Computability Theory - 1st Edition - ISBN: 9780123878359, 9780123878366

Computability Theory

1st Edition

An Introduction to Recursion Theory, Students Solutions Manual (e-only)

Authors: Herbert Enderton
eBook ISBN: 9780123878366
Imprint: Academic Press
Published Date: 7th July 2011
Page Count: 21
Tax/VAT will be calculated at check-out Price includes VAT (GST)
7.95
6.99
9.99
Unavailable
Price includes VAT (GST)
× Read this ebook on your PC, Mac, Apple iOS and Andriod mobile devices and eReader

This ebook is protected by Adobe Content Server digital rights management.

For more information on how to use .acsm files please click the Ebook Format Help link.

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Description

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.

Table of Contents

1. The Computability Concept

2. General Recursive Functions

3. Programs and Machines

4. Recursive Enumerability

5. Connections to Logic

6. Degrees of Unsolvability

7. Polynomial-Time Computability

Details

No. of pages:
21
Language:
English
Copyright:
© Academic Press 2010
Published:
Imprint:
Academic Press
eBook ISBN:
9780123878366

About the Author

Herbert Enderton

Affiliations and Expertise

University of California, Los Angeles, U.S.A.