Aplicación de la computación y la Lógica Matemática en el proceso de Enseñanza-Aprendizaje de la Matemática-ACL