El Cálculo de las Lámparas
1965·ciencia ficcion
Un trabajo soviético que explora una formulación alternativa del cálculo lambda, buscando simplificar su notación y comprensión a través de un sistema de representación de 'lámparas'.
YT
YT
Y. S. Tseytin
ruso
Y. S. Tseytin es un destacado matemático y teórico de la computación conocido por sus contribuciones al cálculo de proposiciones y la lógica computacional. Su trabajo es relevante en el estudio de las estructuras lógicas y su aplicación en la informática.
Obras en el archivo
16 títulos
Autores relacionados
Aparecen junto a Y. S. Tseytin en búsquedas del archivo