Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2022 – 2024 Imatge de diagramaci
Català  Castellano English Imatge de diagramaci Màster interuniversitari  UB UPC Imatge de diagramaci
Imatge de diagramació
Imatge de diagramacio
Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci Imatge de diagramaci
Imatge de diagramaci
Index
Presentació
Requeriments i estructura acadèmica
Professorat
Assignatures
Calendari i horaris
Doctorat
Enllaços d'interès
Edició 2006–2008
Edició 2008–2010
Edició 2010–2012
Edició 2012–2014
Edició 2014–2016
Edició 2016–2018
Edició 2018–2020
Edició 2020–2022
 
 
Icona d'informaci Per a més
informació
escriviu a

jjoostenIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

PROFESSORAT

Nom Institució Especialitat
Imatge de diagramaci
Albert Atserias DCS (UPC) Complexitat computacional
Joan Bagaria ICREA - DMiI (UB) Teoria de conjunts
Jose Luis Balcázar DCS (UPC Lògica en extracció de dades
Enrique Casanovas DMiI (UB) Teoria de models
Rafel Farré DMA (UPC) Teoria de models
Joan Gispert DMiI (UB) Lògiques multivalorades
Ramon Jansana DF (UB) Lògica algebraica, lògiques no clàssiques
Joost J. Joosten DF (UB) Teoria de la demostració i demostració automàtica
Juan Carlos Martínez DMiI (UB) Teoria de la demostració i demostració automàtica
Tommaso Moraschini DF (UB) Lògica algebraica abstracta
Imatge de diagramaci
Imatge de diagramaci

     
  Institucions
Imatge de diagramaci
  DF    Departament de Filosofia (UB)
  ICREA    Institució Catalana de Recerca i Estudis Avançats
  DCS    Departament de Ciències de la Computació (UPC)
  DMA    Departament de Matemàtiques (UPC)
  DMiI    Departament de Matemàtiques i Informàtica (UB)
  UB    Universitat de Barcelona
  UPC    Universitat Politècnica de Catalunya
   
   
   
   

 

Grups de recerca

Tots els professors del Màster són investigadors en actiu. Molts d'ells estan integrats en grups de recerca institucionalitzats:

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Francesc Murcia
Última actualització: 12/01/22