Bibliografia básica:

1. Introdução à Análise Combinatória, J.P.O. Santos, M.P. Mello, I.T.C. Murari, 3a. edição, editora Unicamp
2. Discrete Mathematics: Applied Combinatorics and Graph Theory, M. Townsend.
3. Concrete Mathematics, R. Graham, D. Knuth e O. Pataschink (ou sua tradução: Matemática Concreta, Livros Técnicos e Científicos, Rio de Janeiro, 1995.).

Bibliografia complementar:

4. Matemática Discreta, E.R. Scheinerman.
5. The Art of Computer Programming vol. 1, D.E. Knuth.
6. The Art of Computer Programming vol. 3, D.E. Knuth.
7. Introduction to Algorithms, Cormen, Leiserson, Rivest. (Caps. iniciais)
8. Algoritmos - Teoria e prática, Cormen, Leiserson, Rivest, Stein. (Apêndices, Cap. 4)
9. Discrete Mathematics, Lovász e Vesztergombi.
10. Combinatorics for Computer Scientists, D. Breslauer, D.B. Dubhashi
11. generatingfunctionology, H. Wilf

Leitura complementar:

• COMO LER E ESTUDAR MATEMÁTICA por R. Bianconi
• O princípio da indução, por E.L. Lima
• Séries formais, E. Tengan
• Equações de recorrência, H.S. Pollman
• Avarage-case analysis of QuickSort, V. Chvatal
• A torre de Hanói, C.Y. Shine
• Raizes da equação do 3o. grau

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.

• Prova 1: 24/04/2004 as 9:30hs na PA 02
• Prova 2: 19/06/2004 as 9:30hs na PA 02 e 03 (Caps 4,5 e 6 de [1])
• Prova Final: 13/07/2004 as 17:00 hs. no Anfiteatro A
• 2a. chamada: 24/06/2004 as 13:30 na PC 11

       March 2004               April 2004                May 2004      
     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  6                  1  2  3                        1 
      7  8  9 10 11 12 13      4  5  6  7  8  9 10      2  3  4  5  6  7  8 
     14 15 16 17 18 19 20     11 12 13 14 15 16 17      9 10 11 12 13 14 15 
     21 22 23 24 25 26 27     18 19 20 21 22 23 24     16 17 18 19 20 21 22 
     28 29 30 31              25 26 27 28 29 30        23 24 25 26 27 28 29 
                                                       30 31 


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

• Lista 1 (pdf)
• Lista 2 (pdf)
• Lista 3 (html)
• Lista 4 (pdf) --- Uma dica
• Lista 5 (pdf)
• Lista 6 (pdf) (html)

Aula 01 -- 16/03 -- Conjuntos, somatorio e produtorio. Ref.: [1]
 
Aula 02 -- 18/03 -- Indução. Ref.: [1] e [2]
 
Aula 03 -- 23/03 -- Indução: Exemplos e segunda forma.
 
Aula 04 -- 25/03 -- Indução: erros e cuidados.
 
Aula 05 -- 30/03 -- Indução. Principios aditivo e multiplicativo. Ref.: [1] e [2]
 
Aula 06 -- 01/04 -- Aula de exercícios
 
Aula 07 -- 06/04 -- Combinação, arranjo e permutação.Ref.: [1] e [2]
 
Aula 08 -- 13/04 -- Combinação, arranjo e permutação com repetições.Ref.: [1] e [2]
 
Aula 09 -- 15/04 -- Soluções inteiras positivas/não-negativas de equações lineares. 
                    Permutações circulares.
 
Aula 10 -- 20/04 -- Coeficiente binomial. 
 
Aula 11 -- 22/04 -- Aula de exercicios.
 
Aula 12 -- 24/04 -- PROVA
 
Aula 13 -- 27/04 -- Correção da prova. Princípio da Inclusão e Exclusão(Ref.: [1,2]).
 
Aula 14 -- 29/04 -- Principio da Inclusao/Exclusao (Ref.: [1,2]).
 
Aula 15 -- 04/05 -- Recorrencias (Ref.: [1]). 
                    Recorrencias para Arranjos e Combinações (Ref.: [2]).
                    Caso medio do Quick Sort (Ref.: [6,pg 119(2a.ed.)]).
 
Aula 16 -- 06/05 -- Recorrencias: Torre de Hanoi, 
                    Numero de Arvores Binarias (Ref.:[5,pg 389(3a.ed.)]).
 
Aula 17 -- 11/05 -- Arvores binarias de busca: recorrencias de casos medios para busca
                    com sucesso e sem sucesso (Ref.: [6,pg 431(2a.ed.)]).

Aula 18 -- 13/05 -- Caso médio do QS revisitado. Numeros harmonicos(Ref.: [3,cap 6 secao 6.3]).
 
Aula 19 -- 18/05 -- Resolução de recorrências lineares de 1a. ordem.
 
Aula 20 -- 20/05 -- Resolução de recorrências lineares homogeneas de ordem k: 
                    metodo das raizes caracteristicas.
 
Aula 21 -- 25/05 -- Resolução de recorrências lineares nao-homogeneas.
 
Aula 22 -- 27/05 -- Resolução de recorrências lineares nao-homogeneas.
 
Aula 23 -- 01/06 -- Series, series de potencias, serie de Taylor (A).

Aula 24 -- 03/06 -- Series, series de potencias, serie de Taylor (B).

Aula 25 -- 08/06 -- series formais e operacoes, funcoes geradoras.

Aula 26 -- 15/06 -- resolucao de recorrencias com funcoes geradoras.

Aula 27 -- 17/06 -- aula de exercicios.
 
Aula 28 -- 19/06 -- PROVA
 
Aula 29 -- 22/06 -- 
 
Aula 30 -- 24/06 -- 2a. chamada
 

``I was interviewed in the Israeli Radio for five minutes and I said that more than 2000 years ago, Euclid proved that there are infinitely many primes. Immediately the host interuppted me and asked: `Are there still infinitely many primes?' ´´
Noga Alon, (Distinguished Lecture series, Princeton Applied and Computational Mathematics Program, Feb. 13, 2003).

"Can you do addition?" the White Queen asked. "What's one and one and one and one and one and one and one and one and one and one?"
"I don't know," said Alice. "I lost count." --- Lewis Carrol, Through the Looking Glass.