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

Simple item page
dc.contributor.advisorFiallo Leal, Jorge Enrique
dc.contributor.advisorAcosta Gempeler, Martín Eduardo
dc.contributor.authorBerrio Valbuena, Jesus David
dc.date.accessioned2024-03-03T22:53:53Z
dc.date.available2016
dc.date.available2024-03-03T22:53:53Z
dc.date.created2016
dc.date.issued2016
dc.description.abstractEste 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.
dc.description.abstractenglishStudy of construction of reasoning steps in the process of theoretical justification in geometry problems
dc.description.degreelevelMaestría
dc.description.degreenameMagíster en Educación Matemática
dc.format.mimetypeapplication/pdf
dc.identifier.instnameUniversidad Industrial de Santander
dc.identifier.reponameUniversidad Industrial de Santander
dc.identifier.repourlhttps://noesis.uis.edu.co
dc.identifier.urihttps://noesis.uis.edu.co/handle/20.500.14071/35647
dc.language.isospa
dc.publisherUniversidad Industrial de Santander
dc.publisher.facultyFacultad de Ciencias
dc.publisher.programMaestría en Educación Matemática
dc.publisher.schoolEscuela de Matemáticas
dc.rightshttp://creativecommons.org/licenses/by/4.0/
dc.rights.accessrightsinfo:eu-repo/semantics/openAccess
dc.rights.creativecommonsAtribución-NoComercial-SinDerivadas 4.0 Internacional (CC BY-NC-ND 4.0)
dc.rights.licenseAttribution-NonCommercial 4.0 International (CC BY-NC 4.0)
dc.rights.urihttp://creativecommons.org/licenses/by-nc/4.0
dc.subjectActividad Demostrativa
dc.subjectAsistente De Demostración
dc.subjectExploración De La Teoría
dc.subjectInteriorización.
dc.subject.keywordThis research studies the use of mathematical computing software called proof assistant
dc.subject.keywordthis software used in exploration activity of theorems
dc.subject.keyworddefinitions and postulates of Euclidean geometry
dc.subject.keywordin the process of building formal deductive proof by students in a course of euclidean geometry of the Bachelor in Mathematics at the Universidad Industrial de Santander. Our research hypothesis is
dc.subject.keyword"the use of proof assistant
dc.subject.keywordcharacterized by deductive and abductive reasoning process
dc.subject.keywordis going to become the property of the individual gradually." For getting information that would allow us to see evidence to verify or falsify our research hypothesis
dc.subject.keywordour general aim was: studying the impact of using "proof assistant" software as a scaffold for the development of exploration of the theory. We show a priori analysis as the ideal way of solving of three construction and demonstration problems
dc.subject.keywordand a posteriori analysis (a posteriori local analysis by each student per intervention
dc.subject.keyworda posteriori local analysis by each of the three interventions and global a posteriori analysis) of the results of the implementation of three proof and construction problems. Analyzes carried out and the application of twelve clinical interviews
dc.subject.keywordallowed us to identify and characterize some of the proof assistant´s uses for the approach of conjecture and construction of a theoretical justification and also moments when the proof assistant ceases to be used.
dc.titleEstudio 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
dc.title.englishDemonstrative Activity, Proof Assistant, Exploration Of The Theory, Internalization.
dc.type.coarhttp://purl.org/coar/version/c_b1a7d7d4d402bcce
dc.type.hasversionhttp://purl.org/coar/resource_type/c_bdcc
dc.type.localTesis/Trabajo de grado - Monografía - Maestria
Files
Original bundle
Now showing 1 - 3 of 3
No Thumbnail Available
Name:
Carta de autorización.pdf
Size:
409.48 KB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
Documento.pdf
Size:
4.31 MB
Format:
Adobe Portable Document Format
Download
No Thumbnail Available
Name:
Nota de proyecto.pdf
Size:
328.78 KB
Format:
Adobe Portable Document Format
Download
Collections
Maestría en Educación Matemática