ADA - Análisis y Diseño de Algoritmos
AGRA - Árboles y Grafos
BFOM - Bases Formales de la Computación
DIA - Diseño e Implementación de Algoritmos
DFS - Desarrollo Formal de Software
FAP - Fundamentos de Algoritmos y Programación
INMO - Introducción al Modelado de Sistemas
INPR - Introducción a la Programación
ALGO - Algoritmos
FMEF - Fundamentos en Métodos Formales
LCAL - Lógica Calculativa
LMAT - Lógica Matemática
PIMO - Programación Imperativa Modular
TPRO - Teoría de la Programación