Disciplina de Lógica Matemática

Bases para aplicar o aparato da lógica matemática. Conhecimentos gerais sobre a lógica matemática. Funções da álgebra da lógica bivalente. Fórmulas da álgebra da lógica bivalente e cálculos. Plenitude dos sistemas de funções da álgebra da lógica bivalente. Elementos da álgebra da lógica polivalente. Realização técnica das funções da álgebra da lógica bivalente. Minimização de funções da álgebra da lógica bivalente. Problema de recobrimento nas diferentes esferas e o método dos grafos para a sua resolução. Álgebra das proposições e lógica de predicados.

Proporcionar o conhecimento básico sobre lógica matemática e as suas aplicações em geoprocessamento. Desenvolver competência e habilidade para resolução de problemas práticos de integração de dados na área da engenharia.

• SAMPAIO, L.S.C. 2001. A lógica da diferença. Editora UERJ, Rio de Janeiro (Brasil), 172 pp.
• SIROTINSKAYA, S. & STRIEDER, A.J. 2008. Lógica matemática na integração de dados e no modelagem: elementos básicos. Editora UFRGS, Porto Alegre (Brasil), 281 pp.

• BOENTE, A. 2003. Construindo algoritmos computacionais. Brasport Livros e Multimidia Ltda., Rio de Janeiro (Brasil), 199 p.
• REZENDE, S.O. org. 2003. Sistemas inteligentes: fundamentos e aplicações. Editora Manole Ltda. Barueri (Brasil), 525 p.

• Apresentação da Disciplina

• Conceitos Básicos de Lógica Matemática

Modelo de Artigo Científico

Grupos de Trabalho e seus Temas

• Preparação do Seminário

Seminário Lógica Matemática

• Funções da Álgebra da Lógica Bivalente
• Realização Técnica
• Exercícios

• * Revisão dos Artigos

Nesta segunda-feira iremos realizar as correções dos artigos para publicarmos no site as versões finais. Exercícios Realização Técnica

• Álgebra das Proposições

• Álgebra das Proposições
• Funções da Álgebra da Lógica Bivalente
• Realização Técnica

* Grafos * Exercícios sobre Grafos

* Entrega Exercícios

Distribuição dos Temas para seminário final

• Redes de Petri Coloridas
• Lógica Difusa
• Métodos Ágeis - XP
• Métodos Ágeis - Scrum
• Gerência de Projetos

• Aula revisão dos trabalhos

* Seminário Final

*

* Segunda Chamada