Projeto e An\'alise de Algoritmos (2004/2)
Raul H.C. Lopes
Programa
O objetivo final do curso consiste em abordar o estudo da deriva\c c\~ao
formal de algoritmos e a an\'alise de sua complexidade.
- L\'ogica de primeira ordem
- Contagem e teoria de conjuntos
- Indu\c c\~ao Matem\'atica
- Defini\c c\~oes indutivas e tipos abstratos
- Sequ\^encias
- \'arvores
- grafos
- Corre\c c\~ao de programas
- An\'alise de complexidade de algoritmos
Refer\^encias b\'asicas
Notas de aula
Ferramentas
Trabalhos
Provas