Máster de Lógica pura y aplicada

El objetivo del máster es ofrecer una formación general y amplia en las diferentes vertientes de la lógica. Esta formación se articula en dos perfiles, el de investigación y el profesional.
El perfil de investigación ofrece la formación necesaria para llevar a cabo investigación en lógica en general, y en particular, en las áreas de investigación en las que trabajan los profesores del máster: teoría de conjuntos, teoría de modelos, teoría de la demostración, lógicas no clásicas y lógica algebraica, lógicas para la inteligencia artificial, lógica difusa, complejidad computacional, lingüística computacional, lógica categorial, filosofía de la matemática e historia de la lógica. Habilita para cursar estudios de doctorado en lógica a nivel internacional.
El perfil profesional ofrece una formación más general en lógica, suficiente para incorporarse al mercado de trabajo o realizar otras especializaciones en competencias más específicas.

Tener un título de grado en Matemáticas, Filosofía o Informática, o formación equivalente.

Se exige el dominio del inglés, nivel B1 del listado de niveles de conocimiento de terceras lenguas del Marco común europeo de referencia para las lenguas elaborado por el Consejo de Europa.