Estimados,
Como se comentó previamente, el primer parcial del curso será el miércoles 14/10 a la hora 18, por Zoom. Les pedimos conectarse 15 minutos antes para ver algunos temas operativos de la prueba.
El parcial abarcará ejercicios similares a los incluidos en los tres primeros prácticos. Deberán resolver los ejercicios en Coq y podrán utilizar sus materiales, aunque no estará permitida la comunicación entre Uds durante la prueba. Existirán letras de parciales diferentes.
Durante la prueba por Zoom tendrán que tener cámara y micrófono encendidos.
El link de Zoom es: https://salavirtual-udelar.zoom.us/j/82947113987?pwd=NkJBazc0cnU0OXdsVVgwQjlXdEZMdz09
Saludos, Carlos