Computability and Unsolvability - Martin Davis
-30% ar kodu BOOKS
Piegāde 22-28 darba dienu laikā
30 dienu atgriešanas 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.
Vairāk informācijas
| Autors | Martin Davis |
|---|---|
| Izdevējs | Dover Publications |
| Izlaides gads | 1985 |
| Vāka tips | Mīkstais vāks |
| EAN | 9780486614717 |