DC-UFRPE/Licenciatura Plena em Computação/Disciplinas Optativas/Lógica e Programação Lógica

Programa da Disciplina

Nome: Lógica e Programação Lógica	Código: 06244
Departamento: Departamento de Computação	Área: Fundamento Computacional
Carga-horária total: 60 horas	Créditos: 4
Carga-horária semanal: 4 horas (teóricas: 2; práticas: 2; EAD*: 0)

Ementa:

Lógicas proposicional e de predicados: sintaxe X semântica, corretude, derivação. Lógica de Horn, Modelos de Herbrand, Unificação, Resolução (SLD). Programação Lógica: Negação, Banco de Dados Lógicos, Estruturas de Dados, Sistemas Especialistas, Busca.

Conteúdo Programático

1. Preliminares conceituais;
2. Sintaxe e semântica, corretude;
3. Satisfatibilidade: resolução e outros métodos;
4. Estruturas de primeira ordem: mapeamentos, subestruturas
5. Resolvendo a satisfatibilidade: resolução com unificação
6. Teorias de 1a ordem: corretude, completude, incompletude
7. Lógica de Horn e Programação em Lógica
8. Lógica multivalorada e paraconsistente
9. Lógicas não monôtonas: default, modal e temporal
10. Resolução de exercícios

Turmas

Bibliografia

1. Nilsson, Ulf. and Luszynski, Jan Ma. Logic, Programming and Prolog. John Wiley and Sons. 2nd Edition, 2000.
2. Gallier, J. Logic for Computer Science. John Wiley and Sons, 1987.
3. Clocksin, W.F. and Mellish, C.S. Programming in Prolog. Springer-Verlag. 4th Edition. 1994
4. Barwise, J. and Etchemendy, J. Language, Proof and Logic. Seven Bridges Press, 2000.
5. van Dalen, D. Logic and Structure. Springer, 1994.
6. Cormen, Thomas H. et. al. Algoritmos: Teoria e Prática. Editora Campus, 2002.