Mathematical logic

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

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 …

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

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 …