PRESENTACIÓN

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 seguir 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). El Máster se ajusta a la nueva normativa española de postgrados (Real Decretos 1393/2007 i 861/2010), que se inscribe en el proceso de convergencia hacia el Espacio Europeo de Educación Superior iniciado con la Declaración de Bolonia (1999) i ha sidot aprovado por la ANECA i por la Generalitat de Cataluny.

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

Departamento de Matemáticas e Informática (UB)
 
Departamento de Filosofía (UB)
 
Departamento de Matemáticas (UPC)
 
Departamento de Ciencias de la Computación (UPC)

Estos departamentos están relacionados con la Facultad de Filosofía (UB ), la Facultad de Matemáticas e Informática (UB), la Facultad de Matemáticas y Estadística (FME-UPC) y la Facultad de Informática de Barcelona (FIB-UPC).

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 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.

COORDINACIÓN ACADÉMICA

Coordinador general: Prof. Joost Joosten

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