• Aula 1 > Especificação de Programas - Condições de Verificação

• Aula 2 > Invariantes de Ciclo

• Aula 3 > Correcção - casos de estudo

• Aula 4 > Análise de Tempo de Execução

• Aula 5 > Análise Assimptótica

• Aula 6 > Melhor/Pior Caso

• Aula 7 > Caso Médio

• Aula 8 > Caso Médio (continuação)

• Aula 9 > Recorrências - Mergesort

• Aula 10 > Quicksort

• Aula 11 > Ordenação com Comparações - counting sort; radiz sort

• Aula 12 > Análise Amortizada

• Aula 13 > Análise Amortizada (continuação)

• Aula 14 > Representação de Grafos

• Aula 15 > Travessia de Grafos em Largura

• Aula 16 > Travessia de Grafos em Profundidade

• Aula 17 > Árvores Geradoras Mínimas

• Aula 18 > Caminhos mais Curtos

• Aula 19 > Programação Dinâmica e Floyd-Warshall