Material Pedagógico
Conjunto de slides usados na aulas teóricas da UC no ano letivo 2024/2025
Especificação e Correcção de Algoritmos
Correcção de um algoritmo
Pré-condições e pós-condições
Triplos de Hoare
Invariantes de Ciclo
Variantes de Ciclo
Tempo de Execução de Algoritmos Iterativos
Contabilização de operações primitivas
Análise Assimptótica
Notações
Tamanho
Representação
Análise de Pior Caso, Melhor Caso, e Caso Médio
Análise de pior e melhor caso
Análise de caso médio (diferentes métodos)
Análise do Tempo de Execução de Algoritmos Recursivos
Algoritmos com uma chamada recursiva
Algoritmos de Divisão e Conquista
Tópicos sobre Algoritmos de Ordenação
Quicksort (pior e médio casos)
Algoritmos de ordenação baseados em comparações
Algoritmos Counting Sort e Radix Sort
Análise Amortizada de Algoritmos
Definição
Método Contabilístico
Método do Potencial para diversos casos