Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal

Abstract

Formal logic plays a fundamental role in computer science. Unfortunately, it is observed that the effectiveness of the learning process of formal logic has proved to be less than ideal. This work presents the ∃lementar system; a system that integrates a proof assistant in a gamified context, i.e., that uses game elements to promote student’s engagement and motivation. After introducing ∃lementar’s main features, this work presents preliminary data that point to an improvement in student’s performance indicators.