En el caso de nuevos alumnos, al no haber horario de laboratorios asignados a la asignatura, la calificación de la asignatura se basara en la nota obtenida en el examen, que incluye dos partes teóricas:
* sistemas de tipos
* combinatoria

 y una parte de prácticas:
* demostración automática de teoremas (Coq).

Aquellas prácticas que hayan sido entregadas satisfactoriamente en el curso 2012/13 o anteriores serán tenidas en cuenta.