Sistema de Generación Personalizada de Ejercicios de Lógica Computacional

Abstract

El presente artículo describe el diseño, desarrollo e implementación de un framework que permite a los docentes la generación tanto de boletines entregables de ejercicios como de tutoriales interactivos de ejercicios con su explicación y solución. Estos recursos son personalizados para cada alumno porque se utiliza un repertorio de ejercicios adecuado al nivel del conocimiento que cada cual tenga sobre la materia. Este framework también dificulta algunos malos hábitos entre los alumnos como la copia de ejercicios o la distribución de los mismos, posiblemente con soluciones incorrectas. Es especialmente útil en asignaturas donde se requiere una fuerte componente de notación matemática tales como son la asignatura de lógica computacional o de matemáticas ya que está basado en el procesador de textos LaTeX. Además, esta herramienta da soporte a nuevas metodologías docentes más personalizadas tanto en el aula como fuera de ella.

This article describes the design, development and implementation of a framework which enables teachers the generation of both home works and interactive tutorials of exercises with explanation and solution. These resources are personalized for each student since it is used a exercises repository adapted to the knowledge level of every student have about the subject. This framework makes difficult some bad habits such as plagiarism and distribution of such exercises, maybe with incorrect solutions. It is especially useful in subjects in which is required a strong components of mathematical notation such as computational logics and mathematics since it is based on Latex word processor. Moreover, this tools offer support for new teaching methodologies more personalized in both classroom and autonomous learning.