Estudio de la denotación y composición del significado en las lenguas naturales de acuerdo con los principios de la semántica formal.  Aplicación de modelos y herramientas formales como la teoría de conjuntos, propiedades de relaciones y funciones, la lógica proposicional, la lógica de predicados de primer y segundo orden, la teoría de tipos semánticos y el cálculo lambda para computar el significado de estructuras lingüísticas. Representación formal de reglas y principios semánticos. Análisis semántico-extensional de predicados, modificadores, descripciones definidas, cláusulas relativas, pronombres y determinantes cuantificacionales.  Comparación y evaluación de las restricciones de movimiento encubierto versus las reglas de cambio de tipo en la interpretación de variables y cuantificadores generalizados.


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.

Descripción y análisis de la competencia lingüística de los hablantes del español contemporáneo.Revisión de nociones fundamentales en el estudio de los componentes de la gramática.Aplicación de los modelos teóricos a problemas en la fonética, fonología, morfología y sintaxis del español.

Estudio de estructuras fonológicas en las lenguas naturales, con atención particular al español.Descripción y clasificación de los sonidos articulados y rasgos distintivos de los segmentos y suprasegmentos.Representación de reglas fonológicas, geometrías de rasgos, entonación y acento métrico.Análisis de patrones y procesos fonológicos y estructuras prosódicas mediante la aplicación de las teorías fonológicas generativas más recientes.

Introducción al estudio del lenguaje como ciencia cognitiva desde un enfoque biolingüístico.  Caracterización de las propiedades distintivas del lenguaje, de las diferencias entre el lenguaje humano y otros sistemas naturales o artificiales y de los niveles de representación de estructuras lingüísticas. Aplicación del método científico al análisis lingüístico y a problemas específicos en el desarrollo de la teoría lingüística. Exploración integrada de algunos debates en otras disciplinas cognitivas, como la referencia y el dualismo mente-cuerpo en la filosofía, lo innato versus lo adquirido y conocimiento versus comportamiento en la psicología cognitiva y la biología y el procesamiento de lenguas naturales en sistemas de inteligencia artificial.

Estudio de los principios universales y parámetros de variación que explican la formación y estructura de constituyentes sintácticos de acuerdo con los modelos más recientes de la Gramática Generativa. Análisis de estructuras sintácticas y de las relaciones y operaciones que ocurren entre los elementos léxicos en la derivación hacia los diferentes niveles de representación sintáctica.  Descripción de las interfaces de la sintaxis con los componentes fonológico y semántico.  Aplicación de la teoría sintáctica generativa a problemas en las lenguas naturales.    

Introducción al estudio de las propiedades computacionales del lenguaje humano y de los modelos de procesamiento de lenguas naturales.Análisis y evaluación de sistemas deterministas y no-deterministas de modelos computacionales de aprendizaje y procesamiento lingüístico: autómatas y transductores, sistemas de reglas formales, sistemas lógico-matemáticos y modelos probabilísticos. Representación de estructuras fonológicas, morfológicas, sintácticas y semánticas mediante analizadores basados en estos modelos computacionales.Revisión de herramientas en línea como corpus anotados, procesadores estructurales y redes semánticas. Discusión de aplicaciones de modelos computacionales en tecnologías de procesamiento lingüístico, tales como síntesis y reconocimiento de habla, comprensión de lenguas naturales, correctores ortográficos y gramaticales, traducción automática, motores de búsqueda, desambiguación léxica, extracción de información, respuesta automática a preguntas y agentes conversacionales.

Análisis de las estructuras segmentales y suprasegmentales de las lenguas naturales a la luz de las teorías propuestas en la fonología generativa. Formulación de reglas y de niveles de representación fonológica utilizando modelos derivacionales y no derivacionales. Aplicación de los modelos teóricos al análisis de datos en la fonología y la morfología de lenguas naturales.

Estudio de los fundamentos y postulados de la Gramática Generativa y su desarrollo hasta sus modelos más recientes.Análisis de las operaciones en la sintaxis explícita, así como en los niveles de interfaz con los módulos semántico y fonológico. Aplicación de la teoría sintáctica a problemas en las lenguas naturales.