Projeto e Análise de Algoritmos (2004/2)
Raul H.C. Lopes
Programa
O objetivo final do curso consiste em abordar o estudo da derivação
formal de algoritmos e a análise de sua complexidade.
- Lógica de primeira ordem
- Contagem e teoria de conjuntos
- Indução Matemática
- Definições indutivas e tipos abstratos
- Sequências
- árvores
- grafos
- Correção de programas
- Análise de complexidade de algoritmos
Referências básicas
Notas de aula
Ferramentas
Trabalhos
Provas