Algoritmos e Estruturas de Dados I

Licenciatura: Matemática

Ano Lectivo: 2003/04

Programa:

Algoritmia em programação imperativa; Correcção formal de Programas; Análise de Complexidade.

Técnicas avançadas de programação de algoritmos clássicos.