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: 2023-2024     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
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
--
 
v5.1.9 20240507 © Universitat de Barcelona Edició: Àrea de Tecnologies
Última actualització o validació:Jun 23, 2024