Imatge de diagramació Imatge de diagramació Imatge de diagramació Imatge de diagramació
Logo Universitat de Barcelona Facultat de Filosofia Imatge de diagramació
Tancar   
imatge de diagramació
LÒGICA PURA I APLICADA Imatge de diagramació
Imatge de diagramació

  Curs: 2021-2022     Assignatures : Itinerari recomanat - Pla docent - Horaris, professorat, avaluació ...

Imatge de diagramació
Imatge de diagramació Imatge de diagramació Imatge de diagramació
Itinerari Codi Assignatura Crèdits Pla docent Horaris, avaluació, llengua...
1r
Curs
2n
Semestre
569060
LÒGICA MATEMÀTICA
6
--
--
569061
TEORIA BÀSICA DE MODELS
6
--
--
 
2n
Curs
Anual
569062
TREBALL FINAL DE MÀSTER
20
--
 
1r
Curs
1r
Semestre
569067
ORDRES, RETICLES I ÀLGEBRES DE BOOLE
5
--
--
 
2n
Semestre
569077
COMPLEXITAT COMPUTACIONAL
6
--
569064
EL DESENVOLUPAMENT DE LA LÒGICA FORMAL
5
--
--
569066
LÒGICA ALGEBRAICA
5
--
--
569068
TEORIA COMBINATÒRIA DE CONJUNTS
5
--
--
 
2n
Curs
1r
Semestre
569073
LÒGICA ALGEBRAICA ABSTRACTA
5
--
569069
LÒGIQUES MULTIVALORADES
5
--
569075
TEORIA AVANÇADA DE MODELS
5
--
569076
TEORIA DE LA DEMOSTRACIÓ I DEMOSTRACIÓ AUTOMÀTICA
5
--
 
2n
Semestre
569074
MODELS DE LA TEORIA DE CONJUNTS
5
--
 
© Universitat de Barcelona Edició: Àrea de Tecnologies
Última actualització o validació:May 23, 2022