Estimad@s estudiantes.
El primer parcial del curso será el miércoles 8/10 de 16 a 19hs en la sala de máquinas windows 112 (primer piso de FING). Deben revisar (antes de dicha fecha) que puedan acceder a las PCs con su clave de bedelía.
El parcial consiste en resolver ejercicios en Coq (que está instalado en la sala 112 con el ide coqide). Los temas abarcados en este parcial son los que corresponden a los prácticos 1, 2 y 3.
Saludos, Gustavo y Carlos