Abstract
We present the Coding Maps project carried out by a team of students and teachers of the Computer Science Bachelor’s degree of the University of Genoa, aimed at the creation of a computational thinking distance laboratory for the 2021 edition of the Genoa Science Festival. The main challenge for the team was to create an activity that could be engaging for students of different ages (middle and high school) exploiting the digital skills on remote learning acquired during the pandemics. The team adopted the metaphor of gamification and interactive applications via an online multiplayer platform in combination with more traditional computer science orientation approaches based on computational thinking and problem solving. The structure of the proposed activity was inspired to non standard logic languages such as modal logic and the corresponding possible worlds semantics in which the truth of an assertion depends on the accessibility relation among different worlds.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abykanova, B., Nugumanova, S., Yelezhanova, S., Kabylkhamit, Z., Sabirova, Z.: The use of interactive learning technology in institutions of higher learning. Int. J. Environ. Sci. Educ. 11(18), 12528–12539 (2016)
Cresswell, M.J., Hughes, G.E.: A New Introduction to Modal Logic (1996)
Edutainment Formula. Smart O.C.A. Online Challenge Activity. In Italian. Available at https://www.edutainmentformula.com/web-app/smart-oca/. Accessed June 2022
Kripke, S.A.: A completeness theorem in modal logic. J. Symb. Log. 24(1), 1–14 (1959)
Li, Y., Schoenfeld, A.H., diSessa, A.A., Graesser, A.C., Benson, L.C., English, L.D., Duschl, R.A.: Computational thinking is more about thinking than computing. J. STEM Educ. Res. 3, 1–18 (2020)
Pusceddu, M., Sartori, A.: Digilab Coding Map: una sfida fra scuole per scoprire l’informatica. November 2021. In Italian. Available at the URL https://life.unige.it/un-viaggio-planetario-nel-pensiero-computazionale
Sax, L.J., Lehman, K.J., Jacobs, J.A., Kanny, M.A., Lim, G., Monje-Paulson, L., Zimmerman, H.B.: Anatomy of an enduring gender gap: the evolution of women’s participation in computer science. J. High. Educ. 88(2), 258–293 (2017)
Venter, M.: Gamification in STEM programming courses: State of the art. In: 2020 IEEE Global Engineering Education Conference (EDUCON), pp. 859–866 (2020)
Wing, J.M.: Computational thinking. Commun. ACM 49(3), 33–36 (2006)
Modal Logic, Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/logic-modal/
Acknowledgements
The authors would like to thank the students involved as tutors in the Coding Maps digiLab at the Science Festival for their support and engagement in conducting the lab. Thanks are also due to Luca Gelati of Edutainment Formula and to Raffaella Denegri of Associazione Festival della Scienza.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Delzanno, G., Ferrando, A., Guerrini, G., Pusceddu, M., Zanone, G. (2023). Coding Maps: A Distance Laboratory on Computational Thinking Inspired by Modal Logic. In: Fulantelli, G., Burgos, D., Casalino, G., Cimitile, M., Lo Bosco, G., Taibi, D. (eds) Higher Education Learning Methodologies and Technologies Online. HELMeTO 2022. Communications in Computer and Information Science, vol 1779. Springer, Cham. https://doi.org/10.1007/978-3-031-29800-4_38
Download citation
DOI: https://doi.org/10.1007/978-3-031-29800-4_38
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-29799-1
Online ISBN: 978-3-031-29800-4
eBook Packages: Computer ScienceComputer Science (R0)