Desde que me estoy auto-estudio, que va a ser muy útil contar con un software para verificar la exactitud de mis pruebas. Hay un software como que? Y lo que es más importante, es una buena idea usar un software?
Respuesta
¿Demasiados anuncios?
Un software, en el sentido de que usted tiene en mente, no existe. Hay la prueba formal de las damas, pero 'pruebas' no se parecen en nada las pruebas a las que habría que escribir y como ser comprobado.
Además, no creo que sea una buena idea utilizar estas herramientas para fines prácticos, si existieran . En lugar de depender de fuentes externas, pensar cuidadosamente a través de cada paso de la prueba. Esto no sólo le permite a la auto-verificar su trabajo, pero además genera una cierta madurez en matemáticas que es crucial para cualquier tipo de trabajo matemático.
