Lógica Computacional

Na primeira unidade, com o título: “Introdução à Lógica Computacional”, veremos os principais assuntos de Lógica Proposicional, pré-requisitos em concursos e no curso de computação. Veremos os que são sentenças e proposições, bem como a famigerada Tabela-Verdade. Na segunda unidade, intitulada: “Lógica Matemática”, daremos seguimento aos conteúdos da primeira unidade, porém focando mais em símbolos gráficos e em silogismos (argumentação básica para provas matemáticas). Nessa unidade, aproveitando temas relacionados, trago um apanhado de Falácias e Sofismas. Acredito muito que precisamos aprender esses conteúdos, dada a grande quantidade de desinformação disponível nessa Internet, principalmente em canais no Youtube. Na terceira e última unidade, “Teoria dos Conjuntos”, continuo os conteúdos de lógica, sob a perspectiva de conjuntos, além de definir tudo detalhadamente. Nessa unidade, em vez de trazer a definição comum de conjuntos numéricos, decidi colocar um texto meu adaptado de meu TCC de forma bem resumida. Também falamos de funções, mas sem aprofundar, para não fugir muito do tema central. Termino a unidade trabalhando com provas matemáticas, para exemplificar uma aplicação extraordinária de tudo o que se aprendeu nas outras unidades.

Background: the model question that will be present in the PISA 2021 exam, with the insertion of knowledge related to programming logic in the test that re-analyses mathematical literacy, may not effectively assess the students' potential mathematical knowledge, as students are led to solving the question by using the data presented in its statement. Objectives: to analyse a model question that will be present in the new form of evaluation of PISA 2021 regarding the insertion of integrated programming logic with the different literacies. Design: we assume a qualitative study, with exploratory and explanatory research, when it incorporates elements of two investigative designs: bibliographic and documentary research. Setting and Participants: the study was developed based on model questions from PISA 2021 provided by the OECD. Data collection and analysis: the question of PISA 2021 is organised with increasing difficulty and the analysis observes how we understand that the result of questions of a programming logic nature in the Mathematics assessment is moving towards the insertion of a new literacy in the assessed role: Digital Literacy. Results: we highlighted three levels of knowledge of programming logic, with emphasis on the imperative paradigm, used for the design of resolution: recognition of patterns, structures of logical controls and representation by variables. Conclusions: we conclude the students need to be able to assess and use the information critically if they want to turn it into knowledge, recognising patterns and inferring a critical position as to its consequences, aspects that cover what we understand as Digital Literacy. Pisa 2021: conhecimentos de lógica de programação no exame de Matemática RESUMO Contexto: o modelo de questão que estará presente no exame PISA 2021, com a inserção de conhecimentos referentes a lógica de programação na prova que volta a avaliar as diversas literacias, com ênfase na literacia matemática, pode não avaliar efetivamente o potencial conhecimento matemático dos alunos, pois os alunos são conduzidos a resolver os questão utilizando