La Lingüística Matemática comprende diversas áreas de las Matemáticas que tienen aplicación en la Lingüística para comprender y modelar alguno de sus fenómenos lingüísticos, fundamentalmente la Estadística, la Matemática discreta, el Álgebra lineal, el Análisis matemático, la Lógica y la Teoría de lenguajes, gramáticas y autómatas. Las Matemáticas proporcionan un metalenguaje formal para representar con precisión los fenómenos lingüísticos, lo que nos permite poder comprenderlos, automatizarlos y aplicar métodos de análisis y razonamiento formales. Es de gran utilidad, por lo tanto, para la investigación lingüística y es fundamental para el estudio y desarrollo de la Lingüística Computacional. 

Este curso de introducción se centrará únicamente en la Matemática discreta y en la Lógica proposicional y de predicados de primer orden porque constituyen uno de los pilares de la representación y razonamiento simbólico en Lingüística y Lingüística Computacional

De forma más concreta, se tratarán los cuatro temas siguientes: 

1.    Lógica proposicional
2.    Lógica de predicados de primer orden
3.    Álgebras y teoría de conjuntos
4.    Relaciones. Relaciones de equivalencia y de orden

1.    Saber definir y explicar los conceptos básicos estudiados en la asignatura.
2.    Ser capaz de relacionar los conceptos básicos de la asignatura con conceptos lingüísticos aprendidos en cursos anteriores. 
3.    Ser capaz de utilizar los conceptos básicos estudiados para resolver ejercicios sencillos de representación, demostración y razonamiento.
4.    Ser capaz de modelar y razonar con los modelos matemáticos aprendidos fenómenos lingüísticos relacionados.
5.    Ser capaz de evaluar las posibilidades (qué se puede hacer) y los límites (qué no se puede hacer) de las representaciones matemáticas de los fenómenos lingüísticos. 
6.    Ser capaz de plantear preguntas o proponer soluciones a los problemas relacionados con los conceptos estudiados
7.    Ser capaz de razonar por qué un modelo, demostración o razonamiento no es correcto

1.     Lógica proposicional

2.     Lógica de predicados de primer orden

3.     Álgebras y teoría de conjuntos

4.     Relaciones. Relaciones de equivalencia y de orden