Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven

Resumo

El popular programa de matemática dinámica GeoGebra incluye herramientas para la verificación matemática rigurosa y el descubrimiento automático de proposiciones generales sobre figuras geométricas. En este trabajo se presenta, en primer lugar, una breve descripción de tales herramientas, para centrarse a continuación en una reflexión sobre su potencial impacto educativo, a través de un nuevo diseño de tareas escolares en el ámbito de la enseñanza de la geometría, que aprovechen las nuevas características de GeoGebra y contribuyan a guiar al estudiante en la indagación, conjetura y descubrimiento de propiedades geométricas en una construcción dada.

Palabras clave: geometría dinámica, razonamiento automático, geometría elemental, GeoGebra

Downloads

Não há dados estatísticos.

Biografias Autor

Tomas Recio, Catedrático de Álgebra de la Universidad de Cantabria

Catedrático de Álgebra de la Universidad de Cantabria (Santander, España) desde 1982. Ha desarrollado múltiples cargos relacionados con la investigación y la educación, a nivel regional, nacional e internacional. Fundador del Instituto GeoGebra de Cantabria. Autor de cientos de artículos científicos y comunicaciones en diferentes revistas y congresos. Véase más información en: http://www.recio.tk

M. Pilar Vélez, Profesora de Matemática Aplicada en la Universidad Nebrija (Madrid, España)

Profesora de Matemática Aplicada en la Universidad Nebrija (Madrid, España) desde 1997. Ha desempeñado diferentes cargos de dirección, entre ellos Rectora de la Universidad Nebrija de 2010 a 2014. Actividad investigadora en algebra computacional, razonamiento automático en geometría y educación en matemáticas (https://orcid.org/0000-0002-5724-4300).

Steven Van Vaerenbergh, Profesor Ayudante Doctor en Didáctica de la Matemática en la Universidad de Cantabria (Santander, España)

Profesor Ayudante Doctor en Didáctica de la Matemática en la Universidad de Cantabria (Santander, España). Actividad investigadora en las aplicaciones de la inteligencia artificial en la educación matemática

(https://orcid.org/0000-0003-3091-0171).

Publicado
2020-08-31
Como Citar
ABAR, C., Recio, T., Vélez, M. P., & Van Vaerenbergh, S. (2020). Herramientas de Razonamiento Automático en GeoGebra: qué son y para qué sirven. UNIÓN - REVISTA IBEROAMERICANA DE EDUCACIÓN MATEMÁTICA, 16(59), 08-15. Obtido de http://revistaunion.org/index.php/UNION/article/view/202
Edição
v. 16 n. 59 (2020): UNIÓN - Revista Iberoamericana de Educación Matemática
Secção
Firma Invitada

Direitos de Autor (c) 2020 Tomas Recio, M. Pilar Vélez, , Steven Van Vaerenbergh

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

O material publicado na revista é distribuído sob a licença Creative Commons International Attribution 4.0 (CC-BY 4.0). Esta licença permite que outros distribuam, misturem, ajustem e desenvolvam seu trabalho, mesmo para fins comerciais, desde que você seja creditado com a criação original. Os autores das obras publicadas na Revista Unión mantêm seus direitos autorais sem restrições.

##plugins.generic.dates.received## 2020-08-31
##plugins.generic.dates.published## 2020-08-31