# 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.