DF (55) 55 54 94 02 • Cuernavaca (777) 102 83 86
Síguenos en:
 |  |  |
(55) 55 54 94 02
Libros relacionados
 |
Computational Methods For Integrating Vision And Language Barnard, Kobus Morgan & Claypool Publishers |
|
Datacenter Design And Management: A Computer Architect's Perspective C. Lee, Benjamin Morgan & Claypool Publishers |
|
Ellipse Fitting For Computer Vision: Implementation And Applications Kanatani, Kenichi / Sugaya, Yasuyuki / Kanazawa, Yasushi Morgan & Claypool Publishers |
|
Título: Computability And Logic | |
| Autor: Boolos And Burges | Precio: $449.50 | |
| Editorial: Cambridge University Press | Año: 2007 | |
| Tema: Computacion, Logica | Edición: 5ª | |
| Sinopsis | ISBN: 9780521701464 | |
| Computability and Logic has become a classic because of its accessibility to students without a mathematical background and because it covers not simply the staple topics of an intermediate logic course, such as Godel's incompleteness theorems, but also a large number of optional topics, from Turing's theory of computability to Ramsey's theorem. Including a selection of exercises, adjusted for this edition, at the end of each chapter, it offers a new and simpler treatment of the representability of recursive functions, a traditional stumbling block for students on the way to the Godel incompleteness theorems. | ||
Disponibilidad: Bajo pedido
ó
ó
Librería Bonilla SA de CV © Todos los derechos reservados. 2019
Última actualización: Jul 2019