Download Programa de Teoría de Lenguajes

Pontificia Universidad Católica Argentina
“SANTA MARÍA DE LOS BUENOS AIRES”
Facultad de Ciencias Fisicomatemáticas e Ingeniería
Programa de Teoría de Lenguajes
Prof: Lic. Ing. Osvaldo Clúa
Ing. Javier Ouret
Materia cuatrimestral teórico-práctica de 4 hs cátedra semanales
(de 45 minutos) de duración.
Objetivos
Conocer sistemas de programación funcionale, lógicos, evolutivos y
genéticos.
Programa Sintético
Lenguajes Formales. Lenguajes Lógicos. Semántica y sintaxis formal.
Cálculo Lambda. Algoritmos Genéticos.
Programa Analítico
1.
2.
3.
4.
5.
6.
Estudio Formal de Lenguajes, Introducción y notaciones. Sintaxis,
semántica y pragmática
Calculo Lambda, tipos e introducción a la programación funcional
Sintáxis formal. Reresentación con cálculo Lambda
Semántica Formal, Representación con cálculo lambda
Programación Lógica. Functores. Introducción a las tpécnicas de AI
jerárquicas.
7. Algoritmos genéticos. Selección. Cruza. Mutación.
8. Técnicas de programación basadas en algoritmos genéticos.
9. Introducción a la Programación Genética.
10.Ejemplos de aplicación y problemas clásicos
Modalidad de dictado
Clases teórico prácticas en Laboratorio con uso de equipos en Linux.
Modalidad de evaluación
Parcial y trabajo práctico. Resolución de ejercicios en clase.
Bibliografía:
Bramer, Max. Logic Programming with Prolog. 1st ed. Springer, 2005.
Dybvig, R. Kent. The Scheme Programming Language, 4th Edition. 4th ed. The MIT
Press, 2009.
Rocca, Simona Ronchi Della, and Luca Paolini. The Parametric Lambda Calculus:
A Metamodel for Computation. 1st ed. Springer, 2004.
Koza, John. Genetic Programming I. MIT Press.