Computability and Unsolvability - Martin Davis
-40% koodiga BOOKS
Saadetis 22-28 tööpäeva jooksul
30-päevane tagastamisõigus
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.
Kirjeldus
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.
Lisateave
| Autor | Martin Davis |
|---|---|
| Kirjastaja | Dover Publications |
| Väljalaskeaasta | 1985 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9780486614717 |