This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
logica_matematica [2013/05/11 18:25] netto |
logica_matematica [2013/10/21 11:13] netto |
||
---|---|---|---|
Line 3: | Line 3: | ||
===== Universidade Federal de Pelotas ===== | ===== Universidade Federal de Pelotas ===== | ||
- | ==== Curso Superior de Tecnologia em GeoProcessamento ==== | + | ==== Curso Superior de Tecnologia em Geoprocessamento ==== |
---- | ---- | ||
==== Ementa ==== | ==== Ementa ==== | ||
Line 10: | Line 10: | ||
====Objetivo Geral==== | ====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. | 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=== | ||
+ | |||
+ | * {{:introducao_a_disciplina.pdf|Apresentação da Disciplina}} | ||
+ | |||
+ | * {{:aula1_conhecimentos_logica.pdf|Conceitos Básicos de Lógica Matemática}} | ||
+ | |||
+ | ===21 de Outubro=== | ||
+ | Conforme email enviado, hoje não haverá aula | ||
+ | |||
+ | {{:artigocientifico.pdf|Modelo de Artigo Científico}} | ||
+ | |||
+ | [[Grupos de Trabalho e seus Temas|Grupos de Trabalho e seus Temas]] | ||
+ | |||
+ | ===28 de Outubro=== | ||
+ | * Preparação do Seminário - Ponto Facultativo | ||
+ | |||
+ | ===4 de Novembro=== | ||
+ | |||
+ | {{:aula_3-alg_proposicoes.pdf|Álgebra das Proposições}} | ||
+ | |||
+ | ===11 de Novembro=== | ||
+ | |||
+ | Seminário Lógica Matemática | ||
+ | |||
+ | === 18 de Novembro=== | ||
+ | |||
+ | * {{:tema2-funcoesalgbiv.pdf|Funções da Álgebra da Lógica Bivalente}} | ||
+ | * {{:realizacaotecnica.pdf|Realização Técnica}} | ||
+ | * {{:logmatexec1.docx|Exercícios}} | ||
+ | |||
+ | ===25 de Novembro=== | ||
+ | * Revisão dos Artigos | ||
+ | Nesta segunda-feira iremos realizar as correções dos artigos para publicarmos no site as versões finais. | ||
+ | |||
+ | ===2 de Dezembro=== | ||
+ | ==Primeira Avaliação== | ||
+ | * Artigos | ||
+ | * Álgebra das Proposições | ||
+ | * Funções da Álgebra da Lógica Bivalente | ||
+ | * Realização Técnica | ||
+ | |||
+ | ===9 de Dezembro=== | ||
+ | * {{:grafos.pdf|Grafos}} | ||
+ | |||
+ | ===16 de Dezembro=== | ||
+ | *{{:tg_exercicios.pdf| Exercícios sobre Grafos}} | ||
+ | |||
+ | Entregar até o dia 6/01/2014, em aula. | ||
+ | |||
+ | |||
+ | ===6 de Janeiro === | ||
+ | Exercícios Grafos | ||
+ | |||
+ | === 13 de Janeiro === | ||
+ | Distribuição dos Temas para seminário final | ||
+ | |||
+ | === 20 de Janeiro === | ||
+ | Lógica dos Predicados | ||
+ | === 27 de Janeiro === | ||
+ | Exercícios | ||
+ | |||
+ | === 3 de fevereiro === | ||
+ | Seminário Final | ||
+ | |||
+ | === 10 de fevereiro === | ||
+ | Avaliação Segunda Chamada | ||
+ | |||
+ | === 17 de fevereiro === | ||
+ | Exame | ||