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 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.
• 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 | 2024 / 2 | 15 | 8 |
Geoprocessamento (Tecnológico) Horários
|
DANIEL MUNARI VILCHEZ PALOMINO Professor responsável pela turma |