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  
 

ASSIGNATURES OFERTADES

Denominació Professor(s) Semestre
Imatge de diagramaci
ASSIGNATURES FONAMENTALS (OBLIGATÒRIES)
Calculabilitat   1  
Lògica matemàtica   2
Lògiques no clàssiques   1
Teoria bàsica de conjunts   1
Teoria bàsica de models   2
Imatge de diagramaci
Imatge de diagramaci
ASSIGNATURES OPTATIVES
Àlgebra universal   1
Complexitat   2   4
El desenvolupament de la lògica formal   2  
Introducció a la lògica matemàtica   1
Lògica algebraica   2
Lògica algebraica abstracta   3  
Lògica modal   2  
Lògiques multivalorades   3  
Models de la teoria de conjunts   3
Ordre, reticles i àlgebres de Boole   1
Teoria avançada de models   3
Teoria de conjunts combinatòria   2
Teoria de la demostració i demostració automàtica     3    
Imatge de diagramaci

(*) 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: Francesc Murcia
Última actualització: 11/01/22