El asistente de demostración como herramienta para la construcción de justificaciones teóricas en problemas de demostración en geometría

En este taller se presenta un software (asistente de demostración), utilizado en la actividad de exploración de teoremas, definiciones y postulados de la geometría euclidiana, en el proceso de construcción de justificaciones teóricas. El uso del asistente de demostración está caracterizado por procesos de razonamiento deductivo y abductivo y ha sido ampliamente difundido entre los estudiantes de la licenciatura en matemáticas de la Universidad Industrial de Santander. Los asistentes serán partícipes de las experimentaciones que se presentarán con el fin de que se familiaricen con el uso del software y de las ventajas que ofrecen en la enseñanza de la demostración