La asignatura se divide en 2 temas.

Tema I: Teoría de Grafos. Tiene como objetivo que los estudiantes apliquen los resultados elementales de la Teoría de Grafos en la solución de problemas y la demostración de propiedades de grafos y orgrafos.

Tema II: Teroía de la computabilidad. Tiene como objetivo que los estudiantes apliquen las formalizaciones del concepto de algoritmo como máquinas de Turing y funciones recursivas en la solución de problemas algorítmicos sencillos