Se va a subir la solución de los prácticos, o habrá algún tipo de devolución para tener una guía de si estamos haciendo bien las cosas?
Gracias!
Hola.
No se publican soluciones de los prácticos.
No obstante, en la prueba de los lemas es fácil corroborar si están bien demostrados ya que se usa un asistente de pruebas (Coq).
Las calificaciones de los prácticos se entregan más adelante.
saludos, Carlos
Hola Carlos.
Tenés razón en lo que decis. De todas formas yo me refería a la forma de resolver los lemas, ya que una prueba me puede llevar muchas mas lineas de lo que de verdad se requieren.
La calidad de las soluciones insiden en las notas?
Muchas gracias!
En estas primeras prácticas no se busca que logren hacer pruebas minimalistas.
Si es relevante que ustedes entiendan lo que hicieron, ya que la combinación de tácticas hasta que sale una prueba no es la forma de aprender.
No te olvides que hay dos parciales donde evaluamos lo que aprendieron en las diferentes prácticas.
Saludos, Carlos