Diseño y resolución interactiva de ejercicios que involucren cálculo simbólico

La tesis que se presenta describe MathEdu, una herramienta para el diseno y resolucion interactiva de ejercicios que involucren calculo simbolico, MathEdu es un sistema modular que incorpora, por una parte, una herramienta de autor desarrollada utilizando Mathematica y basada en el paradigma de programacion por demostracion. Dicha herramienta pemite al profesor elaborar, de un modo relativamente simple, colecciones de diferentes tipos de ejercicios de Matematicas. Desde el punto de vista del alumno, MathEdu le permite resolver de forma interactiva ejercicios generados de forma aleatoria a partir de los modelos elaborados por el profesor. Con MathEdu se alcanza un alto grado de interaccion entre el alumno y el sistema para el aprendizaje de las Matematicas. Como valor anadido se incluye un modulo para la resolucion guiada de ejercicios (generados de forma aleatoria o propuesta por el alumno) del mismo tipo de los que puede resolver de forma interactiva. En definitiva, las principales aportaciones del trabajo se pueden circunscribir a dos contextos. Por una parte, en el plano de la representacion del conocimiento, se ha definido un modelo y una metodologia para la representacion de ejercicios que involucren calculo simbolico y se ha desarrollado una metodologia de generacion y resolucion de ejercicios. Por otra parte, en el plano de la interaccion hombre-maquina, se ha desarrollado una herramienta de autor para la elaboracion del contenido de los cursos que se desee crear y se ha desarrollado una aplicacion para la resolucion interactiva.