Objetos de Aprendizagem Móveis para Ensino de Dedução Natural na Lógica Proposicional

Logic is fundamental for Computer Science and Information Systems students, helping them to develop logical analysis and problem solving skills. Heraclito aims to create computational system based on learning objects that will help students to learn natural deduction in propositional logic. The Heraclito will help students to properly use all the rules of natural deduction, showing them how they can overcome their mistakes, contributing to an improvement of the framework of dropouts and failures. The present work show the technical features of Heraclito's proof editors: the mobile proof editor, and the desktop/laptop version. The work also show the functional tests made with these prototypes.

2012