Análise da correção e do desempenho de algoritmos. Análise amortizada de estruturas dinâmicas. Paradigmas de projeto de algoritmos. Estudo de casos. Introdução à complexidade computacional.
- Professor: Cristina Gomes Fernandes
- Professor: Augusto César Monteiro Silva