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 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.

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.

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.