Computability and Unsolvability |
|
| Author:
| Davis, Martin |
| Series title: | Dover Books on Computer Science Ser. |
| ISBN: | 978-0-486-61471-7 |
| Publication Date: | Dec 1985 |
| Publisher: | Dover Publications, Incorporated
|
| Book Format: | Paperback |
| List Price: | USD $16.95 |
Book Description:
|
Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.
Classic graduate-level introduction to theory of computability. Discusses general theory of computability, computable functions, operations on computable functions, Turing machines self-applied, unsolvable decision problems, applications of general theory, mathematical logic, Kleene hierarchy, more.