CFPTT: Clase del 28/9 y próximos eventos

Estimadas/os,

Mañana martes 28/9 habrá clases en el horario habitual. En el teórico comenzaremos con el Cálculo de Construcciones Inductivas. Este tema, que se corresponde al práctico 4, no será evaluado en el primer parcial.

La entrega del práctico 3 es el 1/10. Si tienen dudas, sugerimos enviarlas por mail para que sean respondidas, lo antes posible, por esta vía.

El primer parcial será el martes 5/10 a partir de la hora 18, usando el link de siempre. Tendrán que resolver algunos problemas referidos a los prácticos 1, 2 y 3, usando Coq. Sobre la modalidad de la prueba podremos hablar mañana, en la clase.

Saludos,

Gustavo & Carlos

Re: Clase del 28/9 y próximos eventos

de Carlos Luna - lunes, 4 de octubre de 2021, 13:00

Hola.

Les recordamos que mañana en el horario habitual de clases tendremos el primer parcial en línea. Al inicio de la prueba daremos las indicaciones para hacer la prueba, considerando también las normas de conducta necesarias.

Estuve mirando las entregas que hicieron de los dos primeros prácticos, que están muy bien. Vi un error común que quería compartirlo, sobre el ejercicio 2.3.1 del práctico 2, que pide probar que R es una relación de equivalencia. Notar que una relación para ser de equivalencia debe ser reflexiva (H1 del ejercicio), simétrica y transitiva. El error que vi en varias entregas es que confundieron H2 con la transitividad de la relación R.
Definition H2 := forall x y z:U, (R x y) /\ (R x z) -> (R y z).
La transitividad de R sería: forall x y z:U, (R x y) /\ (R y z) -> (R x z).

Saludos, Carlos