Para una mejor comprensión de la materia sería recomendable que el alumno hubiera realizado un curso introductorio de ingeniería del software así como otro de lógica formal. Estos conocimientos se han debido adquirir en asignaturas del grado como:

• Introducción a la ingeniería del software.

• Introducción a la lógica formal.

• Matemática discreta.