Nome da Disciplina
LÓGICA MATEMÁTICA
CÓDIGO
15000563
Carga Horária
60 horas
Atividade Complementar
Não
Periodicidade
Semestral
Modalidade
PRESENCIAL
Unidade responsável
CARGA HORÁRIA OBRIGATÓRIA
4
CARGA HORÁRIA TEÓRICA
4
CRÉDITOS
4
FREQUÊNCIA APROVAÇÃO
75%
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.

Turmas Ofertadas

Turma Período Vagas Matriculados Curso / Horários Professores
T1 2019 / 2 25 21 Geoprocessamento (Tecnológico)
Horários
ManhãTardeNoite
SEG19:00 - 19:50
19:50 - 20:40
20:40 - 21:30
21:30 - 22:20
DANIEL MUNARI VILCHEZ PALOMINO
Professor responsável pela turma

Disciplinas Equivalentes

Disciplina Curso
LÓGICA MATEMÁTICA Geoprocessamento (Tecnológico)

Página gerada em 14/11/2019 19:59:21 (consulta levou 0.167541s)