CI237-A - Matemática Discreta

2o semestre de 2014

3a e 5a às 15:30

sala PA 01

Ementa

  1. Técnicas de Provas
  2. Relações de Recorrências
  3. Contagem

Bibliografia

  1. Notas de Aula
  2. Elementos de Matematica Discreta para Computação, Gomide e Stolfi (GomideStolfi)
  3. (link para o livro gratuito)
  4. Mathematics for Computer Science, Lehman e Leighton (LehmanLeighton)
  5. (link para o livro gratuito)
  6. Discrete Mathematics and Its Applications, Rosen

Avaliação

Sao 2 provas (P1 e P2) com conteúdo cumulativo e uma prova final (PF) sobre toda a matéria.

Notas


Calendário

Exercícios

# AULA EXERCÍCIOS
1 Introdução
2 Elementos de Lógica (exercícios)
3 Métodos de Prova (ver exercícios da aula passada)
4 Conjuntos e Inteiros (exercícios)
5 Somatórios e Produtórios (exercícios)
6 Indução (ver exercícios da próxima aula)
7 Mais Indução (exercícios)
8 Descrições Recursivas (exercícios)
9 Funções Iteradas (exercícios)
10 Recorrências (exercícios)
11 Mais Recorrências (exercícios)
12 Recorrências Lineares Homogêneas (exercícios)
13 Mais Recorrências Lineares Homogêneas (ver exercícios da aula passada)
14 Recorrências Lineares Não-Homogêneas (exercícios)
15 PROVA
16 Contagem (exercícios)
17 União e Produto Cartesiano (exercícios)
18 Sequências (exercícios)
19 Funções e Subconjuntos (sem exercícios)
20 Funções Injetoras e Bijetoras (exercícios)
21 Subconjuntos (exercícios)
22 Composições (exercícios)
23 Inclusão-Exclusão (ver exercícios da próxima aula)
24 Inclusão-Exclusão - Exemplos (exercícios)


Horário de atendimento (professor)