Portal do Ementário

Introduzir o uso da lógica de 1° ordem como mecanismo de representação de teorias. Apresentar os conceitos da lógica de 1ª ordem que são fundamentais para computação.

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.

C. MORTARI,''Introdução à Lógica'', Editora Unesp-2001. J.N. de Souza, Lógica para Ciência da Computação. 2ª. Edição, Elsevier, Rio de Janeiro, 2008. SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. São Paulo: Thomson, 2006

SMULLYAN, Raymond M. First-order logic. Berlim: Springer-Verlag, 1971.  HUTH, Michael; RYAN, Mark. Logic in computer science: modelling and reasoning about systems. 2nd ed. Cambridge [U.K.]; New York: Cambridge University Press, 2004 LLOYD, J. W. Foundations of logic programming. 2nd, extended ed. - Berlin: Springer, c1987. CHANG, Chin-Liang; LEE, Richard Char-Tung. Symbolic logic and mechanical theorem proving. San Diego: Academic Press, 1987.  GABBAY, Dov M.; ROBINSON, J. A. Handbook of logic in artificial intelligence and logic programming. Oxford: Clarendon Press, 1993. KLEENE, Stephen Cole. Introduction to metamathematics. Groningen: Wolters-Noordhoff; Amsterdam: North-Holland, c1971. N.C.A. DA COSTA, ‘’Ensaio sobre os fundamentos da Lógica’’, São Paulo, Editora Hucitec/Edusp,2008. MANNA, Zohar.; WALDINGER, Richard. The logical basis for computer programming. Reading, Mass.: Addison-Wesley, c1990.  J. GALLIER, ‘’Logic for Computer science:Fondations of automatic Theorem Proving’’, Dover Publications , 2014. COPI, Irving Marmer. Introdução a lógica. 3. ed. São Paulo: Mestre Jou, 1981. SUPPES, Patrick. Primer curso de logica matemática. Barcelona: Reverté, 1968