Estudos mostram que o uso dessas ferramentas pode melhorar a compreensão dos alunos, aumentar sua motivação e engajamento, além de estimular o desenvolvimento de habilidades cognitivas, como o raciocínio lógico e a capacidade de abstração. Com isso, temos por objetivo analisar a influência de ferramentas digitais em uma atividade de Lógica Matemática desenvolvida por um aluno de um curso de Ciência da Computação. A opção metodológica adotada fundamenta-se na abordagem qualitativa e nossas análises são baseadas em uma investigação a respeito da natureza e do desenvolvimento do problema em questão. Em nossas análises, verificamos que a diversidade de representação na disciplina, no caso desse artigo, o desenvolvimento do aluno, associada ao contexto da programação, apoia uma reflexão na busca da compreensão do assunto.
Studies show that using these tools can improve students' understanding, increase their motivation and engagement, as well as stimulate the development of cognitive skills, such as logical reasoning and the ability to abstract. With this, we aim to analyze the influence of digital tools on a Mathematical Logic activity developed by a student on a Computer Science course. The methodological option adopted is based on a qualitative approach and our analyzes are based on an investigation into the nature and development of the problem in question. In our analyses, we found that the diversity of representation in the discipline, in the case of this article, student development, associated with the programming context, supports reflection in the search for understanding the subject.
