Mapa Mental - Lógica e Programação

Prévia do material em texto

Conectivos Lógicos Passagem de Parâmetros Conjunção (e) é verdadeira Parâmetros são dados enviados de somente se todas as um módulo para outro para proposições forem processamento específico. verdadeiras. Passagem por valor copia Disjunção (ou) é verdadeira conteúdo, evitando alterações nas se pelo menos uma das variáveis originais. proposições for verdadeira. Funções podem receber múltiplos Negação inverte valor parâmetros, não se limitando a lógico da proposição, apenas um. representada pelo símbolo ~. Parâmetros também são chamados de Condicional (se... então) e argumentos no contexto da chamada bicondicional (se e somente de funções. se) conectam proposições com relações específicas. Lógica Proposições Lógicas Modularização de Algoritmos e Sentenças declarativas que Divisão do algoritmo em submódulos possuem valor verdadeiro ou facilita desenvolvimento e a falso exclusivo. Representadas por letras Programação manutenção do código. Submódulos recebem parâmetros de minúsculas como p, q, r para entrada e podem retornar resultados facilitar a formalização. ao módulo principal. Não podem assumir valores Variáveis locais de submódulos são verdadeiro e falso isoladas e não acessíveis simultaneamente, respeitando diretamente pelo programa principal. a não contradição. Modularização melhora a legibilidade Podem ser combinadas usando e permite focar em partes conectivos lógicos para Lógica Proposicional Aplicada específicas do problema. formar proposições compostas. Representa conhecimento e raciocínio por meio de sentenças e inferências formais. Tabelas Verdade Valida argumentos verificando a consistência e validade das Vetores e Matrizes Apresentam todas as proposições envolvidas. Vetores armazenam múltiplos combinações possíveis dos Base para construção de algoritmos que valores do mesmo tipo em uma valores lógicos das tomam decisões lógicas e controlam única estrutura linear. variáveis. fluxos. Matrizes são vetores Utilizadas para determinar Utiliza operadores e regras para bidimensionais, valor lógico de manipular e combinar proposições em representando dados em proposições compostas de sistemas computacionais. linhas e colunas. forma sistemática. Indices numéricos Fundamentais para validar identificam posições argumentos e verificar a específicas dentro de consistência lógica. vetores e matrizes. Consideram apenas Facilitam armazenamento e valores Verdadeiro e acesso organizado a grandes Falso, sem intermediários. volumes de dados relacionados.