SAAPIEnS: autoria de objetos de aprendizagem e acompanhamento pedagógico para o ensino de dedução natural na lógica proposicional

Abstract

With the increasing use of information and communication technologies in education, it becomes necessary to create supporting tools which can assist teachers in planning and implementing lessons as well as monitoring the process of teaching and learning. In some cases, access to these technologies, coupled with limited technical knowledge on the part of teachers, can compromise the way the contents are developed and used by students. This is the main research area of this dissertation, which aims to make this process more proficient, at least in the context of teaching natural deduction in the discipline of logic, through the creation of an intelligent authoring tool of learning objects, which also allows the teacher to follows the use of these educational materials by students. The tool, called SAAPIEnS, makes it possible for the teacher to prepare customizable learning objects in the specific domain of natural deduction in propositional logic. Based on a set of actions, regulated by a set of teaching strategies, the goal is to help teachers to monitor the activities performed by students in the computing environment, supporting the process of assessing the level of performance achieved by the students. This is done by means of a subsystem, which offers visualization and analysis service of the sets of interactions of students with learning objects. The tool supports Web and local (desktop) interfaces, giving greater flexibility for teachers and students. The possible impacts of this tool were evaluated through hypothetical usage scenarios that illustrate the main possible contributions to this type of tool.