Portal do Ementário

Introduzir o uso da lógica como mecanismo de representação de teorias. Apresentar os conceitos da lógica de primeira ordem que são fundamentais para computação. Aplicar os fundamentos da lógica na solução de problemas.

Cálculo proposicional: sintaxe e semântica. Sistemas dedutivos. Cálculo de predicados de primeira ordem: introdução à sintaxe e semântica.

MORTARI, C. Introdução à Lógica, Editora Unesp, 2001. MARTINS, M. Lógica, uma abordagem introdutória. Ciência Moderna, Rio de Janeiro, 2012. ENDERTON, H. B. A mathematical introduction to logic, 2nd. ed., Academic Press, San Diego, 2001.

MENDELSON, Elliott. Introduction to mathematical logic. 2. ed. New York: Van Nostrand, 1979 TARSKI, Alfred. Introduction to logic and to the methodology of deductive sciences. 3. ed. New York: A Galaxy Book, 1965 HODGES, Wilfrid. Logic: an introduction to elementary logic. 2. ed. London: Peguin Books, 2001 SOUZA, João Nunes de. Lógica para Ciência da Computação. 2. ed. Rio de Janeiro: Elsevier, 2008. SMULLYAN, Raymond M. First-order logic. Berlim: Springer-Verlag, 1971 SMULLYAN, Raymond M. What is the name of this book?: the riddle of Dracula and other logical puzzles. New York: Simon e Schuster, 1978. HAACK, Susan. Filosofia das lógicas. São Paulo: UNESP, 2002. ABE, Jair M.; SCALZITTI, Alexandre.; SILVA FILHO, João I. da. Introdução a lógica para a ciência da computação. 2. ed. SP: Arte & Ciência, 2002 SILVA, Flávio Soares Corrêa da; FINGER, Marcelo; MELO, Ana Cristina Vieira de. Lógica para computação. São Paulo: Thomson, 2006 HEGENBERG, Leônidas. Lógica: o cálculo sentencial. 2. ed. São Paulo: EPU, 1977. HEGENBERG, Leônidas. Lógica: simbolização e dedução. São Paulo: EPU, 1975.