Estruturas de Dados

Raul H.C. Lopes

Programa

• Lógica de primeira ordem
• Contagem e teoria de conjuntos
• Indução Matemática
• Definições indutivas e tipos abstratos
• Sequencias
• árvores
• grafos
• Correção de programas
• Fundamentos de análise de algoritmos

Referências básicas

• The Art of Computer Programming: Volume I
  Donald E. Knuth
• The design of dynamic data structures
  Mark H. Overmars
• A logical approach to discrete mathematics
  David Gries and Fred B. Schneider
• Discrete Mathematics and its applications
  Kenneth Rosen
• Introduction To Algorithms
  T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein
  
• A methodology of programming
  E. W. Dijkstra and W.H.J. Feijen
  
• Discrete Mathematics
  L. Lovász and K. Vesztergombi
  download

Notas de aula

• Notas sobre indução (16/04)
• Fontes em TeX, C, Haskell
  • Abrir com: tar -zxf induction.tar.gz
• Notas sobre Listas (15/04)
• Call for the Dead

Exemplos

• Programas triviais em Haskell e C
  
• STSP (Haskell, C) (30/04)
• STSP with KD-tree (Haskell) (06/06)

Ferramentas

• Documentação: LaTeX
• Haskell
  Tutoriais, artigos.
• Glasgow Haskell
  Manuais, artigos, compilador, interpretador.
• Tutorial de Haskell

Trabalhos

Resultados Parciais