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

De Pontão Nós Digitais
Ir para navegaçãoIr para pesquisar
Linha 13: Linha 13:
== Conteudo aproximado ==
== Conteudo aproximado ==
* Aula1: motivacao: a importancia da matematica na computacao. introducao ao curso. inicio da materia.
* Aula1: motivacao: a importancia da matematica na computacao. introducao ao curso. inicio da materia.
* Logica  
* Logica, Argumentos. Tecnicas de Demonstracao. -- Compreenda a estrutura da matematica moderna!
* Argumentos
* Decidibilidade
* Decidibilidade
* Teoria de conjuntos, Relacoes
* Teoria de conjuntos, Relacoes
* Inducao  
* Inducao  
* Recursao
* Recursao


== Recursos principais ==
== Recursos principais ==

Edição das 19h09min de 5 de novembro de 2012

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. Tecnicas de Demonstracao. -- Compreenda a estrutura da matematica moderna!
  • 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. 41111TZRHEL._SL500_AA300_.jpg
  • Livro complementar (melhor para exercicios, mas nao tao bom para conceitos)
  • Livro importante para algumas partes (recursao): "Concrete Mathematics", Donald Knuth et. al., cap 1 principalmente.

Tarefas

Provas