Estimadas y estimados estudiantes,
Está disponible el material para el práctico 3, que es el último de la primera mitad del curso/taller. El tema es Módulo 2: Asistentes de pruebas para Programadores. Las guías teóricas en pdf son [Cálculo Lambda y Cálculo de Construcciones] y [Isomorfismo de Curry-Howard]. Las grabaciones en OpenFING a considerar son: https://open.fing.edu.uy/courses/cfptt-2023/3/ y https://open.fing.edu.uy/courses/cfptt-2023/4/.
Este módulo introduce construcciones de programación en un lenguaje funcional. Los materiales teóricos son más amplios que los necesarios para realizar el práctico 3. Los ejercicios son cortos pero es importante que dediquen tiempo a entender lo que pide cada uno. La fecha de entrega para el práctico 3 es el 29/4. Estaré respondiendo las dudas que tengan por los foros. El martes 23/4 a la hora 18 estaré conectado en el link habitual por si tienen dudas que quieran ver por Zoom. No obstante, lo más efectiva es la participación en los foros.
El primer parcial será el martes 7/5 a la hora 18 en una sala de máquinas de FING, aunque podrán usar sus laptops (aunque la sala tendrá alguna versión de Coq instalada). Más cerca de la fecha enviaré las indicaciones, pero la idea es que en la evaluación trabajen 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).
Saludos, Carlos