Document related concepts
no text concepts found
Transcript
INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE CÓMPUTO Sección de Estudios de Posgrado e Investigación Departamento de Investigación INVITA AL SEMINARIO DE INVESTIGACIÓN Ponencia Cálculo Lambda y programación funcional Ponente Dr. Ricardo Barrón Fernández Curriculum del expositor: Ricardo Barrón nació en la ciudad de México, es matemático por la Facultad de Ciencias de la UNAM, Maestro en ingeniería y Doctor en Computación por el CIC-IPN. Actualmente trabaja en el CIC y su especialidad es la inteligencia artificial y sus aplicaciones. Resumen: El cálculo Lambda lo introduce Alonzo Church como un modelo de computación universal para resolver el problema de la indecibilidad planteado por Hilbert y es considerado el lenguaje de programación más pequeño (solo dos palabras reservadas). Tomando como referencia el cálculo Lambda John MacCarthy desarrolla el primer lenguaje funcional y aún vigente Lisp. Lugar: Sala de Usos Múltiples Eduardo Torrijos Ocadiz Horario: Martes 10 de septiembre de 2013 a las 13:30 hrs. Dirección: Escuela Superior de Cómputo. Av. Juan de Dios Bátiz s/n, Esq. M. Othón de Mendizábal, Unidad Profesional Adolfo López Mateos, C.P. 07738, México D.F., Informes: Dr. Eduardo Bustos Farías Tel. 5729-6000 Ext. 52051, [email protected] Alumnos PIFI: Se les otorgará constancia de asistencia. Entrada libre.
