Lógica em Computação

.::.

Objetivo

Criar uma linguagem simbólica através do uso de proporções e dos conectivos lógicos, possibilitando ao aluno a estruturação do raciocínio. Dentro da lógica computacional, bem como criar uma base lógico-matemática para posterior utilização na Álgebra dos Circuitos.

 

 

Tópicos

  1. Consistência. Verdades em sentenças.
  2. Consistência e validade. Construção de sentenças complexas.UCP-Logo-2
  3. Análise lógica.
  4. Tabela de sentença.
  5. Cálculo proporcional.
  6. Designadores e identidade.
  7. Quantificadores.
  8. Lógica de predicados.
  9. Horizontes da Lógica.

Bibliografia Básica:

  1. SOUZA, JOÃO NUNES DE. Lógica para ciência da computação: Uma Introdução Concisa. 2.ed, Rio de Janeiro: Elsevier, 2008;
  2. IDOETA, I. V., CAPUANO, F. G., Elementos da Eletrônica Digital, Editora Érica;
  3. ASCENCIO, A. F. G.; CAMPOS, E. A. V., Fundamentos da Programação de Computadores, Ed. Pearson, 2010.

Bibliografia Complementar:

  1. FARRER, Harry; BECKER, Christiano Gonçalves; FARIA, Eduardo Chaves. Programação estruturada de computadores: algoritmos estruturados. 3.ed. Rio de Janeiro: LTC, 2010;
  2. MONTEIRO, M., Introdução à Organização de Computadores, Ed. LTC (TEXTO);
  3. SILVA, F. S. C., FINGER, M., MELO, A. C. V., Lógica para Computação, Ed. Thomson, 2006;
  4. MANZANO, J. A. N. G., OLIVEIRA, J. F., Algoritmos: Lógica para desenvolvimento de programação, Ed. Érica;
  5. GERSTING, J. L. Lógica para Ciência da Computação. 5.ed., Tradução Valéria de Magalhães Lorio, Rio de Janeiro, Ed. LTC, 2010.

Conteúdo Programático

  1. A Lógica Como Estrutura Do Pensamento
    1. Objeto de Estudo da Lógica Matemática
    2. Conceito de Sentença e Proposição
    3. Conceito de Nome
    4. Objeto de Estudo do Cálculo Sentencial
    5. Objeto de Estudo do Cálculo das Proposições
    6. Proposição Atômica e Molecular
    7. Conectivos Lógicos e Hierarquia dos Conectivos
    8. Letras Proposicionais
    9. Fórmulas Proposicionais
    10. Propriedade das Proposições Moleculares
    11. Simbolização de Proposições
    12. Falácias – Tipologia e reconhecimento
  2.  Procedimentos de Decisão
    1. Tábuas de Verdade (Método)
    2. Representação das Tabelas pelo Diagrama Sagital
    3. Tautologia, Contradições, Contingência
  3. Noções de Argumento
    1. Legitimidade dos Argumentos
  4. Dedução de Prova Formal (Regras de Inferências)
    1. Modus Ponendo Ponens (Mpp)
    2. Modus Tollendo Tollens (Mtt)
    3. Lei dos Silogismos Hipotéticos (Lsh)
    4. Lei da Simplificação (Ls)
    5. Lei da Conjunção (Lc)
    6. Lei do Silogismo Disjuntivo (Lsd)
    7. Lei da Adição (La)
    8. Dilema Construtivo (Dc)
    9. Dilema Destrutivo (Dd)
    10. Redução ao Absurdo (Ra)
    11. Leis de Morgan (Ldm)

Material de Aula

  • A Lógica como estrutura do pensamento
    • Apresentação do Curso – PDF
    • Introdução e Conceitos – PDF
  • Procedimentos de Decisão
    • Calculo Proposicional – PDF (09/04/2018)
    • Calculo Proposicional – Equivalências e Inferência – PDF (09/04/2018)
      • Tabela de Inferências e Equivalências – PDF (Desatualizado)
  • Dedução e Prova Formal  – PDF

Exercícios: