Orientar o aluno quanto necessidade da utilizao do pensamento lgico no processo de criao de modelos computacionais, proporcionando a ele situaes de aprendizagem onde possa compreender a sintaxe e a semntica de frmulas da lgica de predicados, bem como formalizar argumentos usando a lgica de predicados, provando a sua validade atravs de mtodos sintticos e semnticos.
EMENTA RESUMIDA
A Linguagem da Lgica de Predicados; A Semntica da Lgica de Predicados; Propriedades Semnticas da Lgica de Predicados; Um Sistema Axiomtico na Lgica de Predicados; Tableaux Semnticos na Lgica de Predicados; Resoluo na Lgica de Predicados; Programao Lgica.
EMENTA DETALHADA
A LINGUAGEM DA LGICA DE PREDICADOS Alfabeto Elementos Bsicos da Linguagem Frmulas 1 2 O Princpio da Induo na Lgica de Predicados
A SEMNTICA DA LGICA DE PREDICADOS Interpretao das Variveis, Funes e Predicados Regras Semnticas para Interpretao de Frmulas sem Quantificadores Regras Semnticas para Interpretao de Frmulas com Quantificadores
PROPRIEDADES SEMNTICAS DA LGICA DE PREDICADOS Propriedades Semnticas Satisfatibilidade de Frmulas Validade de Frmulas Implicaes e Equivalncias entre Frmulas
UM SISTEMA AXIOMTICO NA LGICA DE PREDICADOS O Sistema Axiomtico Par Conseqncia Lgica em Par Completude do Sistema Axiomtico Par
TABLEAUX SEMNTICOS NA LGICA DE PREDICADOS Tableaux Semnticos na Lgica de Predicados Conseqncia Lgica em Tableaux Semnticos
RESOLUO NA LGICA DE PREDICADOS Forma Prenex Skolemizao Algoritmo da Unificao Resoluo na Lgica de Predicados Conseqncia Lgica na Resoluo
PROGRAMAO LGICA Sintaxe da Programao Lgica Resoluo-SLD Procedimentos de Refutao-SLD
BIBLIOGRAFIA
Bsica: SOUZA, J oo Nunes de. Lgica para Cincia da Computao. Editora Campus, 2002. BITTENCOURT, Guilherme. Inteligncia Artificial: Ferramentas e Teorias. Editora da UFSC, 1998. ALENCAR FILHO, Edgar de. Iniciao lgica matemtica. 17.ed. So Paulo: Nobel, 1996.
Complementar: BARWISE, Jon; ETCHEMENDY, John. Language, Proof and Logic. Seven Bridges Press, 2000. BURRIS, Stanley N. Logic for Computer Science. Prentice Hall, Inc. 1998. NOLT, J ohn; ROHATYN, Dennis. Lgica. McGraw-Hill, 1991. CASANOVA, M.A.; GIORNO, F.A.; FURTADO, A.L.. Programao em Lgica e a Linguagem Prolog. So Paulo: Edgard Blcher, 1987. 461p. BRATKO, Ivan. Prolog Programming Artificial Intelligence. 3ed. Pearson, 2001.
Aprovado em reunio do Colegiado do Curso de Cincia da Computao. Em ___/____/______
_____________________________________ Coordenador do curso APROVAO