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