Resumen

Este artículo se centra en el uso de herramientas informáticas como apoyo para la enseñanza de la matemática. En particular, presentamos la herramienta Yoda que hemos desarrollado para la enseñanza de pruebas formales en el curso de Lógica de la Facultad de Ingeniería. La noción de prueba formal que usamos es la de un sistema de deducción natural de Gentzen basado en árboles. La herramienta Yoda está codificada en JavaScript y CSS, constituyendo una interfaz liviana que puede visualizarse en navegadores comunes, incluyendo celulares. El artículo también presenta algunos comentarios sobre otras experiencias que hemos realizado, así como algunas perspectivas para extender el uso de herramientas en el apoyo a otros cursos de matemáticas.