Muriel Souza da Cruz Cruz, M. S.

Fernanda Pereira Gomes Gomes, F. P.

José Henrique Coelho Brandão Brandão, J. H. C.

Parcilene Fernandes de Brito Brito, P. F.

Resumo

No contexto educacional, tem sido desenvolvido sistemas para os conteúdos abordados nas disciplinas. Para tanto, é importante o entendimento do usuário, especialmente, para definição de elementos que estimulem a aprendizagem. Nesse sentido, este trabalho apresenta o desenvolvimento de um Módulo de Exercícios de Formalização de Argumentos no Contexto da Lógica de Predicados. Este módulo está inserido em uma plataforma gamificada para auxiliar no processo de ensino e aprendizagem da disciplina de Lógica. Os resultados obtidos correspondem à implementação do módulo utilizando elementos de Learning Experience Design e a aplicação do Framework Educa3C.