Recomienda este artículo a tus amigos:
Turing Computability: Theory and Applications - Theory and Applications of Computability Robert I. Soare 1st ed. 2016 edition
Turing Computability: Theory and Applications - Theory and Applications of Computability
Robert I. Soare
Turing's famous 1936 paper introduced a formal definition of a computing machine, a Turing machine. This book presents classical computability theory from Turing and Post to current results and methods, and their use in studying the information content of algebraic structures, models, and their relation to Peano arithmetic.
299 pages, 4 black & white illustrations, biography
| Medios de comunicación | Libros Hardcover Book (Libro con lomo y cubierta duros) |
| Publicado | 28 de junio de 2016 |
| ISBN13 | 9783642319327 |
| Editores | Springer-Verlag Berlin and Heidelberg Gm |
| Páginas | 263 |
| Dimensiones | 242 × 164 × 2 mm · 620 g |
| Lengua | Inglés |