Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability
Resumo
The present study proposes an interactive tutorial, namely the TRYLOGIC, aimed at teaching to solve logical conjectures either by proofs or refutations. The study also aims at: describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally evaluating the tool.
Palavras-chave:
Tutorial Interativo, TryLogic, Moodle, IMS Learning Tools Interoperability
Referências
Alario-Hoyos, C. and Wilson, S. (2010). Comparison of the main alternatives to the integration of external tools in different platforms. In Proceedings of the International Conference of Education, Research and Innovation, ICERI, pages 3466–3476.
Barland, I., Felleisen, M., Fisler, K., Vardi, M. Y., and Kolaitis, P. (2000). Integrating Logic into the Computer Science Curriculum. Innovation and Technology in Computer Science Education.
Hendriks, M., Kaliszyk, C., Raamsdonk, F. V., and Wiedijk, F. (2010). Teaching logic using a state-of-the-art proof-assistant. Acta Didactica Napocensia, 3(2):35–48. Disponível em: [link].
Queirós, R. and Leal, J. P. (2012). Orchestration of e-learning services for automation of programming exercises. Journal of Universal Computer Science, 18(11):1454–1482.
Sweller, J., Ayres, P., and Kalyuga, S. (2011). Cognitive Load Theory. Explorations in the Learning Sciences, Instructional Systems and Performance Technologies. Springer.
Terrematte, P., Costa, F., and ao Marcos, J. (2011). Logicamente: A Virtual Learning Environment for logic based on Learning Objects. In Third International Conference Tools for Teaching Logic., volume 6680 of Lecture Notes in Artificial Intelligence, pages 223–230. Springer-Verlag, Berlin.
Barland, I., Felleisen, M., Fisler, K., Vardi, M. Y., and Kolaitis, P. (2000). Integrating Logic into the Computer Science Curriculum. Innovation and Technology in Computer Science Education.
Hendriks, M., Kaliszyk, C., Raamsdonk, F. V., and Wiedijk, F. (2010). Teaching logic using a state-of-the-art proof-assistant. Acta Didactica Napocensia, 3(2):35–48. Disponível em: [link].
Queirós, R. and Leal, J. P. (2012). Orchestration of e-learning services for automation of programming exercises. Journal of Universal Computer Science, 18(11):1454–1482.
Sweller, J., Ayres, P., and Kalyuga, S. (2011). Cognitive Load Theory. Explorations in the Learning Sciences, Instructional Systems and Performance Technologies. Springer.
Terrematte, P., Costa, F., and ao Marcos, J. (2011). Logicamente: A Virtual Learning Environment for logic based on Learning Objects. In Third International Conference Tools for Teaching Logic., volume 6680 of Lecture Notes in Artificial Intelligence, pages 223–230. Springer-Verlag, Berlin.
Publicado
25/11/2013
Como Citar
TERREMATTE, Patrick; MARCOS, João.
Ensino de Lógica através de estratégias de Demonstração e Refutação: A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability. 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. 967-971.
DOI: https://doi.org/10.5753/cbie.sbie.2013.967.
