Next: 9 Ejemplos, muchos ejemplos Up: 8 Extra Previous: 8.5 Hazte tus ejercicios Contents
¿Hay programas de ordenador que hagan todo esto que explico, pero sin que tengas que pensar o trabajar? Pues la verdad es que no lo sé; yo no conozco ninguno. Todos los ejemplos que hay aquí los he hecho a mano.
Puedes intentar hacer funcionar cosas como seqprover o pandora. Yo no lo he conseguido, y lo poco que he encontrado está a medias o son sólo proyectos. Supongo que debe de ser difícil hacer un programa así, por eso de que la deducción es natural (es más para cerebros humanos). Aunque los ordenadores pueden aplicar fuerza bruta...
Lo que sí que puedes probar y va bien es un juego parecido al dominó que sirve para demostrar secuentes mediante piezas de colores. Requiere algo de aprendizaje.