Máquinas de Turing y funciones recursivas
divulgacion
Un libro de texto que introduce de manera rigurosa la teoría de la computabilidad, la definición formal de algoritmos a través de las máquinas de Turing, y el concepto de funciones recursivas.
argentino
Martín H. Escardó es un destacado matemático y filósofo argentino conocido por sus contribuciones a la teoría de la computación y el desarrollo de la lógica matemática. Su trabajo ha tenido un impacto significativo en la investigación sobre la semántica y la fundamentación de la matemática.
divulgacion
Un libro de texto que introduce de manera rigurosa la teoría de la computabilidad, la definición formal de algoritmos a través de las máquinas de Turing, y el concepto de funciones recursivas.
Aparecen junto a Martín H. Escardó en búsquedas del archivo