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

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.