Algoritmos e Estruturas de dados
ALGORITMOS E ESTRUTURAS DE
DADOS – FOLHAS DE APOIO
FILIPE SANTOS
Departamento de Ciências e Tecnologias da Informação
Licenciaturas:
Informática e Gestão de Empresas
Engenharia de Telecomunicações e Informática
Engenharia informática
Janeiro 2013
Algoritmos e Estruturas de Dados
Filipe Santos
Departamento de Ciências e Tecnologias da Informação
ÍNDICE
Apresentação
.........................................................................
1
Breve Introdução à Lógica Formal ............................................
4
Cálculo de Hoare e Metodologia de Dijkstra
TDA: motivação
.......................
21
...................................................................
39
TDA: especificação e implementação
..................................
57
.....................................................
81
Pilhas
....................................................................................
94
Filas
....................................................................................
106
Listas
....................................................................................
115
Eficiência de Algoritmos
Conjuntos
.............................................................................
Simulação Digital Estocástica
..............................................
132
................................................................................
Árvores
151
Filas Prioritárias
..................................................................
195
................................................................................
203
...................................................................................
226
Tabelas
Grafos
126
Ordenação
............................................................................
Algoritmos e Estruturas de