Differences

This shows you the differences between two versions of the page.

--- logica_matematica [2013/05/11 18:20]
netto created
+++ logica_matematica [2013/06/18 15:03]
netto [Material Utilizado nas Aulas]
@@ Line 4: / Line 4: @@
 ==== 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===
+  * {{:introducao_a_disciplina.pdf|Apresentação da Disciplina}}
+  * {{:aula1_conhecimentos_logica.pdf|Conceitos Básicos de Lógica Matemática}}
+===17 de Maio===
+{{:artigocientifico.pdf|Modelo de Artigo Científico}}
+[[Grupos de Trabalho e seus Temas|Grupos de Trabalho e seus Temas]]
+===24 de Maio===
+{{:aula_3-alg_proposicoes.pdf|Álgebra das Proposições}}
+===31 de Maio===
+Ponto Facultativo
+===7 de Junho===
+Seminário Lógica Matemática
+=== 14 de Junho===
+  * {{:tema2-funcoesalgbiv.pdf|Funções da Álgebra da Lógica Bivalente}}
+  * {{:realizacaotecnica.pdf|Realização Técnica}}
+  * {{:logmatexec1.pdf|Exercícios}}
+===21 de Junho===
+{{:cartaz-ciclo-de-palestras-otavio.jpg?200 |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. ===

netto

User Tools

Site Tools

Differences

Page Tools