Lógica proposicional, teoría de grafos, combinatoria, relaciones y fundamentos de la computación discreta.
Próximamente