O jogo Codedoors: proposições lógicas no ensino de estruturas condicionais em Python

Abstract

Considering the growing relevance of Computational Thinking and Programming Logic in the comprehensive education of 21st-century citizens, the teaching of these areas still faces considerable challenges, such as high failure rates in introductory disciplines and the need to train faculty in Didactic Transposition methodologies—the process of transforming scientific knowledge into teachable knowledge, seeking to facilitate the understanding of complex concepts. In this context, the present study analyzes the relationship between mathematical logic and programming teaching, presenting a practical approach to programming education through the use of basic mathematical logic concepts. The methodology was based on the study of interdisciplinarity between basic programming logic concepts and software development, as well as the observation (as a course participant) of an extension course on the use of mathematical logic in programming teaching (aimed at teachers of Mathematics, Physics, Programming Logic, and Mathematical Logic in Elementary and High School, as well as students of technology and teaching degree programs). The educational product developed in this research is called CodeDoors, a gamified learning object that uses challenges based on logical propositions to exemplify how these structures translate into computational decisions. This work aims to contribute with a visual and interactive approach that highlights the integration between mathematical logic and programming, fostering the strengthening of the learning of conditional structures in algorithms and programming.