Estimadas/os,
les recuerdo que están disponibles los materiales del módulo correspondiente al Cálculo de Construcciones Inductivas, donde la idea ver como definir tipos de datos inductivos (incuyendo relaciones), definir funciones recursivas sobre éstos y probar propiedades (usando lo ya aprendido e inducción). El práctico 4 contempla estos temas, es más largo que los anteriores (comiencen con tiempo) y no tiene plantilla/template (a partir de este práctico no se incluyen más).
Respecto a la parte más teórica del módulo, vean la grabación disponible en OpenFING.
El martes 21/5 en el horario habitual estaré conectado por si tienen consultas, pero recomiendo enviarlas directamente por los foros, a medida que avancen.
Saludos, Carlos