Nome da Atividade
LÓGICA MATEMÁTICA
CÓDIGO
15000563
Carga Horária
60 horas
Tipo de Atividade
DISCIPLINA
Periodicidade
Semestral
Modalidade
PRESENCIAL
Unidade responsável
CARGA HORÁRIA TEÓRICA
4
FREQUÊNCIA APROVAÇÃO
75%
CARGA HORÁRIA OBRIGATÓRIA
4
CRÉDITOS
4
NOTA MÉDIA APROVAÇÃO
7

Ementa

Lógica proposicional e lógica dos predicados: conceitos, notação, fórmulas, tabelas-verdade. Álgebra Booleana. Regras de inferência. Teoria dos conjuntos: definições, representação dos conjuntos, relações, funções e operações. Introdução à lógica Fuzzy.

Objetivos

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.

Conteúdo Programático

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

Bibliografia

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.

Página gerada em 28/03/2024 19:35:23 (consulta levou 0.116497s)