Estimados estudiantes,
El primer parcial será el día martes 4/10 a la hora 17. La prueba consiste en resolver ejercicios similares a los involucrados
en los tres primeros prácticos, en Coq. La prueba es individual.
Si alguien no tiene laptop que pueda traer para el parcial, avise lo antes posible. En función de esto definiríamos el salón a usar.
Saludos, Carlos