Institutional PortalUFPEL

Objetivo Geral:

Objetivo(s) geral(ais):
Proporcionar o conhecimento sobre os conceitos básicos de lógica matemática.

Objetivo(s) específico(s):
Desenvolver competência para resolução de problemas práticos de integração de dados na área da engenharia e geoprocessamento através das ferramentas da lógica.

• Lógica proposicional.
• Lógica dos predicados.
• Álgebra booleana.
• Teoria dos conjuntos.
• Lógica Fuzzy.

Bibliografia Básica:

• ALENCAR FILHO, E. de. Iniciação a lógica matemática. São Paulo: Nobel, 1995.
• SAMPAIO, L. S. C. A lógica da diferença. Editora UERJ, Rio de Janeiro (Brasil), 2001. 172p.
• SIROTINSKAYA, S.; STRIEDER, A. J. Lógica matemática na integração de dados e na modelagem: elementos básicos. Editora UFRGS, Porto Alegre (Brasil), 2008. 281p.

Bibliografia Complementar:

• BOENTE, A. Construindo algoritmos computacionais. Brasport Livros e Multimídia Ltda., Rio de Janeiro (Brasil), 2003. 199p.
• CARRION, R.; COSTA, N. C. A. da. Introdução a lógica elementar com o símbolo de Hilbert. Porto Alegre: Ed. da UFRGS, 1988. 66 p. (Nova serie livro-texto; 3).
• MACHADO, N. J. Logica, conjuntos e funções. [São Paulo]: Scipione, 1988. 240 p. (Matemática; 1). ISBN 8526207962.
• NOLT, J.; ROHATYN, D. Lógica. São Paulo: McGraw-Hill, 1991. 596p. (Coleção Schaum).
• REZENDE, S. O. (org.) Sistemas inteligentes: fundamentos e aplicações. Editora Manole Ltda. Barueri (Brasil), 2003. 525p.