Bibliografia:
- Language, proof and logic, Jon Barwise e John Etchemendy. (bibkioteca)
- Concrete Mathematics, R. Graham, D. Knuth e O. Pataschink (biblioteca) ou sua tradução: Matemática Concreta, Livros Técnicos e Científicos, Rio de Janeiro, 1995. (biblioteca).
- The Art of Computer Programming vol. 1, D.E. Knuth. (biblioteca)
- Mathematics for the analysis of algorithms Daniel H. Greene, Donald E. Knuth. (biblioteca)
- Introduction to Algorithms, Cormen, Leiserson, Rivest e Stein (Capítulos iniciais). (Biblioteca)
- Discrete mathematics : a unified approach, Stephen A. Wiitala. (biblioteca)
- Discrete mathematics : applied combinatorics and graph theory, Michael Townsend. (biblioteca)
- Discrete mathematics with algorithms Michael O. Albertson, Joan P. Hutchinson. (biblioteca)(parcialmente disponível aqui)
- Discrete mathematics with applications, H. F. Mattson, Jr. (biblioteca)
- Introdução à Análise Combinatória, J.P.O. Santos, M.P. Mello, I.T.C. Murari, 3a. edição, editora Unicamp. (biblioteca)
- Introduction to algorithms Udi Manber. biblioteca
- How to prove it Daniel Velleman. (biblioteca)
- George S. Lueker, Some Techniques for Solving Recurrences, ACM Computing Surveys Volume 12 , Issue 4 (December 1980) Pages: 419 - 436 clique aqui
Material de apoio
Avaliação
São 2 provas regulares com conteúdo cumulativo mais uma prova final sobre toda a matéria.
O aluno tem direito a 2a chamada desde
que o motivo que o levou a perder a prova esteja previsto
na seção V da resolução 37/97 e desde
que quem perdeu a prova cumpra as formalidades exigidas pela resolução.
Calendário
February 2008 March 2008 April 2008
Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa
1 2 1 1 2 3 4 5
3 4 5 6 7 8 9 2 3 4 5 6 7 8 6 7 8 9 10 11 12
10 11 12 13 14 15 16 9 10 11 12 13 14 15 13 14 15 16 17 18 19
17 18 19 20 21 22 23 16 17 18 19 20[21 22] 20[21]22 23 24 25 26
24 25 26 27 28 29 23 24 25 26 27 28 29 27 28 29 30
30 31
May 2008 June 2008 July 2008
Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa Su Mo Tu We Th Fr Sa
1 2 3 1 2 3 4 5 6 7 1 2 3 4 5
4 5 6 7 8 9 10 8 9 10 11 12 13 14 6 7 8 9 10 11 12
11[12 13 14 15 16]17 15 16 17 18 19 20 21 13 14 15 16 17 18 19
18 19 20 21 22 23 24 22 23 24 25 26 27 28 20 21 22 23 24 25 26
25 26 27 28 29 30 31 29 30 27 28 29 30 31
Listas de exercícios
Programação das aulas: (tentativa)
Aula 01 -- "e", "ou", "não", "se-então", "se e somente se". (referencia:12,1)
Aula 02 -- "se-então", "se e somente se", quantificadores. (referencia:12,1)
Aula 03 -- exemplos.(referencia:12,10)
Aula 04 -- exemplos.(referencia:12,10)
Aula 05 -- conjuntos. (referencia:12,10)
Aula 06 -- funções. (referencia:12,10)
Aula 07 -- paralizacão.
Aula 08 -- chao,teto,somatorio,produtorio. (referencias:3,2)
Aula 09 -- notação assintótica: uma hierarquia <<. (referencias:2)
Aula 10 -- notação O. equações com notação assintótica. (referencias:5,3,2)
Aula 11 -- notação O. equações com notação assintótica. (referencias:5,3,2)
Aula 12 -- notação O e <<. (referencias:3,2)
Aula 13 -- prova 1.
Aula 14 -- correção da prova. O e lim. (referencias:3,2)
Aula 15 -- notação o, Omega e Teta. (referencias:5)
Aula 16 -- Indução. (referencias:1,5,11,12)
Aula 17 --
Aula 18 --
Aula 19 --
Aula 20 --
Aula 21 -- Recorrências.(referencias:5,11)
Aula 22 --
Aula 23 --
Aula 24 --
Aula 25 --
Aula 26 --
Aula 27 --
Links
Arquimedes
fazia análise combinatória há 2.200 anos
Matching
nuts and bolts
Problemas pra estacionar?
DIMACS - Center for Discrete
Mathmatics and Theoretical Computer Science
Computer Science and Discrete
Mathmatics
Laszlo Babai Discrete Math Puzzles 1, 2
Puzzles, Games and Recreations Related to Research in Foundations of Computer Science
``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).
