Ambos libros abordan la formalidad de los algoritmos, resaltando su estructura y fundamentos matemáticos en el contexto de la computabilidad.
Teoría de Algoritmos y Máquinas Computacionales
por A.I. Mal'tsev · 1965
Ver sugerenciasSinopsis
Un texto seminal de la escuela matemática soviética que aborda la teoría de la recursión, la teoría de la computabilidad y las máquinas abstractas desde una perspectiva rigurosa y formal.
Sé el primero en valorar este libro.
Más de A.I. Mal'tsev
Ver autor →Otras obras del mismo autor en el catálogo
On the structure of groups of finite order
1940
The algebraic theory of groups
1954
A course in the theory of functions of a complex variable
1955
Theory of groups and its applications
1956
On the automorphism of groups
1959
Algebraic structures and groups
1961
Contributions to the theory of groups
1963
Introduction to the theory of groups
1966
Generalized Groups
1968
El Problema de la Computación
1968
Group Theory
1972
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este texto profundiza en los problemas computacionalmente insolubles, similar a Mal'tsev, quien también examina los límites de la decidibilidad en algoritmos.
Markov y Nagorny desarrollan conceptos de funciones recursivas, paralelamente al enfoque de Mal'tsev sobre la teoría de la recursión y la computabilidad.
Tseitin explora principios abstractos de computación y máquinas de Turing, en línea con la rigurosidad matemática del enfoque soviético de Mal'tsev.
La obra de Mal'tsev se complementa con este libro al ofrecer una perspectiva sobre la complejidad y las interrelaciones en la teoría de algoritmos.
Yablonsky presenta fundamentos de computabilidad que resuenan con las teorías de Mal'tsev sobre lo computable y los límites de los algoritmos.