por Nicolai K. Vereshchagin, Alexander K. Shen · 2007
Ver sugerenciasSinopsis
Este texto ruso ofrece una introducción rigurosa a la lógica matemática y a los fundamentos de la teoría de la computación, abarcando la algoritmia, la computabilidad y la complejidad. Es una obra didáctica aunque profunda en su tratamiento.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Yuri L. Ershov, Evgeny A. Palyutin
1984·divulgacion
Ambos textos ofrecen una exposición rigurosa de la teoría de la computabilidad, enfocándose en sus fundamentos desde una perspectiva matemática profunda.
Al igual que el libro de referencia, este texto introduce conceptos centrales como las máquinas de Turing y funciones recursivas en un tono didáctico y preciso.
Ambos obras abordan la teoría de algoritmos y la tesis de Church-Turing, resaltando su conexión con los fundamentos de la computación matemática.
Similar a 'Elementos de Lógica Matemática', este libro presenta un enfoque riguroso a la lógica simbólica, integrando conceptos de recursión y sistemas formales.
Yuri Ershov, Andrei Goncharov, Alexei Ershov
1989
Este texto profundiza en la relación entre lógica matemática y algoritmos, al igual que la obra de Vereshchagin y Shen, con un enfoque constructivista.
Ambos libros se centran en conceptos fundamentales de lógica y teoría de conjuntos, ofreciendo una base matemática clásica esencial para entender la computación.
