Fundamentos de Lógica Matemática

Objetivos

O objetivo desta disciplina consiste capacitar os estudantes a utilizar a linguagem da lógica matemática e suas propriedades na representação de conhecimento e na dedução a partir de regras de inferência.

Ementa

1. Lógica proposicional: introdução, conceitos básicos e operadores lógicos.
2. Tabelas-verdade: interpretação, tautologias e contradições lógicas.
3. Consequência e equivalência lógicas.
4. Álgebra proposicional.
5. Inferência lógica.
6. Técnicas dedutivas.
7. Prova por resolução.
8. Lógica de predicados: introdução e conceitos básicos.

Bibliografia

ALENCAR FILHO, E. Iniciação à Lógica Matemática. São Paulo: Nobel, 2002.

DAGHLIAN, J. Lógica e Álgebra de Boole. 4. ed. São Paulo: Atlas, 2009.

NICOLETTI, M. C. A Cartilha da Lógica. 2. ed. São Carlos: EdUFSCar, 2009.

SOUZA, J. N. Lógica para Ciência da Computação. 2. ed. Rio de Janeiro, Elsevier, 2008.

BISPO, C. A. F.; CASTANHEIRA, L. B.; FILHO, O. M. S. Introdução à Lógica Matemática. São Paulo: Cengage Learning, 2011.

HILBERT, D.; ACKERMANN, W. Principles of Mathematical Logic. 2. ed. New York: Chelsea Publishing Company, 1999.

RAUTENBERG, W. A Concise Introduction to Mathematical Logic. 3. ed. Berlin:Springer, 2010.

SILVA, F. S. C.; FINGER, M.; MELO, A. C. V. Lógica para Computação. São Paulo: Thomson Learning, 2006.

NOLT, J.; ROHATYN, D. Lógica. São Paulo: McGraw-Hill, 1991.

LEVADA, A. L. M. Fundamentos de Lógica Matemática, Coleção UAB-UFSCar. Disponível em: http://livresaber.sead.ufscar.br:8080/jspui/handle/123456789/2781