Màster de Lògica Pura i Aplicada

Presentació

El propòsit del màster és oferir formació avançada en lògica, de tipus general, tant en la seva vessant pura com en l'aplicada. Permet als estudiants que el superin iniciar-se en la recerca en els diversos temes centrals de la lògica, prosseguir estudis superiors o ingressar en el mercat de treball.
El màster l'ofereixen conjuntament la Universitat de Barcelona (UB) i la Universitat Politècnica de Catalunya (UPC). La UB n'és la coordinadora. Els departaments que participen en el màster són:

• Departament de Ciències de la Computació(UPC)
  
• Departament de Filosofia (UB)
  
• Departament de Matemàtiques (UPC)
  
• Departament de Matemàtiques i Informàtica (UB)

Aquest departaments estan relacionats amb la Facultat de Filosofia i la Facultat de Matemàtiques i Informàtica de la Universitat de Barcelona, i amb la Facultat de Matemàtiques i Estadística i la Facultat d'Informàtica de la Universitat Politècnica de Catalunya.
El professorat del màster forma, en conjunt, l'agrupació d'especialistes en lògica més gran d'Espanya, un grup també significatiu a escala europea. Els professors que hi participen són tots investigadors en actiu i especialistes reconeguts internacionalment en els seus camps de recerca, que inclouen la complexitat computacional, els fonaments lògics de la intel.ligència artificial, la història de la lògica, la lògica algebraica, les lògiques no clàssiques, la teoria de conjunts, la teoria de la demostració i la teoria de models.

Objectius

La finalitat del màster de Lògica Pura i Aplicada és oferir una formació avançada en lògica, des dels vessants tant purs com aplicats. D'aquesta manera, en acabar els estudis el graduat pot començar a investigar en l'àmbit de la lògica, en particular en les àrees de recerca a què es dediquen els departaments implicats en la docència del màster.

La formació del màster permet, a més de les sortides associades a la recerca, altres sortides professionals molt variades, similars a les dels graduats en matemàtiques o informàtica, atesa la formació rigorosa que reben tant d'anàlisi com de resolució de problemes.

El màster de Lògica Pura i Aplicada és l'únic d'aquesta temàtica de les universitats catalanes i l'únic dedicat exclusivament a la formació general en lògica de totes les universitats espanyoles i del sud d'Europa.