Portal do Ementário

* Indução e recursão: fundamentos e prova de correção de programas * Análise de crescimento de funções * Recorrências e funções geradoras * Análise probabilística e análise amortizada * Algoritmos de pesquisa e ordenação * Algoritmos em grafos: busca, árvores geradoras, caminhos mais curtos * Pesquisa em string * Algoritmos numéricos * Paradigmas: programação dinâmica, divide-and-conquer, greedy * Classes de complexidade

* D.E.Knuth, The art of computer programming, * T.H.Cormen, C.E.Leiserson, R.L.Rivest, C.Stein, Introduction to algorithms, * N. Ziviani. Projeto de Algoritmos Com Implementações em Pascal e C. Pioneira Thomson Learning, Segunda Edição, 2004. * E. Horowitz e S. Sahni. Fundamentals of Computer Algorithms. Computer Science Press, 1978. * R. Sedgewick. Algorithms. Addison-Wesley, Second Edition, 1988.