Computability and Unsolvability - Martin Davis
-25% koodilla BOOKS
Toimitus 22-28 arkipäivässä
30 päivän palautusoikeus
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.
Kuvaus
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.
Lisätietoja
| Kirjoittaja | Martin Davis |
|---|---|
| Julkaisija | Dover Publications |
| Julkaisuvuosi | 1985 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9780486614717 |