Bibliografia básica:

1. Concrete Mathematics, Graham, Knuth e Pataschink (ou sua tradução).
2. Discrete Mathematics: Applied Combinatorics and Graph Theory, Townsend.
3. generatingfunctionology, H. Wilf

Bibliografia complementar:

• Matemática Discreta, E.R. Scheinerman
• The Art of Computer Programming vol. 1, D.E. Knuth
• Introduction to Algorithms, Cormen, Leiserson, Rivest (Capítulos iniciais)
• Computer Mathematics, D.J. Coone, H.E. Bez
• Applied Combinatorics, A. Tucker
• Discrete Mathematics, Lovász e Vesztergombi.
• Combinatorics for Computer cientists, D. Breslauer, D.B. Dubhashi

Leitura complementar:

• Método das Frações Parciais
• Raízes da Equação de terceiro grau
• Solução de sistemas lineares
• Séries formais, E. Tengan
• Equações de recorrência, H.S. Pollman
• O teorema de Ramsey, C.A. Moreira
• O princípio das gavetas, P.C. Carvalho
• Como perder amigos e enganar pessoas, N. Saldanha
• A torre de Hanói, C.Y. Shine
• O princípio da indução, E.L. Lima
• Recorrências, notas de aula de complexidade de algoritmos, F.K. Miyazawa
• What is implied by "implies"?, T. Gowers

Sistema de avaliação

• Média aritmética de duas provas dá a média final.
• Tendo 75% de freqüência, o aluno com nota maior ou igual a 70 estará aprovado.
• Tendo 75% de freqüência, o aluno com nota maior ou igual a 40 e menor do que 70 estará habilidato a fazer a prova final.
• Em qualquer outro caso o aluno estará reprovado e será indicado se houve ou não infreqüência.
• O aluno que fizer a prova final estará aprovado apenas se a média aritmética da prova final e da média final for maior ou igual a 50.

• 1a. Lista de exercícios
Aviso:Havia uma inversão no 1o. exercicio da lista, a 1a. soma é de uma PG e a 2a. de uma PA.
• 2a. Lista de exercícios
• 3a. Lista de exercícios
• 4a. Lista de exercícios

Aula 01 - 22/04 - Bla

Aula 02 - 24/04 - Axiomas de Peano e Indução (fraca) (Ref.: Cap 1 de [2]).

Aula 03 - 29/04 - Indução - exemplos (Ref.: Cap 1 de [2]).

Aula 04 - 06/05 - Indução forte (Ref.: Cap 1 de [2]).

Aula 05 - 06/05 - Indução forte - exemplos (Ref.: Cap 1 de [2]).

Aula 06 - 13/05 - Função definida por recorrência (Ref.: Cap 1 e Sec 4.1 de [2])

Aula 07 - 15/05 - Exemplos de recorrência (Ref.: Sec 2.1 de [2]). Somas (Ref.: Sec 2.1,2.2 de [1])

Aula 08 - 20/05 - Resolução de recorrências. Caso médio do Quick Sort. (Ref.: Sec 2.1,2.2 de [1]).

Aula 09 - 22/05 - Números harmônicos (Ref.: Sec 6.3 de [1]).

Aula 10 - 27/05 - Recorrência linear homogênea com coeficientes constantes (Ref.: Sec 4.2 de [2]).

Aula 11 - 29/05 - Solução de Recorrência linear homogênea com coeficientes constantes - Método das raízes características  (Ref.: Sec 4.3 de [2]).

Aula 12 - 03/06 - Números de Fibonacci (Ref.: Sec 6.6 de [1]).

Aula 13 - 05/06 - Aula de dúvidas.

Aula 14 - 10/06 - Método das raízes características para raízes de multiplicidade >1 (Ref.: Sec 4.3.2 de [2]).

Aula 15 - 12/06 - Solução de recorrências não-homogêneas (Ref.: Sec 4.3.3 de [2]).

Aula 16 - 16/06 - Estimativas para recorrências

Aula 17 - 24/06 - Aula de exercícios. Prova da turma A.

Aula 18 - 26/06 - Prova.

Aula 19 - 01/06 - Séries Formais. (Ref.: Cap 2 de [3]) 

Aula 20 - 03/07 - Manipulação de séries formais.  (Ref.: Sec 7.2 de [1]) 

Aula 21	- 10/07 - Funções geradoras. Série de potencias de 1/(1-x-x²).

Aula 22	- 22/07 - Funções geradoras e equações de recorrência. (Ref.: Sec 7.3 de [1])

Aula 23	- 24/07 - não houve aula - reunião do colegiado

Aula 24	- 29/07 - Funções geradoras e equações de recorrência - exemplos

Aula 25 - 31/07 - Funções geradoras e equações de recorrência - exemplos

Aula 26	- 05/08 - Não haverá aula.

Aula 27	- 07/08 - Permutações(Ref.: Cap 2 de [2]) 

Aula 28 - 12/08 - Combinações e Multiconjuntos.(Ref.: Cap 2 de [2]) 

Aula 29	- 14/08 - Contagem por distribuição. (Ref.: Sec 2.3.2 de [2])

Aula 30	- 19/08 - 

Aula 31	- 21/08 - PROVA




       April 2003                May 2003                June 2003      
     Su Mo Tu We Th Fr Sa     Su Mo Tu We Th Fr Sa     Su Mo Tu We Th Fr Sa 
            1  2  3  4  5                  1  2  3      1  2  3  4  5  6  7 
      6  7  8  9 10 11 12      4  5  6  7  8  9 10      8  9 10 11 12 13 14 
     13 14 15 16 17 18 19     11 12 13 14 15 16 17     15 16 17 18 19 20 21 
     20 21 22 23 24 25 26     18 19 20 21 22 23 24     22 23 24 25 26 27 28 
     27 28 29 30              25 26 27 28 29 30 31     29 30 
 
       July 2003               August 2003             September 2003   
     Su Mo Tu We Th Fr Sa     Su Mo Tu We Th Fr Sa     Su Mo Tu We Th Fr Sa 
            1  2  3  4  5                     1  2         1  2  3  4  5  6 
      6  7  8  9 10 11 12      3  4  5  6  7  8  9      7  8  9 10 11 12 13 
     13 14 15 16 17 18 19     10 11 12 13 14 15 16     14 15 16 17 18 19 20 
     20 21 22 23 24 25 26     17 18 19 20 21 22 23     21 22 23 24 25 26 27 
     27 28 29 30 31           24 25 26 27 28 29 30     28 29 30 
                              31