Master de Lógica Pura y Aplicada

El objetivo del Master de Lógica Pura y Aplicada 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.