Estudio de los fundamentos lógicos y matemáticos necesarios para formular la teoría lingüística y describir formalmente propiedades de lenguajes. Introducción a herramientas formales y conceptos básicos de teoría de conjuntos, relaciones y funciones; infinitos; cálculo proposicional y lógica de predicados; teoría de modelos; álgebras, retículos y autómatas. Aplicación de métodos formales al análisis de la sintaxis y semántica de cuantificadores, lenguajes naturales y formales y tipos de gramáticas.
- Professor: Hilton Alers Valentin