Relacionando la argumentación informal con la demostración formal mediante experimentos pedagógicos computacionales

Abstract

En este artículo se presentan los resultados de dos experiencias de enseñanza integrada con computadores (una de álgebra y otra de geometría) diseñadas para ayudar a los estudiantes a conectar la demostración formal con la argumentación informal. Los resultados se interpretan desde la base de las conclusiones obtenidas a partir de una gran cantidad de formularios recogidos sobre el concepto de demostración que tienen los estudiantes.