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

Abstract

Com o uso crescentedas tecnologias de informa????o e comunica????o na ??rea educacional, torna-se cada vez mais necess??ria a cria????o de ferramentas de apoio ao professor, capazes de auxili??-lo no planejamento e execu????o das aulas, bem como no acompanhamento do processo de ensino-aprendizagem. Em alguns casos, o acesso a essas tecnologias, aliado ao conhecimento t??cnico limitado por parte dos docentes, pode comprometera maneira com que os conte??dos s??o desenvolvidos e utilizados pelos alunos. Essa ?? a principal ??rea de pesquisa da presente disserta????o, que se prop??e a ajudar a tornar mais proficiente esse processo, pelo menos no contexto do ensino de dedu????o natural na disciplina de L??gica, atrav??s da cria????o de uma ferramenta inteligente de autoria e acompanhamento de uso de materiais educacionais, na forma de objetos de aprendizagem. A ferramenta, denominada SAAPIEnS,torna poss??vel que o professor elabore objetos de aprendizagem customiz??veis no dom??nio espec??fico de dedu????o natural na l??gica proposicional. Com base em um conjunto de a????es, regradas por estrat??gias de ensino, almeja-se tamb??m instrumentalizar o docente no acompanhamento das atividades realizadas pelos alunos no ambiente computacional, apoiando o processo de avalia????o do n??vel dedesempenho alcan??ado pelos alunos. Isso ?? feito por meio de um subsistema que oferece servi??os de visualiza????o e an??lise de dos conjuntos de intera????es dos alunos com os objetos de aprendizagem. A ferramenta ?? disponibilizada tanto via Web quanto via local (desktop), visando a uma maior flexibilidade para professor e alunos. Os poss??veis impactos dessa ferramenta foram avaliados atrav??s de cen??rios hipot??ticos de uso, que ilustram as principais contribui????es poss??veis para esse tipo de ferramenta.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