Ir para o conteúdo

Lógica em Computação

Banner

Este curso tem como objetivo propiciar aos alunos 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.

Informações sobre o curso

Tópicos
1.  A Lógica Como Estrutura Do Pensamento
01.01. Objeto de Estudo da Lógica Matemática
01.02. Conceito de Sentença e Proposição
01.03. Conceito de Nome
01.04. Objeto de Estudo do Cálculo Sentencial
01.05. Objeto de Estudo do Cálculo das Proposições
01.06. Proposição Atômica e Molecular
01.07. Conectivos Lógicos e Hierarquia dos Conectivos
01.08. Letras Proposicionais
01.09. Fórmulas Proposicionais
01.10. Propriedade das Proposições Moleculares
01.11. Simbolização de Proposições
01.12. Falácias - Tipologia e reconhecimento

1.  Procedimentos de Decisão
02.1. Tábuas de Verdade (Método)
02.2. Representação das Tabelas pelo Diagrama Sagital
02.3. Tautologia, Contradições, Contingência

1.  Noções de Argumento
03.1. Legitimidade dos Argumentos

1.  Dedução de Prova Formal (Regras de Inferências)
04.01. Modus Ponendo Ponens (Mpp)
04.02. Modus Tollendo Tollens (Mtt)
04.03. Lei dos Silogismos Hipotéticos (Lsh)
04.04. Lei da Simplificação (Ls)
04.05. Lei da Conjunção (Lc)
04.06. Lei do Silogismo Disjuntivo (Lsd)
04.07. Lei da Adição (La)
04.08. Dilema Construtivo (Dc)
04.09. Dilema Destrutivo (Dd)
04.10. Redução ao Absurdo (Ra)
04.11. Leis de Morgan (Ldm)
Bibliografia
  • SOUZA, JOÃO NUNES DE. Lógica para ciência da computação: Uma Introdução Concisa. 2.ed, Rio de Janeiro: Elsevier, 2008;
  • IDOETA, I. V., CAPUANO, F. G., Elementos da Eletrônica Digital, Editora Érica;
  • ASCENCIO, A. F. G.; CAMPOS, E. A. V., Fundamentos da Programação de Computadores, Ed. Pearson, 2010.
  • FARRER, Harry; BECKER, Christiano Gonçalves; FARIA, Eduardo Chaves. Programação estruturada de computadores: algoritmos estruturados. 3.ed. Rio de Janeiro: LTC, 2010;
  • MONTEIRO, M., Introdução à Organização de Computadores, Ed. LTC (TEXTO);
  • SILVA, F. S. C., FINGER, M., MELO, A. C. V., Lógica para Computação, Ed. Thomson, 2006;
  • MANZANO, J. A. N. G., OLIVEIRA, J. F., Algoritmos: Lógica para desenvolvimento de programação, Ed. Érica;
  • 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.

Material de Aula:

Aulas :
  • 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
Lista de Exercícios


Banner

Última atualização: 24 de setembro de 2020

Comentários