Acosta, Martín Eduardo (2013). Formalización de razonamiento con geometrix. En Perry, Patricia (Ed.), Memorias 21° Encuentro de Geometria y sus Aplicaciones (pp. 53-54). Bogotá: Universidad Pedagógica Nacional.
![[img]](/style/images/fileicons/application_pdf.png) | PDF - Versión Publicada Disponible bajo la licencia Creative Commons No Comercial Sin Derivar. 101Kb |
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.
| Tipo de Registro: | Capítulo o Sección de un Libro |
|---|---|
| Términos clave: | 14. Matemáticas superiores > Geometría (matemáticas superiores) 10. Otras nociones de Educación Matemática > Resolución de problemas 14. Matemáticas superiores 03. Aula > Recursos didácticos > Recursos informáticos > Software |
| Nivel Educativo: | Formación Profesional |
| Código ID: | 3703 |
| Depositado Por: | Daniel Pineda |
| Depositado En: | 13 May 2014 09:54 |
| Fecha de Modificación Más Reciente: | 10 Ago 2019 07:22 |
| Valoración: |
Personal del repositorio solamente: página de control del documento
