∃lementar: Aplicando Gamificação ao Processo de Ensino-Aprendizagem da Lógica Formal

Abstract

Formal logic plays a fundamental role in computer science. It is necessary to introduce the fundamentals of this discipline so that these students can achieve mastery across the range of its applications in computer science. Unfortunately, it is observed that the efficiency of the learning process the Bachelor in Information Systems program, has proved to be less than ideal. In this work, we propose that it is possible to increase the effectiveness of the learning process through the use of proof assistants as a teaching tool, but with the introduction of game-like elements. This approach has been known as gamification. We present an overview of the theoretical basis that supports the use of gamification, we then proceed to describe a proposal of a gamified system for learning formal logic, as well as a prototype implementation of this proposed system. We conclude this paper presenting some results of an experiment conducted by adopting our prototype as a learning tool during one academic semester. We then compare these results with the previous semester and analyze the possibilities of the use of gamification in an educational setting.