Lógica Aplicada à Computação

  • Curso: Tecnologia em Sistemas para Internet
  • Disciplina: Lógica Aplicada à Computação
  • Carga-Horária: 60h (80h/a) Pré-Requisito(s): — Número de créditos: 4

EMENTA

Lógica proposicional. Lógica de predicados. Introdução à programação em lógica. Introdução a lógicas não clássicas.

PROGRAMA

Objetivos

Familiarizar os alunos com a teoria e meta-teoria da lógica clássica proposicional e da lógica clássica de primeira ordem (sintaxe, semântica, teoria da demonstração, método da resolução), bem como suas variadas aplicações em computação.

Bases Científico-Tecnológicas (Conteúdos)

  1. Revisão dos pré-requisitos técnicos.
  2. O lugar da Lógica na Computação.
  3. Prolog
  4. Sintaxe da Lógica Clássica Proposicional (LCP).
  5. Dedução Natural para LCP.
  6. Tableaux para LCP.
  7. Semântica para LCP.
  8. Meta-propriedades, meta-resultados, relações de consequência associados a LCP.
  9. Aplicações à representação e análise da linguagem natural e argumentações.
  10. Sintaxe da Lógica Clássica de Primeira Ordem (LCPO).
  11. Dedução Natural para LCPO.
  12. Construção heurística de contra modelos para LCPO.
  13. Semântica para LCPO.
  14. Meta-propriedades, meta-resultados, relações de consequência à associados à LCPO.
  15. Aplicações à representação e análise de linguagens e teorias formais.
  16. Formas normais, método de resolução, unificação, aplicações.
  17. Problemas de decisão.

Procedimentos Metodológicos

Serão desenvolvidos por meio de aulas expositivas teórico-práticos, seminários, relatórios, integrando com os diferentes saberes.

Recursos Didáticos

Quadro branco e pincel, projetor multimídia, computador, TV/DVD e vídeos.

Avaliação

• Avaliação dos conhecimentos adquiridos pela disciplina. • Trabalhos realizados em grupo e individual por meio de aulas práticas ou teóricas. • Relatórios de pesquisa.

Bibliografia Básica

  1. HEGENBERG L. Lógica. 3. ed. Rio de Janeiro: Forense Universitária, 2012.
    
  2. BOOLOS, G. S.; JEFFREY, R. C.; BURGESS, J P. Computabilidade e Lógica. São Paulo: Unesp, 2012.
    
  3. SOUZA, J. N. Lógica para Ciência da Computação: uma introdução concisa. 2. ed. Rio de Janeiro: Elsevier, 2008.
    

Bibliografia Complementar

  1. SMULLYAN, R. M. Lógica de Primeira Ordem. São Paulo: Unesp, 2009.
    
  2. GERSTING J. L. Fundamentos matemáticos para a ciência da computação: um tratamento moderno de matemática
    discreta. 5. ed. Rio de Janeiro: LTC, 2004.
    
  3. FLACH, P. Simply Logical: intelligent reasoning by example. United Kingdom, University of Bristol, 2007. Disponível em
    https://www.cs.bris.ac.uk/~flach/SL/SL.pdf.
    
  4. EVANS, D. Introduction to Computing: explorations in language, logic and machines. University of Virgina, 2011.
    Disponível em http://www.computingbook.org/FullText.pdf.
    
  5. WOODCOCK, J.; DAVIES, J. Using Z: Specification, Refinement and Proof. Prentice Hall, 2016. Disponível em:
    http://www.cs.cmu.edu/~15819/zedbook.pdf.