Matematica Discreta

De Pontão Nós Digitais

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.