Gamificação

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

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 …

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

A lógica formal desempenha um papel fundamental na ciência da computação. É necessário introduzir os fundamentos dessa disciplina para que esses alunos possam alcançar o domínio em todas as suas aplicações em ciência da computação. Infelizmente, …