Portal do Ementário

1. Introduzir o uso da lógica de 1a ordem como mecanismo de representação de teorias; 2. Apresentar os conceitos da lógica de 1a ordem que são fundamentais para computação; 3. Desenvolver o paradigma de programação lógica através da linguagem Prolog; 4. Capacitar o aluno para representação do conhecimento através do paradigma da linguagem.

Sintaxe e Semântica do Cálculo de Predicados de Primeira Ordem. Sistemas Dedutivos-Sistemas Formais: Axiomatização do Cálculo de Predicados, Dedução Natural no Cálculo de Predicados, Tableaux Semânticos no Cálculo de Predicados, Teorema de Herbrand, Resolução no Cálculo de Predicados. Lógica e Programação em Lógica.

NOLT, John; ROHATYN, Dennis. “Lógica”. Makron Books, 1991. SOUZA, João Nunes de. “Lógica para Ciência da Computação e Áreas Afins: Uma Introdução Concisa”. 3a ed., ampl. Rio de Janeiro: Elsevier, 2015. ALENCAR FILHO, Edgard. “Iniciação à Lógica Matemática”. 21a Ed. Nobel, 1999.

CERQUEIRA, Luiz Alberto.; OLIVA, Alberto. “Introdução a Lógica”. 3a ed. -. Rio de Janeiro: Zahar, 1982. COPI, Irving Marmer. “Introdução a Lógica”. 3a ed. São Paulo: Mestre Jou, 1981. ZIMBARG, Jacob. “Introdução a lógica matemática. Instituto de Matemática Pura e Aplicada, Rio de Janeiro, 1973. SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. “Lógica para Computação”. 1a Ed. Thomson Pioneira, 2006. HUTH, Michael; RYAN, Mark. “Logic in Computer Science: Modelling and Reasoning about Systems”. 2a Ed. Cambridge University Press, 2004.