Matematica Discreta: mudanças entre as edições

De Pontão Nós Digitais
Ir para navegaçãoIr para pesquisar
(→‎Conteudo aproximado: link pra eq logistica)
 
(15 revisões intermediárias por 2 usuários não estão sendo mostradas)
Linha 5: Linha 5:
* Instrutor: prof. [http://www.lems.brown.edu/~rfabbri Ricardo Fabbri], Ph.D.
* Instrutor: prof. [http://www.lems.brown.edu/~rfabbri Ricardo Fabbri], Ph.D.
* Periodo: 2o. Semestre de 2012, voltado ao 4o. periodo de Engenharia da Computacao
* Periodo: 2o. Semestre de 2012, voltado ao 4o. periodo de Engenharia da Computacao
* Tercas 2:20pm-5pm e Quintas 1:20pm-4pm (horario pendente), sala ??
* Tercas 2:20pm-5pm e Quintas 1:20pm-4pm (temporariamente Quartas 2:20-4pm), sala 213
 
** '''Temporariamente:''' Por um acordo assinado pelos alunos, as aulas de quinta-feira serao ministradas `as quartas-feiras das 2:20pm-4pm, em caracter excepcional,
ate o termino das aulas da pos-graduacao (10/Dezembro), devido a um conflito imprevisto de horario. A sala permanece a mesma.


=== Pre-requisitos ===
=== Pre-requisitos ===
Linha 17: Linha 18:
* Teoria de conjuntos, Relacoes
* Teoria de conjuntos, Relacoes
* Inducao  
* Inducao  
* Recursao
* Recursao, Co-Recursao
** Visao geral sobre Sistemas Dinamicos Discretos http://mathworld.wolfram.com/LogisticMap.html


== Recursos principais ==
== Recursos principais ==
Linha 25: Linha 27:
=== Bibliografia ===
=== Bibliografia ===
* '''Livro principal: [http://books.google.com.br/books?id=JdfuAAAAMAAJ&q=chapter+zero+carol+schumacher&dq=chapter+zero+carol+schumacher&hl=en&sa=X&ei=aTiYULX5Ksbe0QHF24GwDQ&ved=0CCkQ6AEwAA "Chapter Zero", Carol Schumacher]'''. Melhor livro para aprender os conceitos. Nao tao bom para exercicios.  http://ecx.images-amazon.com/images/I/41111TZRHEL._SL500_AA300_.jpg
* '''Livro principal: [http://books.google.com.br/books?id=JdfuAAAAMAAJ&q=chapter+zero+carol+schumacher&dq=chapter+zero+carol+schumacher&hl=en&sa=X&ei=aTiYULX5Ksbe0QHF24GwDQ&ved=0CCkQ6AEwAA "Chapter Zero", Carol Schumacher]'''. Melhor livro para aprender os conceitos. Nao tao bom para exercicios.  http://ecx.images-amazon.com/images/I/41111TZRHEL._SL500_AA300_.jpg
* Livro complementar (melhor para exercicios, mas nao tao bom para conceitos)  
* Livro complementar [http://www.amazon.com/Mathematical-Structures-Computer-Science-Gersting/dp/071676864X "Mathematical Structures for Computer Science", Judith Gersting] (melhor para exercicios, mas nao tao bom para conceitos)  
* Livro importante para algumas partes (recursao): "Concrete Mathematics", Donald Knuth et. al., cap 1 principalmente.
* Livro importante para algumas partes (recursao): "Concrete Mathematics", Donald Knuth et. al., cap 1 principalmente.


== Tarefas ==
== Tarefas ==
Os trabalhos valem pontos extras nas provas (que serao exigentes).
=== Trabalho 1: Leitura de Artigo ===
* Ler e resumir um [http://www.maths.lth.se/matematiklth/vision/publdb/reports/pdf/kahl-strandmark-dam-12.pdf artigo de pesquisa em  Matematica Discreta Aplicada]
* Nao precisa compreender tudo, mas precisa ler tudo e tentar ter uma visao global do artigo bem como entender alguns fatos especificos que conseguir.
* '''Trazer o artigo todas as aulas''' para relacionar com a materia.
* Entregar relatorio do artigo contendo:
** Resumo de cada secao com sua propria explicacao
** Uma pagina de texto contendo uma descricao do artigo em suas palavras. O que voce consegue compreender do artigo? O que voce nao gostou? O que te despertou curiosidade?
** O trabalho sera julgado com base na qualidade e evidencia de esforco.
* Data de entrega: resumo inicial no dia da P1 e resumo final no dia da P2
* Valor: ate +1 pontos na P1 (resumo inicial) e +1 ponto na P2 (resumo final)
=== Trabalho 2: Leitura do Livro Logicomix ===
* Um livro muito legal para seguir a historia da logica moderna + Computacao eh o livro Logicomix:
http://tavernafimdomundo.files.wordpress.com/2011/05/logicomix1.jpg
* Entregar um resumo de 4 paginas no dia da P2
* Valor: ate +1 ponto na P2
* Veja http://tavernafimdomundo.com/2011/05/03/hq-logicomix-de-apostolos-doxiadis-e-christos-h-papadimitriou/


== Provas ==
== Provas ==
Havera 2 provas principais.
Havera 2 provas principais.
* P1: 31 de janeiro de 2013 [http://www.lems.brown.edu/~rfabbri/stuff/prova-p1-MDI2012-v2.pdf]
* P2: 7 de marco de 2013
* Final/Sub: 14 de marco de 2013


== Criterio de Avaliacao ==
== Criterio de Avaliacao ==

Edição atual tal como às 21h21min de 3 de outubro de 2013

Esta é a pagina principal de um curso de matematica discreta para computacao em 2012 no Instituto Politecnico IPRJ/UERJ, de utilidade geral para a formacao de programadores.

Mosaico.jpg

Informacoes gerais

  • Instrutor: prof. Ricardo Fabbri, Ph.D.
  • Periodo: 2o. Semestre de 2012, voltado ao 4o. periodo de Engenharia da Computacao
  • Tercas 2:20pm-5pm e Quintas 1:20pm-4pm (temporariamente Quartas 2:20-4pm), sala 213
    • Temporariamente: Por um acordo assinado pelos alunos, as aulas de quinta-feira serao ministradas `as quartas-feiras das 2:20pm-4pm, em caracter excepcional,

ate o termino das aulas da pos-graduacao (10/Dezembro), devido a um conflito imprevisto de horario. A sala permanece a mesma.

Pre-requisitos

  • Motivacao e dedicacao sao implicitamente exigidos do aluno. Experiencia previa com alguma linguagem de programacao desejavel.

Conteudo aproximado

  • Aula1: motivacao: a importancia da matematica na computacao. introducao ao curso. inicio da materia.
  • Logica, Argumentos. Tecnicas de Demonstracao. -- Compreenda a estrutura da matematica moderna!
  • Decidibilidade
  • Teoria de conjuntos, Relacoes
  • Inducao
  • Recursao, Co-Recursao

Recursos principais


Bibliografia

Tarefas

Os trabalhos valem pontos extras nas provas (que serao exigentes).

Trabalho 1: Leitura de Artigo

  • Ler e resumir um artigo de pesquisa em Matematica Discreta Aplicada
  • Nao precisa compreender tudo, mas precisa ler tudo e tentar ter uma visao global do artigo bem como entender alguns fatos especificos que conseguir.
  • Trazer o artigo todas as aulas para relacionar com a materia.
  • Entregar relatorio do artigo contendo:
    • Resumo de cada secao com sua propria explicacao
    • Uma pagina de texto contendo uma descricao do artigo em suas palavras. O que voce consegue compreender do artigo? O que voce nao gostou? O que te despertou curiosidade?
    • O trabalho sera julgado com base na qualidade e evidencia de esforco.
  • Data de entrega: resumo inicial no dia da P1 e resumo final no dia da P2
  • Valor: ate +1 pontos na P1 (resumo inicial) e +1 ponto na P2 (resumo final)

Trabalho 2: Leitura do Livro Logicomix

  • Um livro muito legal para seguir a historia da logica moderna + Computacao eh o livro Logicomix:

logicomix1.jpg

Provas

Havera 2 provas principais.

  • P1: 31 de janeiro de 2013 [1]
  • P2: 7 de marco de 2013
  • Final/Sub: 14 de marco de 2013

Criterio de Avaliacao

O nucleo de atividades do curso consistira em provas escritas. Para ajudar o aluno a estudar para as provas, listas de exercicios poderao ser especificadas. Eventuais trabalhos em grupo valerao pontos extras nas provas (somente se a nota da prova for superior a 5).


  • O criterio final ficou (favor avisar se precisar adicionar detalhes ou corrigir no caso de erro/discrepancia):

     M_p = (P1 + P2)/2   
     Se M >= 7, passa --> M
     Sub: repoe menor de P1, P2 (apenas se alguem faltou alguma prova ou quiser melhorar nota - mas quem entregar ira substituir)      
     Se 4 <= M <= 7, vai pra prova final. 
     Se M > 7 a prova final e' optativa, mas se piorar a nota, fica com a pior.
     M_f = (M + P_f)/2.
     Se M_f >= 5, passa --> M_f
     A concordar com alunos: prova final e prova sub podem ser as mesmas.