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:28] netto |
logica_matematica [2014/04/28 15:00] 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 | + | ===Complementar=== |
- | BOENTE, A. 2003. Construindo algoritmos computacionais. Brasport Livros e Multimidia Ltda., Rio de Janeiro (Brasil), 199 p. | + | * 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. | + | * REZENDE, S.O. org. 2003. Sistemas inteligentes: fundamentos e aplicações. Editora Manole Ltda. Barueri (Brasil), 525 p. |
+ | ---- | ||
+ | |||
+ | ====Material Utilizado nas Aulas==== | ||
+ | ===24/03=== | ||
+ | Calourada | ||
+ | |||
+ | ===31/03=== | ||
+ | |||
+ | * {{:introducao_a_disciplina.pdf|Apresentação da Disciplina}} | ||
+ | |||
+ | * {{:aula1_conhecimentos_logica.pdf|Conceitos Básicos de Lógica Matemática}} | ||
+ | |||
+ | ===7/04=== | ||
+ | |||
+ | {{:artigocientifico.pdf|Modelo de Artigo Científico}} | ||
+ | |||
+ | [[Grupos de Trabalho e seus Temas|Grupos de Trabalho e seus Temas]] | ||
+ | |||
+ | ===14/04=== | ||
+ | * Preparação do Seminário | ||
+ | |||
+ | ===21/04=== | ||
+ | |||
+ | Feriado | ||
+ | |||
+ | |||
+ | ===28/04=== | ||
+ | |||
+ | Seminário Lógica Matemática | ||
+ | |||
+ | |||
+ | ===5/05=== | ||
+ | |||
+ | * Revisão dos Artigos | ||
+ | Nesta segunda-feira iremos realizar as correções dos artigos para publicarmos no site as versões finais. | ||
+ | * {{:tema2-funcoesalgbiv.pdf|Funções da Álgebra da Lógica Bivalente}} | ||
+ | * {{:realizacaotecnica.pdf|Realização Técnica}} | ||
+ | * {{:logmatexec1.docx|Exercícios}} | ||
+ | |||
+ | ===12/05=== | ||
+ | * Exercícios Realização Técnica | ||
+ | |||
+ | |||
+ | ===19/05=== | ||
+ | * Exercícios Realização Técnica | ||
+ | |||
+ | |||
+ | * {{:aula_3-alg_proposicoes.pdf|Álgebra das Proposições}} | ||
+ | |||
+ | |||
+ | ===26/05=== | ||
+ | * {{:aula_3-alg_proposicoes.pdf|Álgebra das Proposições}} | ||
+ | |||
+ | === 02/06 === | ||
+ | ==Segunda Avaliação== | ||
+ | * Artigos | ||
+ | * Álgebra das Proposições | ||
+ | * Funções da Álgebra da Lógica Bivalente | ||
+ | * Realização Técnica | ||
+ | |||
+ | |||
+ | === 09/06 === | ||
+ | |||
+ | * {{:grafos.pdf|Grafos}} | ||
+ | *{{:tg_exercicios.pdf| Exercícios sobre Grafos}} | ||
+ | |||
+ | Entregar até o dia 27/01/2014, em aula. | ||
+ | |||
+ | === 16/06 === | ||
+ | Exercícios Grafos | ||
+ | |||
+ | Distribuição dos Temas para seminário final | ||
+ | * Redes de Petri Coloridas | ||
+ | * Métodos Ágeis - XP | ||
+ | * Métodos Ágeis - Scrum | ||
+ | * Gerência de Projetos | ||
+ | |||
+ | === 23/06 === | ||
+ | Preparação seminário final | ||
+ | |||
+ | === 30/06 === | ||
+ | Revisão material para seminário final | ||
+ | |||
+ | === 07/07 === | ||
+ | Seminário Final | ||
+ | |||
+ | === 14/07 === | ||
+ | Avaliação Segunda Chamada | ||
+ | === 21/07 === |