O uso da logica matemática aplicada a disciplina de algoritmos de programação

Abstract

In the construction of algorithms, mathematical definitions and their rules are constantly present. Based on the hypothesis that the teaching of mathematical logic can influence the learning of algorithms, this article presents a methodological proposal that deals with the teaching of mathematical logic applied to the construction of programming algorithms. For the development of this study, a qualitative, exploratory, and documentary research approach was employed. The proposal involves the study of mathematical logic concepts and their application in the construction of algorithms. It introduces the concepts of propositions, logical operations of negation, conjunction, and disjunction, the construction of truth tables, conditional and biconditional structures. Each concept is applied to algorithmic construction. The algorithms used include sequential and conditional commands, and a specific programming language is employed for their development. The methodology has been implemented in classes on Mathematical Logic and Algorithms in Technical Education integrated with High School. In future work, the intention is to include its description in a chapter of an Introduction to Algorithms book.