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: | AUD $32.99 |
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.