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.

Anexo

Referencia

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
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