Licenciatura: Matemática - Ramo Científico – Computação e Matemática Aplicada

Ano Lectivo: 2001/02

Programa:

1. Noções Gerais da Programação Modular: Construção descendente de programas; Algumas regras da "boa programação".
2. Verificação Formal da Correcção de Algoritmos: A noção de invariante de ciclo; A Axiomática de Hoare; Verificação formal da correcção de diversos algoritmos de pesquisa e de ordenação.
3. Algoritmos Recorrentes: Construção de soluções recorrentes; "Backtracking"; Análise de algoritmos recorrentes de ordenação.
4. Eficiência Computacional e Análise de Complexidade: Algoritmos de pesquisa; Algoritmos de ordenação; Algoritmos recorrentes.