Estimadas y estimados estudiantes,
El 14/8 se presentaron conceptos del Módulo 2: Asistentes de pruebas para Lógicos y Matemáticos. En particular, el Cálculo de Predicados de alto orden. El material de teórico y de práctico están disponibles. Asimismo, la grabación de la clase está accesible en: https://open.fing.edu.uy/courses/cfptt-2023/2. 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.
Tengan presente:
- 20/8: entrega de ejercicios seleccionados del práctico 1 (cálculo propsicional)
- 22/8: NO habrá clases a la hora 18. Retomamos con las clases síncronas por Zoom el martes 29/8
- 4/9: entrega de ejercicios seleccionados del práctico 2 (cálculo de predicados)
Saludos, Carlos