Descripción
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.
Competencias para las que te prepara el curso
Asumir tareas de investigación y transferencia de conocimiento en el mundo profesional.
Iniciar una carrera académica en el mundo de la investigación, iniciar un doctorado en Lógica Internacional.