User Tools

Site Tools


logica_matematica

This is an old revision of the document!


Disciplina de Lógica Matemática

Universidade Federal de Pelotas

Curso Superior de Tecnologia em Geoprocessamento


Ementa

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.


Objetivo Geral

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.


BIBLIOGRAFIA

Básica

  • 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.

Complementar

  • 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.

Material Utilizado nas Aulas

7 de Outubro

Calourada

14 de Outubro

21 de Outubro

28 de Outubro

  • Preparação do Seminário - Ponto Facultativo

4 de Novembro

11 de Novembro

Seminário Lógica Matemática

18 de Novembro

  • CIC

25 de Novembro

Seminário Lógica Matemática

2 de Dezembro

  • Revisão dos Artigos

Nesta segunda-feira iremos realizar as correções dos artigos para publicarmos no site as versões finais.

9 de Dezembro

  • Exercícios Realização Técnica

16 de Dezembro

* Exercícios Realização Técnica

6 de Janeiro

13 de Janeiro

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

20 de Janeiro

* Grafos * Exercícios sobre Grafos

Entregar até o dia 27/01/2014, em aula. Distribuição dos Temas para seminário final

27 de Janeiro

Exercícios

* Redes de Petri Coloridas

* Métodos Ágeis - XP

* Métodos Ágeis - Scrum

* Gerência de Projetos

3 de fevereiro

Seminário Final

10 de fevereiro

Avaliação Segunda Chamada

17 de fevereiro

Exame

logica_matematica.1390845275.txt.gz · Last modified: 2018/09/19 11:45 (external edit)