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.
Palavras-chave:
Lógica Formal, Gamificação, Assistente de Provas, Ensino-Aprendizagem
Referências
Andrade, J. O. and Canese, M. (2013). ∃lementar: Aplicando gamificação ao processo de ensino-aprendizagem da lógica formal. In Anais da Oitava Conferência Latino-americana de Objetos e Tecnologias de Aprendizagem (LACLO 2013), Valdivia – Chile.
Barwise, J. and Etchemendy, J. (1999). Language, Proof and Logic. Seven Bridges Press.
Deterding, S., Sicart, M., Nacke, L. E., O’Hara, K., and Nixon, D. (2011). Gamification: Using game design elements in non-gaming contexts. In Proc. of the 2011 Annual Conference on Human factors in Computing Systems – CHI 2011.
Kameyama, Y. and Sato, M. (2006). E-learning of foundation of computer science. In Proc. AEARU Workshop on Network Education (AWNE2006), pages 169–181, Taipei.
Kolb, D. A. et al. (1984). Experiential learning: Experience as the source of learning and development, volume 1. Prentice-Hall Englewood Cliffs, NJ.
Mossman, M., dos S. Gomes, L., and Gluz, J. C. (2012). Objetos de aprendizagem móveis para ensino de dedução natural na lógica proposicional. In Anais do 23oSimpósio Brasileiro de Informática na Educação (SBIE 2012), page pp. 5, Rio de Janeiro, RJ.
Penteado, F. and Gluz, J. a. C. (2011). Sistema heráclito: Suporte a objetos de aprendizagem interativos e dialéticos voltados ao ensino de dedução natural na lógica proposicional. In Anais do 22oSimpósio Brasileiro de Informática na Educação (SBIE 2011), pages 244–253, Aracaju, SE.
Petrović, V. and Ivetić, D. (2012). Gamifying education: A proposed taxonomy of satisfaction metrics. In Proc. 8th International Scientific Conference eLearning and software for Education, pages 345–350.
Setti, M. d. O. G. (2009). O Processo de Discretização do Raciocínio Matemático na Tradução para o Raciocínio Computacional. Tese (doutorado), Universidade Federal do Paraná, Curitiba, PR.
Wiedijk, C. K. F. and van Raamsdonk, M. H. F. (2007). Teaching logic using a state-of-the-art proof assistant. PATE’07, page 33.
Barwise, J. and Etchemendy, J. (1999). Language, Proof and Logic. Seven Bridges Press.
Deterding, S., Sicart, M., Nacke, L. E., O’Hara, K., and Nixon, D. (2011). Gamification: Using game design elements in non-gaming contexts. In Proc. of the 2011 Annual Conference on Human factors in Computing Systems – CHI 2011.
Kameyama, Y. and Sato, M. (2006). E-learning of foundation of computer science. In Proc. AEARU Workshop on Network Education (AWNE2006), pages 169–181, Taipei.
Kolb, D. A. et al. (1984). Experiential learning: Experience as the source of learning and development, volume 1. Prentice-Hall Englewood Cliffs, NJ.
Mossman, M., dos S. Gomes, L., and Gluz, J. C. (2012). Objetos de aprendizagem móveis para ensino de dedução natural na lógica proposicional. In Anais do 23oSimpósio Brasileiro de Informática na Educação (SBIE 2012), page pp. 5, Rio de Janeiro, RJ.
Penteado, F. and Gluz, J. a. C. (2011). Sistema heráclito: Suporte a objetos de aprendizagem interativos e dialéticos voltados ao ensino de dedução natural na lógica proposicional. In Anais do 22oSimpósio Brasileiro de Informática na Educação (SBIE 2011), pages 244–253, Aracaju, SE.
Petrović, V. and Ivetić, D. (2012). Gamifying education: A proposed taxonomy of satisfaction metrics. In Proc. 8th International Scientific Conference eLearning and software for Education, pages 345–350.
Setti, M. d. O. G. (2009). O Processo de Discretização do Raciocínio Matemático na Tradução para o Raciocínio Computacional. Tese (doutorado), Universidade Federal do Paraná, Curitiba, PR.
Wiedijk, C. K. F. and van Raamsdonk, M. H. F. (2007). Teaching logic using a state-of-the-art proof assistant. PATE’07, page 33.
Publicado
25/11/2013
Como Citar
ANDRADE, Jefferson O.; CANESE, Marta.
Um Sistema Web Gamificado para a Aprendizagem de Lógica Formal. In: SIMPÓSIO BRASILEIRO DE INFORMÁTICA NA EDUCAÇÃO (SBIE), 24. , 2013, Campinas/SP.
Anais [...].
Porto Alegre: Sociedade Brasileira de Computação,
2013
.
p. 426-435.
DOI: https://doi.org/10.5753/cbie.sbie.2013.426.
