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

10 de Maio

17 de Maio

24 de Maio

31 de Maio

Ponto Facultativo

7 de Junho

Seminário Lógica Matemática

14 de Junho

21 de Junho

Cartaz

No dia 21 de junho, às 18h, na Faculdade Arquitetura e Urbanismo da UFPel, ocorre a palestra Modelagem Urbana, Cidades Digitais e Pesquisa em Arquitetura, Patrimônio e Sistemas Urbanos, com o professor Otávio Martins Peres. O palestrante é arquiteto e urbanista pela Universidade Federal do Rio Grande do Sul (2007), Especialista em Gestão Regional de Recursos Hídricos pela UFPel (2009), Mestre em Arquitetura e Urbanismo PROGRAU-UFPel (2010); Professor assistente na Faculdade de Arquitetura e Urbanismo da UFPel; Consultor autônomo em atividades de arquitetura e urbanismo. Atua principalmente na linha de Sistemas Configuracionais Urbanos com ênfase nas áreas de projeto, planejamento e modelagem; contemporaneidade e ecologia urbana.

Haverá um lista de presença de nossa disciplina no local.

28 de Junho

  • Revisão dos Artigos

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

5 de Julho

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

12 de Julho

19 de julho

Entregar até o dia 26/07/2013, em aula. Os exercícios podem ser entregues em grupos de no máximo 3 alunos.

26 de julho

Gestão de projectos (português europeu) ou gerência de projetos (português brasileiro), gerenciamento de projetos ou ainda administração de projetos é a área da administração aplicada de conhecimentos, habilidades e técnicas na elaboração de atividades relacionadas para atingir um conjunto de objetivos pré-definidos, num certo prazo, com um certo custo e qualidade, através da mobilização de recursos técnicos e humanos. Esta é uma oportunidade de ampliar a capacidade de trabalho bem como a empregabilidade.

http://mundogeo.com/blog/2010/08/05/onde-estao-os-projetos/

01 de agosto

16 de Agosto

23 de Agosto

Seminário Final

30 de Agosto

Matricula primeira segunda terceira media
11210001 9 8 8 8,3
11200799 10 9 10 9,7
11200415 10 9 10 9,7
10205139 9 9 9,5 9,2
10205384 8 5 8 7,0
11209682 8 8,5 9,5 8,7
11209684 10 7,5 10 9,2
11210009 6 8,5 9 7,8
10205383 6 7 9 7,3
10205144 9 7,5 9,5 8,7
10205146 9 9 9,5 9,2
11200123 6 8 9 7,7
11209683 9 9 9 9,0
11200128 9 9 9 9,0
10205151 9 9,5 9 9,2

6 de setembro

Exame

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