Computability Theory: An Introduction to Recursion Theory - Herbert B Enderton
-30% with code BOOKS
Shipping in 31-37 days
30-day return policy
This textbook is designed to introduce undergraduate mathematics and computer science students to computability theory (recursion theory). It is based on teaching experience, and is designed to be accessible to junior and senior students without a previous background in the subject. The book will prepare the students for further study in computational complexity, logic, theoretical computer science, as well ... Full description
You May Also Like
Description
This textbook is designed to introduce undergraduate mathematics and computer science students to computability theory (recursion theory). It is based on teaching experience, and is designed to be accessible to junior and senior students without a previous background in the subject. The book will prepare the students for further study in computational complexity, logic, theoretical computer science, as well as other topics. It focuses on computability theory, and excludes computer-science topics such as automata theory, and context-free languages.
Undergraduates can read and understand the material
Pointers to more advanced topics, and provides a base for further study of such topics
Covers a strong introductory set of material from a modern mathematical viewpoint
More Information
| Author | Herbert B Enderton |
|---|---|
| Publisher | Elsevier Science |
| Release year | 2010 |
| Cover type | Hardcover |
| EAN | 9780123849588 |