Diseño de experiencias de aula usando razonamiento automático con GeoGebra
Tipo de documento
Autores
Lista de autores
Kovács, Zoltán, Recio, Tomás y Vélez, M. Pilar
Resumen
Las últimas versiones de GeoGebra disponen de herramientas y comandos que permiten hacer razonamiento automático en geometría (GGB-ART); esto es, derivar, descubrir y/o demostrar, de modo general y riguroso, propiedades sobre una construcción geométrica representada en GeoGebra. El propósito de esta comunicación es exponer, a través de diversos ejemplos, las posibilidades de GGB-ART, así como plantear el diseño de experimentos de aula para estimar el posible impacto de estas herramientas en la enseñanza y el aprendizaje de las Matemáticas. Para ello consideramos que es necesario comenzar promoviendo la reflexión colectiva sobre las oportunidades y diferencias –frente a la metodología tradicional-- que plantearía el uso escolar de los comandos de GGB-ART. En definitiva, se trata de avanzar hacia un marco en el que desarrollar experiencias de aula que aprovechen estas herramientas, tanto en un contexto escolar clásico (como utensilio auxiliar del currículo tradicional) como en un contexto curricular diferente, en el que se asuma la disponibilidad y popularización de una especie de “calculadora geométrica” entre el alumnado.
Fecha
2017
Tipo de fecha
Estado publicación
Términos clave
Derivación | Motivación | Otro (razonamiento) | Relaciones geométricas | Software
Enfoque
Idioma
Revisado por pares
Formato del archivo
Título libro actas
Lista de editores (actas)
FESPM, Federación Española de Sociedades de Profesores de Matemáticas
Editorial (actas)
Lugar (actas)
Rango páginas (actas)
449-457
ISBN (actas)
Referencias
Abánades, M.A., Botana, F., Kovács, Z., Recio T. & Sólyom-Gecse, C. (2016). Development of automatic reasoning tools in GeoGebra. ACM Communications in Computer Algebra. Volume 50 Issue 3, September 2016. pp: 85-88, and Software Demonstration Award at the ISSAC 2016 Conference. Recuperado de http://www.issacconference. org/2016/awards.php). Botana, F., Recio, T. & Vélez, M.P. (2017). The role of automated reasoning of geometry statements in mathematics instruction. Poster CERME-10, TWG 15: Teaching Mathematics with Technology and Other Resources. Dublin. Recuperado de https://keynote.conferenceservices. net/resources/444/5118/pdf/CERME10_0181.pdf Chou, S.C. (1988). Mechanical Geometry Theorem Proving. D. Reidel Pub. Co. Dordrecht, Holland. Corless, R. (2004). Computer-mediated thinking. Proceedings of the TIME-2004 Workshop, Montreal, Canada. Recuperado de http://www.apmaths.uwo.ca/~rcorless/frames/PAPERS/EDUC/CMTpaper.pdf Di Sessa, A. (2001). Changing minds: Computers, learning and literacy. MIT Press. Cambridge, Ma. USA. Gelertner, H. (1959): Realization of a geometry theorem proving machine. Proc. Int. Conf. on Information Processing. Paris, UNESCO house. pp. 273-282. Hohenwarter, M., Kovács, Z. & Recio, T. (2016). Deciding geometric properties symbolically in GeoGebra. In: R&E-SOURCE, Open Online Journal for Research and Education, Special Issue #6, March 2017, ISSN: 2313-1640, http://journal.ph-noe.ac.at Recio, T. & Vélez, M.P. (1999). Automatic Discovery of Theorems in Elementary Geometry. Journal of Automated Reasoning 23, 63-82. DOI: 10.1023/A:100613532210. Sinclair, N., Bartolini Bussi, M.G., de Villiers, M. et al. (2016). Recent research on geometry education: an ICME-13 survey team report. ZDM Mathematics Education, 48(5), pp 691-719.
Proyectos
Cantidad de páginas
9