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.

Objetivos:

Conteúdo Programático

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

Turmas

Bibliografia

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