Computability Theory: An Introduction to Recursion Theory

Valutazione media 4,4
( su 5 valutazioni fornite da Goodreads )
 
9780123849588: Computability Theory: An Introduction to Recursion Theory

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Review:

"...would benefit its target audience, especially now that a lot of mathematics courses eschew proofs...As with Enderton's well-known text in mathematical logic,...this is a thoughtfully written account of the basic facts, and I for one will likely use it in the future." --Mathematical Reviews, Computability Theory

"This textbook on basic computability theory is at the upper-undergraduate level." --Zentralblatt MATH, 2012

"Enderton (U. of California, Los Angeles) has written a clear, focused, and surprisingly literate textbook ― it is a rare mathematician who is this adept with words ― describing the history and theory of recursion theory that will be ideal for one-semester advanced courses in mathematics and computer science. After the concepts and theories are introduced, the equivalence of computable partial function and recursive partial function are demonstrated, in part through proofs of the unsolvability of the halting problem and of the enumeration theorem. Other chapters describe the properties of recursively enumerable sets, the link between computability theory and Gödel's incompleteness theorem, relative computability and degrees of unsolvability, and polynomial time computability. Appendices are included on Mathspeak, countability, and decadic notation." --SciTechBookNews

"Computability is concerned with the question of what computers can do in principle. Since Enderton directly contributed to the very areas that this book covers (computability and computational complexity), he is able to provide a concise and comprehensive firsthand view on the subject. As a scholar in the field, as well as in the history of logic, he frequently includes historical passages when presenting new concepts in the book.... This is a beautifully written and beautifully printed book.... The book fits perfectly as a textbook, covering standard material for one- or two-semester courses in computability or recursion theory. It is also an excellent study guide and reference for students and researchers in related areas. It is a lovely, short book that contains great ideas." --Computing Reviews

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

I migliori risultati di ricerca su AbeBooks

1.

Herbert B. Enderton
Editore: Academic Press (2010)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Prima edizione Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Academic Press, 2010. Hardcover. Condizione libro: New. book. Codice libro della libreria 0123849586

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 33,77
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

2.

Herbert B. Enderton
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Quantità: 5
Da
Books-FYI, Inc.
(cadiz, KY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: New. Codice libro della libreria 23M000004RVF

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 47,11
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

3.

Enderton, Herbert B.
Editore: Academic Press (2010)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Academic Press, 2010. Hardcover. Condizione libro: New. Codice libro della libreria P110123849586

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 55,05
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 2,56
In U.S.A.
Destinazione, tempi e costi

4.

Herbert B. Enderton
Editore: Elsevier Science Publishing Co Inc, United States (2011)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Quantità: 10
Da
Book Depository hard to find
(London, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Elsevier Science Publishing Co Inc, United States, 2011. Hardback. Condizione libro: New. Language: English . This book usually ship within 10-15 business days and we will endeavor to dispatch orders quicker than this where possible. Brand New Book. 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. Codice libro della libreria EOD9780123849588

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 60,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: GRATIS
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

5.

ENDERTON, HERBERT
Editore: Academic Press (2010)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Quantità: 10
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Academic Press, 2010. Hardback. Condizione libro: NEW. 9780123849588 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE0892964

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,91
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

6.

ENDERTON, HERBERT
Editore: Academic Press (2010)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Quantità: 10
Da
Herb Tandree Philosophy Books
(Stroud, GLOS, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Academic Press, 2010. Hardback. Condizione libro: NEW. 9780123849588 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Codice libro della libreria HTANDREE01196915

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 56,23
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 8,91
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

7.

Herbert B. Enderton
Editore: Academic Press (2010)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Academic Press, 2010. Hardcover. Condizione libro: New. 1. Codice libro della libreria DADAX0123849586

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 69,86
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

8.

Herbert B. Enderton
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Quantità: 1
Da
Castle Rock
(Pittsford, NY, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Condizione libro: Brand New. Book Condition: Brand New. Codice libro della libreria 97801238495881.0

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 75,52
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

9.

Enderton, Herbert B.
Editore: Academic Press (2010)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria
[?]

Descrizione libro Academic Press, 2010. Hardcover. Condizione libro: New. Codice libro della libreria BKTY9780123849588

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 84,12
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 3,42
In U.S.A.
Destinazione, tempi e costi

10.

Enderton, Herbert B.
Editore: Academic Pr (2010)
ISBN 10: 0123849586 ISBN 13: 9780123849588
Nuovi Rilegato Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria
[?]

Descrizione libro Academic Pr, 2010. Hardcover. Condizione libro: Brand New. 1st edition. 192 pages. 9.50x6.50x0.50 inches. In Stock. Codice libro della libreria zk0123849586

Maggiori informazioni su questa libreria | Fare una domanda alla libreria

Compra nuovo
EUR 94,99
Convertire valuta

Aggiungere al carrello

Spese di spedizione: EUR 6,69
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi