Este texto presenta conceptos básicos de lógica matemática, incluyendo el cálculo lambda, que sienta las mismas bases teóricas que el libro de referencia.
El Cálculo Lambda: Un Lenguaje Universal de Programación
por Alonzo Church · 1941
Ver sugerenciasSinopsis
Una monografía técnica foundational que introduce el cálculo lambda, un sistema formal en lógica matemática para expresar la computabilidad efectiva y servir como una base teórica para la programación funcional.
Sé el primero en valorar este libro.
Más de Alonzo Church
Ver autor →Otras obras del mismo autor en el catálogo
An Unsolvable Problem of Elementary Number Theory
1936
A Formulation of the Notion of Computability
1936
The Logical Foundations of Mathematics
1940
Lambda-Cálculo de Tipo Simple
1940
A Note on the Undecidability of Certain Functions
1940
The Calculi of Lambda-Conversion
1940
El Cálculo Lambda y sus Aplicaciones
1941
Lógica simbólica
1944
Mathematical Logic
1956
Introduction to Mathematical Logic
1956
Una Introducción a la Lógica Matemática
1956
Introducción a la lógica matemática
1956
Introducción a la Lógica y la Metamatemática
1956
Introducción a la Metalógica
1956
Some Applications of the Lambda Calculus to Proof Theory
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Ofrece una rigurosa introducción a la teoría de tipos y la recursividad, conceptos esenciales relacionados con el cálculo lambda mencionado en la obra de referencia.
Explora a fondo el cálculo lambda y su relación con la programación funcional, profundizando en los mismos principios fundamentales que el libro de Church.
Del Cálculo Lambda a las Máquinas de Turing: Una Introducción a la Teoría de la Computabilidad
Walter S. Brainerd
1974·divulgacion
Conecta el cálculo lambda con las máquinas de Turing, mostrando cómo ambos modelos son fundamentales para entender la computabilidad, como se expone en el original.
Introduce el lambda-cálculo con tipos, estableciendo una conexión directa con los fundamentos sobre los que se construyó el cálculo lambda en el libro de Church.
Presenta el cálculo lambda como un sistema formal en lógica matemática, enfatizando su aplicación y recursividad, temas clave en la obra de referencia.