Introduce el lambda-cálculo y sus tipos, ampliando la base teórica presentada en 'El Cálculo Lambda y sus Aplicaciones'.
El Cálculo Lambda y sus Aplicaciones
por Alonzo Church · 1941
Ver sugerenciasSinopsis
Presenta el cálculo lambda, un sistema formal en lógica matemática para expresar la computación basada en la abstracción de funciones, su aplicación y recursividad.
Sé el primero en valorar este libro.
Más de Alonzo Church
Ver autor →Otras obras del mismo autor en el catálogo
A Formulation of the Notion of Computability
1936
An Unsolvable Problem of Elementary Number Theory
1936
A Note on the Undecidability of Certain Functions
1940
The Logical Foundations of Mathematics
1940
The Calculi of Lambda-Conversion
1940
Lambda-Cálculo de Tipo Simple
1940
El Cálculo Lambda: Un Lenguaje Universal de Programación
1941
Lógica simbólica
1944
Introducción a la Lógica y la Metamatemática
1956
Introducción a la lógica matemática
1956
Introducción a la Metalógica
1956
Una Introducción a la Lógica Matemática
1956
Mathematical Logic
1956
Introduction to Mathematical Logic
1956
N-Category Café
1971
Libros similares
Libros relacionados según distintos criterios de búsqueda
Explora los fundamentos de la lógica matemática y la recursión, conceptos esenciales en la computabilidad abordados por Church.
Ofrece una introducción profunda a la computabilidad a través de funciones recursivas, alineándose con la temática de expresión computacional de Church.
Reitera el uso del cálculo lambda como un sistema formal, estableciendo conexiones entre teoría y práctica en programación funcional.
Analiza el cálculo lambda en relación a los lenguajes de programación, reflejando la influencia de Church en la teoría de la computación.