Este texto aborda las conexiones fundamentales entre la lógica matemática y los conceptos de algoritmos y computación, presentando una perspectiva constructivista y rigurosa.
YE
YE
Yuri Ershov
ruso
Yuri Ershov es un prominente matemático ruso conocido por sus contribuciones en el campo de la teoría de la computación y la lógica matemática. Su trabajo ha influido en la computación y la enseñanza de la matemática en Rusia y en el extranjero.
Obras en el archivo
16 títulos
Autores relacionados
Aparecen junto a Yuri Ershov en búsquedas del archivo