Metodoloxías Descrición
Lecturas Lectura y estudio del material bibliográfico de la asignatura.
Solución de problemas Desarrollo personal de ejercicios de verificación formal de algoritmos.
Proba obxectiva Proba escrita utilizada para a avaliación da aprendizaxe.