Classic text considers 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, computable functionals, classification of unsolvable decision problems and more.
| ISBN: | 9780486614717 |
| Publication date: | 28th March 2003 |
| Author: | Martin Davis |
| Publisher: | Dover Publications an imprint of Dover Publications Inc. |
| Format: | Paperback |
| Pagination: | 248 pages |
| Series: | Dover Books on Computer Science |
| Genres: |
Mathematical theory of computation |
Classic text considers 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, computable functionals, classification of unsolvable decision problems and more.
Computability & Unsolvability features in the following genres: Mathematical theory of computation
Computability & Unsolvability is available in Paperback
Computability & Unsolvability was written by Martin Davis and published by Dover Publications an imprint of Dover Publications Inc.
Computability & Unsolvability has 248 pages
Yes it is part of Dover Books on Computer Science series