Cálculo Lambda

Introducción:
El cálculo lambda es un sistema formal diseñado para investigar la definición de función, la
noción de aplicación de funciones y la recursión. Fue introducido por Alonzo Church y Stephen
Kleene en la década de 1930 como parte de sus investigaciones sobre los fundamentos de las
matemáticas.
Resumen:
Es el lenguaje de programación más pequeño del mundo. A pesar de no tener números,
cadenas, valores booleanos o cualquier tipo de datos no funcional, el cálculo lambda se puede
utilizar para representar cualquier máquina de Turing.
Objetivo:
 El cálculo lambda ha permitido la creación de los lenguajes computacionales.
 Permitió una visión más general acerca de las funciones computables.
Contenido:
El cálculo lambda es el más pequeño de la programación y se compone de 3 elementos:
variables, funciones y aplicaciones. (ver Anexo1).
Conclusión:
En conclusión, el cálculo lambda fue desarrollada por Alonzo Church quien se enfocó en
investigar la definición de función, la aplicación de estas funciones; dando origen al lenguaje
más pequeño de programación.
Anexos:
Anexo 1: en el siguiente anexo se puede observar los componentes del cálculo lambda.

Arquitectura de Harvard

Contenido:

En esta arquitectura se utilizan dispositivos de almacenamiento (memorias) separados para las

instrucciones y los datos, y tiene dos sistemas completos de buses, uno para datos y otro para
instrucciones. (ver anexo 1).

Anexo:
Anexo 1: en el siguiente anexo se puede observar los sistemas completos de buses.