El propòsit d'aquest Màster és oferir formació avançada en Lògica, de tipus general, en les seves diferents vessants tan pures com aplicades. Permetrà als estudiants que el superin prosseguir altres estudis superiors, ingressar al mercat de treball, o iniciar-se en la recerca en diversos temes centrals de la Lògica.

El Màster és ofert conjuntament per la Universitat de Barcelona (UB) i la Universitat Politécnica de Catalunya (UPC) amb la col·laboració de l'Institut d'Investigació en Intel·ligència Artificial (IIIA) del CSIC. El Màster s'ajusta a la nova normativa espanyola d'estudis de postgrau, que s'inscriu en el procés de convergència cap a l'Espai Europeu d'Educació Superior iniciat amb la Declaració de Bolonya (1999).

Els departaments i instituts que participen al Màster són:

Departament de Llenguatges i Sistemes Informàtics
(Universitat Politècnica de Catalunya)
 
Departament de Lògica, Història i Filosofia de la Ciència
(Universitat de Barcelona)
 
Departament de Matemàtica Aplicada II
(Universitat Politècnica de Catalunya)
 
Departament de Probabilitat, Lògica i Estadística
(Universitat de Barcelona)
 
Institut d'Investigació en Intel·ligència Artificial
(Consejo Superior de Investigaciones Científicas)
 

Aquests departaments i instituts estan relacionats amb la Facultat de Filosofia i la Facultat de Matemàtiques de la Universitat de Barcelona, amb la Facultat de Matemàtiques i Estadística i la Facultat d'Informàtica de la Universitat Politècnica de Catalunya, i amb la Facultat de Ciències de la Universitat Autònoma de Barcelona.

El professorat del Màster forma en conjunt l'agrupació d'especialistes en Lògica més gran d'Espanya, amb una mida significativa a nivell europeu. Els professors que hi participen són tots investigadors en actiu i especialistes reconeguts internacionalment en els seus respectius camps de recerca, que inclouen la Complexitat Computacional, la Filosofia de la Lògica i la Matemàtica, els Fonaments Lògics de la Intel·ligència Artificial, la Història de la Lògica, la Lingüística Computacional, la Lògica Algebraica, les Lògiques No Clàssiques, la Teoria de Conjunts, la Teoria de la Demostració, i la Teoria de Models.

Aquest Màster continua, consolida, i especialment amplia, els estudis oferts durant més de 10 anys en el si del Programa de Doctorat en Lògica i Fonaments de les Matemàtiques de la Universitat de Barcelona. Podeu consultar la llista de les Tesis Doctorals produïdes en el si d'aquest programa.

La proximitat en les universitats de l'àrea de Barcelona d'altres estudis i grups de recerca relacionats, en Filosofia, Computació, Intel·ligència Artificial, Història de la Ciència, Lingüística, Matemàtiques, etc., dóna moltes possibilitats als estudiants per a completar o ampliar la seva formació.

COORDINACIÓ ACADÈMICA

Coordinador general: Prof. Ramon Jansana

Coordinador a la Universitat Politècnica de Catalunya: Prof. Rafel Farré