Escuela de Matemáticas

Permanent URI for this community

https://noesis.uis.edu.co/handle/20.500.14071/8939

Browse

Browsing Escuela de Matemáticas by Subject ""the use of proof assistant"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Estudio de la construcción de pasos de razonamiento en el proceso de justificación teórica en la resolución de problemas de geometría
    (Universidad Industrial de Santander, 2016) Berrio Valbuena, Jesus David; Fiallo Leal, Jorge Enrique; Acosta Gempeler, Martín Eduardo
    Este trabajo de investigación estudia el uso de un software matemático computacional llamado asistente de demostración, este software es utilizado en la actividad de exploración de teoremas, definiciones y postulados de la geometría euclidiana, en el proceso de construcción de demostraciones deductivas formales por estudiantes de un curso de geometría euclidiana de la carrera de Licenciatura en Matemáticas de la Universidad Industrial de Santander. Planteamos la hipótesis de investigación asistente de demostración, caracterizado por procesos de razonamiento deductivo y abductivo, se irá transformando . Para obtener información que nos permitiera vislumbrar evidencias para verificar o falsar nuestra ión de la teoría. Mostramos el análisis a priori como el camino de ideal de solución de tres problemas de construcción y demostración, y el análisis a posteriori (análisis a posteriori local por estudiante, análisis a posteriori local por cada una de las tres intervenciones y análisis a posteriori global) de los resultados de la aplicación de los tres problemas de demostración. Los análisis practicados y la aplicación de doce entrevistas clínicas, permitieron identificar y caracterizar algunos de los usos dados al asistente de demostración por los estudiantes durante el planteamiento de la conjetura y la construcción de una justificación teórica para cada problema, así como también los momentos en los cuales se abandona el uso de este software.