Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2016 – 2018 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
Procediment d'admissió 2016-18
 
 
Icona d'informaci Per a més
informació
escriviu a

jansanaIcona de correuub.edu
 

Imatge de diagramaci Imatge de diagramaci  
 

ASSIGNATURES OFERTADES

Denominació Professor(s) Semestre
Imatge de diagramaci
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES)
Calculabilitat J.L. Balcazar 1  
Lògica matemàtica E. Casanovas 2
Lògiques no clàssiques J. Gispert 1
Teoria bàsica de conjunts J. Bagaria i J.C. Martínez 1
Teoria bàsica de models R. Farré 2
Imatge de diagramaci
Imatge de diagramaci
ASSIGNATURES OPTATIVES
Àlgebra universal A. Torrens 1
Complexitat A. Atserias     4
El desenvolupament de la lògica formal C. Badesa 2  
Introducció a la lògica matemàtica R. Farré 1
Lògica algebraica R. Jansana 2
Lògica algebraica abstracta   3  
Lògica modal J. Joosten 2  
Lògiques multivalorades   3  
Models de la teoria de conjunts   3
Ordre, reticles i àlgebres de Boole R. Jansana 1
Teoria avançada de models   3
Teoria de conjunts combinatòria J. Bagaria 2
Teoria de la demostració i demostració automàtica     3    
Imatge de diagramaci
 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Última actualització: 21/06/16