Computability theory: An introduction to recursion theory by Enderton H.

Computability theory: An introduction to recursion theory



Download Computability theory: An introduction to recursion theory




Computability theory: An introduction to recursion theory Enderton H.
Language: English
Page: 176
Format: pdf
ISBN: 0123849586, 9780123849588
Publisher: AP

Review

"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

MORE EBOOKS:
Download ebook: Acheron (Dark-Hunter, Book 12)







Tags: Computability theory: An introduction to recursion theory ebook pdf djvu epub
Computability theory: An introduction to recursion theory download pdf epub djvu
Download Computability theory: An introduction to recursion theory free ebook pdf
Read Computability theory: An introduction to recursion theory online book
Computability theory: An introduction to recursion theory cheap ebook for kindle and nook
Computability theory: An introduction to recursion theory download book
Enderton H. ebooks
Computability theory: An introduction to recursion theory download pdf rapidshare mediafire fileserve 4shared torrent