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.