Matematica Discreta

De Pontão Nós Digitais
Revisão de 18h50min de 5 de novembro de 2012 por V1z (discussão | contribs)
Ir para navegaçãoIr para pesquisar

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 (horario pendente), sala ??


Pre-requisitos

  • Nao ha. 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
  • Decidibilidade
  • Teoria de conjuntos, Relacoes
  • Inducao
  • Recursao


Recursos principais


Bibliografia

  • Livro principal: "Chapter Zero", Carol Schumacher. Melhor livro para aprender os conceitos. Nao tao bom para exercicios.
  • Livro principal 2: "", Melhor para exercicios, mas nao tao bom para conceitos ;)
  • Livro importante para algumas partes (recursao): "Concrete Mathematics", Donald Knuth et. al., cap 1 principalmente.