Computability and Unsolvability - Martin Davis
-25% su kodu BOOKS
Pristatymas per 22-28 d.d.
30 dienų grąžinimo politika
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.
Aprašymas
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.
Daugiau informacijos
| Autorius | Martin Davis |
|---|---|
| Leidėjas | Dover Publications |
| Išleidimo metai | 1985 |
| Viršelio tipas | Minkšti viršeliai |
| EAN | 9780486614717 |