Ambos libros abordan la computabilidad efectiva, aunque 'Fundamentos de la computabilidad efectiva' se centra más en las funciones recursivas y su teoría subyacente.
Una Introducción a la Computabilidad usando Logic Circuitos
por Eugene M. Reingold · 1974
Ver sugerenciasSinopsis
Un texto que introduce la teoría de la computabilidad desde una perspectiva que hace hincapié en la implementación física y lógica de los conceptos, utilizando circuitos lógicos como base.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Al igual que 'Una Introducción a la Computabilidad', 'Elements of the Theory of Computation' se fundamenta en conceptos teóricos, pero profundiza en la complejidad y algoritmos.
'Máquinas de Turing' comparte el enfoque en los fundamentos lógicos de la computación, detallando cómo las máquinas se utilizan para entender la computabilidad.
Introducción a la teoría de autómatas, lenguajes y computación
John E. Hopcroft, Rajeev Motwani, Jeffrey D. Ullman
2000·ensayo
El texto de Hopcroft et al. presenta la teoría de autómatas, complementando la perspectiva de circuitos lógicos con un enfoque en lenguajes formales y complejidad.
'Computability and Logic' conecta conceptos de computabilidad con la lógica matemática, similar al enfoque físico y lógico de Reingold sobre la computabilidad.
Aunque 'Computabilidad y Lógica' es más riguroso, explora el mismo terreno de la computabilidad y la lógica, centrándose en máquinas de Turing y funciones recursivas.