Estimadas y estimados estudiantes,
Les recuerdo que el primer parcial es mañana miércoles 8/5 a la hora 18 en la sala de máquinas 315.
Pueden y se sugiere usar sus laptops propias (aunque la sala tendrá alguna versión de Coq instalada). La idea es que en la evaluación trabajen durante 2:30hs en ejercicios similares a los incluidos en los tres primeros prácticos, usando los materiales que cada uno tenga (no se permitirá usar internet durante la prueba, pero si los materiales digitales o en papel que cada estudiante quiera tener, que no podrá compartir con nadie más durante la evaluación).
Luego del parcial, la idea es que se empiecen a trabajar con el módulo del cálculo de construcciones inductivas (práctico 4). Los materiales ya están publicados.
Saludos, Carlos
Les recuerdo que el primer parcial es mañana miércoles 8/5 a la hora 18 en la sala de máquinas 315.
Pueden y se sugiere usar sus laptops propias (aunque la sala tendrá alguna versión de Coq instalada). La idea es que en la evaluación trabajen durante 2:30hs en ejercicios similares a los incluidos en los tres primeros prácticos, usando los materiales que cada uno tenga (no se permitirá usar internet durante la prueba, pero si los materiales digitales o en papel que cada estudiante quiera tener, que no podrá compartir con nadie más durante la evaluación).
Luego del parcial, la idea es que se empiecen a trabajar con el módulo del cálculo de construcciones inductivas (práctico 4). Los materiales ya están publicados.
Saludos, Carlos