Estimadas y estimados estudiantes,
les recodamos que ayer 8/8 se presentó el curso y conceptos del Módulo 1: Asistentes de pruebas para Lógicos y Matemáticos. En particular, el Cálculo Proposicional en Coq. El material de teórico y práctico están disponibles. Asimismo, la grabación de la clase está accesible en: https://open.fing.edu.uy/courses/cfptt-2023/1. Si bien iremos subiendo las grabaciones de las clases de los martes, sugerimos fuertemente participar de estas instancias de manera síncrona (por Zoom), ya que el intercambio será muy útil para el aprendizaje dado que el curso tiene modalidad esencialmente de taller.
Adicionalmente les recordamos que las dudas que tengan las envíen por los foros del curso.
A pedido de algunos estudiantes iremos publicando anticipadamente los materiales del siguiente módulo cada vez, aunque el foco estará puesto en el tema/práctico actual.
El martes próximo nos volvemos a conectar por Zoom a la hora 18 con el mismo link.
Saludos, Carlos