Este ensayo investiga los fundamentos teóricos de la computación no determinista, explorando extensiones y límites del modelo de la máquina de Turing.
YG
YG
Yuri Gurevich
ruso
Yuri Gurevich es un destacado científico e investigador en el campo de la teoría de autómatas y la informática, conocido por sus contribuciones fundamentales en la teoría de modelos y la computación. Su trabajo ha influido en la comprensión de los sistemas computacionales y sus aplicaciones en diversas áreas de la ciencia.
Obras en el archivo
18 títulos
La ciencia de la computación como forma de pensamiento
1993·filosofia
Este volumen explora la computación no solo como una disciplina técnica, sino como una forma fundamental de organizar el pensamiento y comprender el mundo. Presenta varias perspectivas sobre los fundamentos y las aplicaciones de la lógica y los autómatas.
Aunque no sea un libro tradicionalmente publicado como monografía, Gurevich ha explorado extensamente los modelos Abstract State Machines (ASM) como una forma de formalizar la semántica de la computación y la lógica de los programas de un modo independiente de la implementación.
Autores relacionados
Aparecen junto a Yuri Gurevich en búsquedas del archivo