Metodoloxías Descrición
Sesión maxistral Clases de fundamentos impartidas polo profesor e combinadas con pequenos exercicios non computables na evaluación final
Proba obxectiva Examen individual onde se evalúan os coñecementos e capacidades adquiridas polo alumno, especialmente en comprensión dos fundamentos impartidos nas clases maxistráis
Prácticas de laboratorio Traballo práctico, normalmente en grupos, con ferramentas de razoamento automático e planificación