Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona MÀSTER EN LÒGICA PURA I APLICADA      2010 – 2012 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
Admissió i matrícula
Calendari i horaris
Altres activitats
Doctorat
Novetats
Enllaços d'interès
Edició 2006–2008
Edició 2008–2010
 
 
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 3
Demostració automàtica Martínez 4
El desenvolupament de la lògica formal Badesa 2  
Filosofia de la matemàtica Jané 3
Introducció a la lògica matemàtica Farré 1
Lògica algebraica Font 2
Lògica algebraica abstracta Font 3
Lògica modal Joosten / Bou 3
Lògiques i intel·ligència artificial Esteva / Garcia 3 4 ?
Lògiques multivalorades Gispert 3  
Lògiques subestructurals i lingüística computacional Morrill 3
Models de la teoria de conjunts Bagaria 3
Ordre, reticles i àlgebres de Boole Jansana 1
Teoria avançada de models Casanovas 3
Teoria de conjunts combinatòria Bagaria 2
Teoria de la demostració 3 4 ?
Imatge de diagramaci

(*) Als semestres 3 i 4, any acadèmic 2011-2012, 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ó: 07/09/11