Formalización de razonamiento con geometrix
Tipo de documento
Autores
Lista de autores
Acosta, Martín Eduardo
Resumen
En este cursillo trabajaremos una propuesta de utilización del software Geometrix como asistente para la construcción de demostraciones formales a partir de problemas de construcción.
Fecha
2013
Tipo de fecha
Estado publicación
Términos clave
Enfoque
Idioma
Revisado por pares
Formato del archivo
Editores (capítulo)
Lista de editores (capitulo)
Perry, Patricia
Título del libro
Memorias 21° Encuentro de Geometria y sus Aplicaciones
Editorial (capítulo)
Lugar (capítulo)
Rango páginas (capítulo)
53-54
ISBN (capítulo)
Referencias
Camargo, L., Samper, C. y Perry, P. (2006). Una visión de la actividad demostrativa en geometría plana para la educación matemática con el uso de programas de geometría dinámica. Lecturas Matemáticas (Número especial), 371-383. Duval, R. (1992-1993). Argumenter, démontrer, expliquer: Continuité ou rupture cognitive? Petit x, 31, 37-61. Richard, P. y Fortuny, J. (2007). Amélioration des compétences argumentatives à l’aide d’un système tutoriel en classe de mathématique au secondaire. Annales de Didactique et de Sciences Cognitives, 12, 83-116.
Proyectos
Cantidad de páginas
312