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:33] netto |
logica_matematica [2014/08/26 14:51] 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 13: | Line 13: | ||
====BIBLIOGRAFIA==== | ====BIBLIOGRAFIA==== | ||
- | ===__Básica__=== | + | ===Básica=== |
- | ==SAMPAIO, L.S.C. 2001. A lógica da diferença. Editora UERJ, Rio de Janeiro (Brasil), 172 pp.== | + | * 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.== | + | * 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. | ||
- | ===__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==== | ====Material Utilizado nas Aulas==== | ||
- | ===10 de Maio=== | ||
+ | ===27/08=== | ||
+ | |||
+ | * {{:introducao_a_disciplina.pdf|Apresentação da Disciplina}} | ||
+ | |||
+ | * {{:aula1_conhecimentos_logica.pdf|Conceitos Básicos de Lógica Matemática}} | ||
+ | |||
+ | ===3/09=== | ||
+ | |||
+ | {{:artigocientifico.pdf|Modelo de Artigo Científico}} | ||
+ | |||
+ | [[Grupos de Trabalho e seus Temas|Grupos de Trabalho e seus Temas]] | ||
+ | |||
+ | ===10/09=== | ||
+ | * Preparação do Seminário | ||
+ | |||
+ | ===17/09=== | ||
+ | |||
+ | Seminário Lógica Matemática | ||
+ | |||
+ | |||
+ | ===24/09=== | ||
+ | |||
+ | |||
+ | * {{:tema2-funcoesalgbiv.pdf|Funções da Álgebra da Lógica Bivalente}} | ||
+ | * {{:realizacaotecnica.pdf|Realização Técnica}} | ||
+ | * {{:logmatexec1.docx|Exercícios}} | ||
+ | |||
+ | ===01/10=== | ||
+ | ** 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 | ||
+ | |||
+ | |||
+ | ===08/10=== | ||
+ | |||
+ | * {{:aula_3-alg_proposicoes.pdf|Álgebra das Proposições}} | ||
+ | |||
+ | |||
+ | ===15/10=== | ||
+ | * Exercícios | ||
+ | |||
+ | === 22/10 === | ||
+ | ==Segunda Avaliação== | ||
+ | * Álgebra das Proposições | ||
+ | * Funções da Álgebra da Lógica Bivalente | ||
+ | * Realização Técnica | ||
+ | |||
+ | === 29/10 === | ||
+ | |||
+ | * {{:grafos.pdf|Grafos}} | ||
+ | *{{:tg_exercicios.pdf| Exercícios sobre Grafos}} | ||
+ | |||
+ | |||
+ | === 05/11 === | ||
+ | |||
+ | |||
+ | 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 | ||
+ | |||
+ | |||
+ | === 12/11 === | ||
+ | |||
+ | * {{:grafos.pdf|Grafos}} | ||
+ | * {{:tg_exercicios.pdf| Exercícios sobre Grafos}} | ||
+ | |||
+ | |||
+ | === 19/11 === | ||
+ | * Entrega Exercícios | ||
+ | |||
+ | === 26/11 === | ||
+ | * | ||
+ | |||
+ | === 04/12 === | ||
+ | * | ||
+ | |||
+ | === 11/12 === | ||
+ | * Segunda Chamada | ||