User Tools

Site Tools


logica_matematica

Differences

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

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Next revision Both sides next revision
logica_matematica [2013/05/11 19:27]
netto
logica_matematica [2014/04/07 11:14]
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 20: Line 20:
   * 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==== ====Material Utilizado nas Aulas====
-===10 de Maio===+===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. 
 +Distribuição dos Temas para seminário final 
 + 
 +=== 16/06 === 
 +Exercícios 
 + 
 + * Redes de Petri Coloridas 
 + 
 + * Métodos Ágeis - XP 
 + 
 + * Métodos Ágeis - Scrum 
 + 
 + * Gerência de Projetos
  
-  * {{:​introducao_a_disciplina.pdf|Apresentação da Disciplina(Arquivo PDF)}}+=== 3 de fevereiro === 
 +Seminário Final
  
-  * {{:​aula1_conhecimentos_logica.pdf|Conceitos Básicos ​de Lógica Matemática(Arquivo PDF)}}+=== 10 de fevereiro === 
 +Avaliação Segunda Chamada
  
 +=== 17 de fevereiro ===
 +Exame
logica_matematica.txt · Last modified: 2018/09/19 11:46 (external edit)