Sistema Heráclito: Suporte a Objetos de Aprendizagem Interativos e Dialéticos Voltados ao Ensino de Dedução Natural na Lógica Proposicional

Resumo

Logic is a fundamental academic discipline for Computer Science courses. However, the persistency of high levels of repetition, and premature desistance shows that there is a lot that can be made to improve the teaching process of this discipline. Preliminary data shows that this situation can be aggravated in the distance learning modality. The Heraclito System is a learning system based on the integration of Learning Objects and Intelligent Learning Environments, which aims to help in the teaching process of Natural Dedution in Propositional Logic, a particularly critical topic of study in the Logic discipline. After introducing preliminary data showing evidences of high levels of repetition and premature desistance in Logic, the paper presents the foundations, related works, main characteristics, and the basic architecture of the Heraclito System.