Aulas Teóricas Gravadas | Algoritmos e Complexidade

• 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