1r Curs
|
1r Semestre
|
569059
|
COMPUTABILITAT
|
6
|
--
|
|
--
|
569057
|
LÒGIQUES NO CLÀSSIQUES
|
6
|
--
|
|
--
|
569058
|
TEORIA BÀSICA DE CONJUNTS
|
6
|
|
|
--
|
|
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
|
569065
|
INTRODUCCIÓ A LA LÒGICA MATEMÀTICA
|
5
|
|
|
--
|
569067
|
ORDRES, RETICLES I ÀLGEBRES DE BOOLE
|
5
|
--
|
|
--
|
569063
|
ÀLGEBRA UNIVERSAL
|
5
|
--
|
|
--
|
|
2n Semestre
|
569071
|
ALGORITMES PER A VSLI
|
6
|
|
|
--
|
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
|
|
|
--
|
569070
|
LÒGICA MODAL
|
5
|
|
|
--
|
569069
|
LÒGIQUES MULTIVALORADES
|
5
|
|
|
--
|
569072
|
RESOLUCIÓ DE PROBLEMES COMBINATORIS
|
6
|
|
--
|
|
569075
|
TEORIA AVANÇADA DE MODELS
|
5
|
|
|
--
|
|
2n Semestre
|
569074
|
MODELS DE LA TEORIA DE CONJUNTS
|
5
|
|
|
--
|
|
|
|
575367
|
DEMOSTRACIÓ AUTOMÀTICA DE TEOREMES
|
5
|
|
|
--
|
575366
|
TEORIA DE LA DEMOSTRACIÓ
|
5
|
|
|
--
|
|