Matematica Discreta

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.

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

Recursos principais

• Grupo de discussao: uerj.tk

Bibliografia

• Livro principal: "Chapter Zero", Carol Schumacher. Melhor livro para aprender os conceitos. Nao tao bom para exercicios.
• Livro complementar "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.

Provas

Havera 2 provas principais.

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.