Blockchain
CM0246 Estructuras Discretas
CM0260 Lógica
CM0845 Logic
NM1008 Matemáticas para la Computación
SI1001 Teoría de la Computación
SI2002 Lenguajes Formales
ST0270 Lenguajes Formales y Compiladores