Uniandes
Funes
Ministerio de Educacion
Funes

Formalización de razonamiento con geometrix

Acosta, Martín (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]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:13 May 2014 09:54
Valoración:

Personal del repositorio solamente: página de control del documento


Comentarios

Agregar Comentario