REQUISITOS Y/O RECOMENDACIONES PARA CURSAR LA ASIGNATURA
Para una mejor comprensión de la materia es recomendable que el alumno haya 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
Se trata de una asignatura con contenidos matemáticos que requiere saber utilizar el formalismo de la lógica.
No obstante, la asignatura es auto contenida, esto es, todos los conceptos que damos están definidos y explicados desde su inicio.