Computability and Unsolvability
Author | : Martin Davis |
Publisher | : Courier Corporation |
Total Pages | : 292 |
Release | : 2013-04-16 |
ISBN-10 | : 9780486151069 |
ISBN-13 | : 0486151069 |
Rating | : 4/5 (69 Downloads) |
Download or read book Computability and Unsolvability written by Martin Davis and published by Courier Corporation. This book was released on 2013-04-16 with total page 292 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.