Título original:
A Recursive Introduction to the Theory of Computation
Contenido del libro:
El objetivo de este libro de texto es presentar una exposición de la teoría de la computación.
Tras introducir el concepto de modelo de computación y presentar varios ejemplos, el autor explora las limitaciones de la computación efectiva a través de la teoría básica de la recursividad. La autorreferencia y otros métodos se presentan como herramientas fundamentales y básicas para construir y manipular algoritmos.
A partir de ahí, el libro considera la complejidad de los cálculos y se introduce la noción de medida de complejidad. Por último, el libro culmina considerando las medidas de tiempo y espacio y clasificando las funciones computables como factibles o no factibles. El autor sólo asume una familiaridad básica con las matemáticas discretas y la computación, lo que hace que este libro de texto sea ideal para un curso introductorio de posgrado.
Se basa en muchos cursos de este tipo presentados por el autor, por lo que se incluyen numerosos ejercicios. Además, se proporcionan las soluciones a la mayoría de estos ejercicios.
Otros datos del libro:
| ISBN: | 9780387943329 |
| Autor: | |
| Editorial: | |
| Idioma: | inglés |
| Encuadernación: | Tapa dura |
Compra:
Actualmente disponible, en stock.
