El propósito de este Máster es ofrecer formación avanzada en Lógica, de tipo general, en sus diferentes vertientes, tanto puras como aplicadas. Los estudiantes que superen este Máster estarán capacitados para proseguir con otros estudios superiores, ingresar en el mercado de trabajo o iniciarse en la investigación en diversos temas centrales de la Lógica.

El Máster lo ofrecen conjuntamente la Universidad de Barcelona (UB) y la Universidad Politécnica de Cataluña (UPC) con la colaboración del Instituto de Investigación en Inteligencia Artificial (IIIA) del CSIC. El Máster se ajusta a la nueva normativa española de postgrados, que se inscribe en el proceso de convergencia hacia el Espacio Europeo de Educación Superior iniciado con la Declaración de Bolonia (1999).

Los departamentos e institutos que participan en el Máster son:

Departamento de Lenguajes y Sistemas Informáticos
(Universidad Politécnica de Cataluña)
 
Departamento de Lógica, Historia y Filosofía de la Ciencia
(Universidad de Barcelona)
 
Departamento de Matemática Aplicada II
(Universidad Politécnica de Cataluña)
 
Departamento de Probabilidades, Lógica y Estadística
(Universidad de Barcelona)
 
Instituto de Investigación en Inteligencia Artificial
(Consejo Superior de Investigaciones Científicas)
 

Estos departamentos e institutos están relacionados con la Facultad de Filosofía y la Facultad de Matemáticas de la Universidad de Barcelona, con la Facultad de Matemáticas y Estadística y la Facultad de Informática de la Universidad Politécnica de Cataluña, y con la Facultad de Ciencias de la Universidad Autónoma de Barcelona.

El profesorado del Máster forma en conjunto la mayor agrupación de especialistas en Lógica de España, con un tamaño significativo a nivel europeo. Los profesores que participan son todos investigadores en activo y especialistas reconocidos internacionalmente en sus respectivos campos de investigación, que incluyen la Complejidad Computacional, la Filosofía de la Lógica y la Matemática, los Fundamentos Lógicos de la Inteligencia Artificial, la Historia de la Lógica, la Lingüística Computacional, la Lógica Algebraica, las Lógicas No Clásicas, la Teoría de Conjuntos, la Teoría de la Demostración, y la Teoría de Modelos.

Este Máster continúa, consolida, y especialmente amplía, los estudios ofrecidos durante más de 10 años en el seno del Programa de Doctorado en Lógica y Fundamentos de las Matemáticas de la Universidad de Barcelona. Se puede consultar la lista de las Tesis Doctorales producidas en el seno de este programa.

La proximidad en las universidades del área de Barcelona de otros estudios y grupos de investigación relacionados, en Filosofía, Computación, Historia de la Ciencia, Inteligencia Artificial, Lingüística, Matemáticas, etc., da muchas posibilidades a los estudiantes para completar o ampliar su formación.

COORDINACIÓN ACADÉMICA

Coordinador general: Prof. Ramon Jansana

Coordinador en la Universidad Politécnica de Cataluña: Prof. Rafel Farré