Lògica Matemàtica
Ensenyament
Codi de l'assignatura
569060
Resolució de Problemes Combinatoris
Ensenyament
Codi de l'assignatura
569072
Algoritmes per a VSLI
Ensenyament
Codi de l'assignatura
569071
Ordres, Reticles i Àlgebres de Boole
Ensenyament
Codi de l'assignatura
569067
Lògiques No Clàssiques
Ensenyament
Codi de l'assignatura
569057
Treball Final de Màster
Ensenyament
Codi de l'assignatura
569062
Introducció a la Lògica Matemàtica
Ensenyament
Codi de l'assignatura
569065
Lògica Modal
Ensenyament
Codi de l'assignatura
569070
Teoria Bàsica de Models
Ensenyament
Codi de l'assignatura
569061
Teoria Combinatòria de Conjunts
Ensenyament
Codi de l'assignatura
569068