Deduce: Un verificador de pruebas para fines educativos
2025-03-24
Deduce es un verificador de pruebas automatizado diseñado para la educación, ayudando a los estudiantes a aprender a probar la corrección de programas funcionales, profundizar su comprensión de la lógica y mejorar sus habilidades de escritura de pruebas matemáticas. Está dirigido a estudiantes con habilidades básicas de programación (Java, Python o C++) y alguna experiencia en lógica de un curso de matemáticas discretas. Deduce proporciona recursos que van desde la instalación y la escritura de código hasta un manual de referencia y una hoja de trucos, con una prueba de ejemplo de un algoritmo de búsqueda lineal para ilustrar su uso.
Leer más