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

Resumo

A lógica formal possui um papel fundamental na ciência da computação. Infelizmente, se observa que a eficácia do processo de ensino-aprendizagem da lógica formal tem se mostrado abaixo do ideal. Este trabalho apresenta o sistema ∃lementar; um sistema que incorpora um assistente de provas em um contexto de gamificação, i.e., que utiliza elementos de jogos para promover o engajamento e a motivação dos alunos. Após introduzir as características gerais do sistema ∃lementar, este artigo apresenta dados preliminares que indicam melhoria nos indicadores de desempenho dos alunos.