Conferencia: Cálculo lambda (λ-calculus)

En liña ou presencial

24 de septiembre do 2026

En liña ou presencial

Madrid Sur

Otras actividades

Imprimir PDF

EL ENLACE DE CONEXIÓN SE ENVIARÁ EL DÍA DE LA CONFERENCIA.

El cálculo lambda fue formulado 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. La presente ponencia pretende exponer los conceptos teóricos de este lenguaje, estudiando los entresijos de los mecanismos lógicos de su funcionamiento, con el fin de posibilitar el desarrollo de programas en cálculo lambda mediante herramientas Web 2.0.

MUY IMPORTANTE: SI ERES ESTUDIANTE UNED LOS MAILS TE LLEGARÁN AL CORREO DE ESTUDIANTE

LA PARTICIPACIÓN EN LA ACTIVIDAD NO TIENE CERTIFICADO

Lugar e datas: 24 de septiembre do 2026
De 17:30 a 19:30 h. (ó ás xxxh)

Lugar: Online y presencial Aula Universitaria de Móstoles ( C/ Cid Campeador, 3 (esquina c/ pintor Murillo) (I.E.S. Velázquez), Móstoles - Madrid)

Ver calendario

En liña ou presencial: Puedes elegir la asistencia presencial ou asistencia en liña en directo ou diferida.

Ver máis actividades

Programa

jueves, 24 de septiembre
- 17:30-19:30 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 δ-reducción.
              3.5 Forma normal.
  4. Introducción a la herramienta Web 2.0 Lambster mediante ejemplos prácticos.
  5. Tipos de datos.
              4.1 Aritmética con numerales de Church.
              4.2 Booleanos y estructuras condicionales.
              4.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

Asistencia

Esta actividad permite participar con asistencia presencial ou asistencia en liña en directo ou diferida, sen necesidade de acudir ao centro.

Inscrición

	Ordinaria
Prezo	Gratuíta

Matrícula en liña

Relator

Carlos Jiménez de Parga: Doctor en Ingeniería Informática y Profesor-Tutor de Lógica y Matemática Discreta con Venia Docendi

Dirixido a

Estudiantes y profesionales de ciencias, ingeniería e informática.

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.

Colaboradores