Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2012 – 2014 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
Dades i indicadors
de l'ensenyament
Edició 2006–2008
Edició 2008–2010
Edició 2010–2012
Edició 2014–2016
Procediment d'admissió 2014-16
 
 
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 Atserias 1  
Lògica matemàtica Casanovas 2
Lògiques no clàssiques Gispert 1
Teoria bàsica de conjunts Jané 1
Teoria bàsica de models Farré 2
Imatge de diagramaci
Imatge de diagramaci
ASSIGNATURES OPTATIVES
Àlgebra universal Torrens 1
Complexitat Atserias   4
El desenvolupament de la lògica formal Badesa 2  
Introducció a la lògica matemàtica Farré 1
Lògica algebraica Jansana 2
Lògica algebraica abstracta Jansana   4
Lògica modal Joosten 3
Lògiques multivalorades Gispert 3  
Models de la teoria de conjunts Bagaria 3
Ordre, reticles i àlgebres de Boole Font 1
Teoria avançada de models Casanovas 3
Teoria de conjunts combinatòria Bagaria 2
Teoria de la demostració i demostració automàtica Joost Joosten /
Juan Carlos Martínez
2      
Imatge de diagramaci

(*) Als semestres 3 i 4, any acadèmic 2013-2014, la llista d'assignatures optatives, així com alguns detalls de la distribució entre semestres, estan subjectes a canvis.

 
Imatge de diagramaci
Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
  © Universitat de Barcelona Webmaster: Josep Maria Font
Última actualització: 04/06/14