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.
Publicação
XXIV Simpósio Brasileiro de Informática na Educação