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 [2013/07/18 15:47] netto |
||
---|---|---|---|
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==== | ||
+ | ===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.docx|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. === | ||
+ | |||
+ | ===28 de Junho=== | ||
+ | * Revisão dos Artigos | ||
+ | Nesta sexta-feira iremos realizar as correções dos artigos para publicarmos no site as versões finais. | ||
+ | |||
+ | ===5 de Julho=== | ||
+ | ==Primeira Avaliação== | ||
+ | * Artigos | ||
+ | * Álgebra das Proposições | ||
+ | * Funções da Álgebra da Lógica Bivalente | ||
+ | * Realização Técnica | ||
+ | |||
+ | ===12 de Julho=== | ||
+ | * {{:grafos.pdf|Grafos}} |