Conferencia: Cálculo lambda (λ-calculus)
El cálculo lambda fue inventado en 1936 por el profesor de la Universidad de Princeton Alonzo Church. Inicialmente se empleó como instrumento matemático formal para el estudio de las funciones y su recursividad. Se puede considerar como uno de los lenguajes de programación universales más minimalistas y, sorprendentemente, no utiliza números indo-arábigos, caracteres alfanuméricos ni booleanos, tan solo tipos de datos basados en funciones; sin embargo, puede representar cualquier Máquina de Turing. El cálculo lambda ha influido posteriormente sobre los lenguajes de programación funcionales tales como Lisp, ML y Haskell, formando parte esencial de estos. El presente curso-seminario pretende exponer los conceptos teóricos de este lenguaje, estudiando los entresijos de los mecanismos lógicos de su funcionamiento, en aras de posibilitar el desarrollo de programas en cálculo lambda mediante herramientas Web 2.0.
- Lugar e datas
- 27 de noviembre do 2025
De 11:00 a 13:00 h. (ó ás xxxh)
Lugar:Las Tablas
Avenida Santo Domingo de la Calzada 9
Aula 1
- En liña ou presencial
- Puedes elegir la asistencia presencial o la asistencia online en directo.
- Programa
- jueves, 27 de noviembre
- 11:00-13:00 h. 1. Introducción histórica.
2. Definición formal del lenguaje.
2.1 Definición de variable, abstracción y aplicación.
2.2 Notación.
2.3 Gramática del lenguaje en notación Backus-Naur form (BNF).
2.4 Variables libres y ligadas.
3. Reducciones.
3.1 α-conversión.
3.2 β-reducción.
3.3 η-conversión.
3.4 Forma normal.
4. Introducción a la herramienta Web 2.0 Lambster mediante ejemplos prácticos.
5. Tipos de datos.
5.1 Aritmética con numerales de Church.
5.2 Booleanos y estructuras condicionales.
5.2 Pares y listas.
6. Recursividad.
6.1 Trucos para la recursión.
6.2 Programación de la función factorial y de Fibonacci con la herramienta Web 2.0 del Grupo de Criptografía Aplicada de la Universidad de Stanford.
7. El cálculo lambda en la actualidad y consideraciones finales.
- 11:00-13:00 h. 1. Introducción histórica.
- jueves, 27 de noviembre
- Asistencia
- Esta actividad permite participar con asistencia presencial ou asistencia en liña en directo, sen ter que ir ao centro.
- Inscrición
Matricula gratuita que requiere inscripción previa
Ordinaria - Relator
- Carlos Jiménez de Parga
- Profesor-Tutor con Venia Docendi. Centro Asociado de la UNED en Cartagena
- Dirixido a
- Estudiantes y profesionales de ciencias, ingeniería e informática. Se requiere inscripción en el apartado de "matricula gratuita".
- Titulación requerida
Bachillerato de ciencias, Formación Profesional (Grado Superior), Ingeniero, Arquitecto, Licenciado o estudiante de carreras de ciencias
- Obxectivos
- Explicación del origen del cálculo lambda, introducción de los conceptos formales del lenguaje, reducciones, tipos de datos y desarrollo de programas con herramientas Web 2.0.
- Metodoloxía
- Metodología típica de la UNED, impartida online y presencial a través de Teams mediante pizarra electrónica, micrófono, cámara y material adicional como presentaciones y aplicaciones informáticas.
- Obxectivos de Desenvolvemento Sostible
Esta actividade incide nos seguintes Obxectivos de Desenvolvemento Sostible:
- Máis información
- UNED Madrid
C/ Tribulete, 14 (3ª planta)
28012 Madrid Madrid
cursos-extension@madrid.uned.es