Estudio de la construcción de pasos de razonamiento en problemas de demostración de geometría

Se estudia el uso de un software –asistente de demostración– utilizado en la exploración de reglas teóricas de la geometría euclidiana, y que facilita la construcción y validación de pasos de razonamiento en el proceso de construcción de demostraciones formales. Nuestra hipótesis es que “el proceso de exploración de reglas teóricas, en el asistente de demostración, caracterizado por procesos de razonamiento abductivo y deductivo es interiorizado progresivamente por el estudiante”. Mostraremos la funcionalidad del asistente de demostración, y algunas conclusiones obtenidas en lo que va del desarrollo de la investigación.

Datos
Titulo: 
Estudio de la construcción de pasos de razonamiento en problemas de demostración de geometría
Autor(es): 
Martín Eduardo Acosta Gempeler
Jesús David Berrío Valbuena
Jorge Enrique Fiallo Leal
Pais: 
Colombia
Evento: 
VIII Simposio Nororiental de Matemáticas
Libro: 
Memoria VIII Simposio Nororiental de Matemáticas
Editorial: 
Universidad Industrial de Santander
ISBN: 
978-958-8819-12-9
Paginas: 
301-305
Año: 
2014