Del Cálculo Lambda a las Máquinas de Turing: Una Introducción a la Teoría de la Computabilidad
por Walter S. Brainerd · 1974
Ver sugerenciasSinopsis
Explora los fundamentos matemáticos de la computabilidad, conectando el cálculo lambda de Church con las máquinas de Turing y otros modelos computacionales.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Descubre libros parecidos a este
Entra para ver las conexiones que yoleo encuentra con el resto del catálogo, y para guardar los que te interesen.