Projeto e Análise de Algoritmos

Raul H.C. Lopes

Programa

• Correção de programas
• Indução Matemática
• Crescimento de funções
• Sequences
• Ordenação
• árvores
• grafos

Referências básicas

• Introduction To Algorithms
  T.H. Cormen, C.E. Leiserson, R.L. Rivest, C. Stein
  
• Concrete Mathematics
  R.L. Graham, D.E. Knuth, O. Patashnik
  Addison-Wesley
• A methodology of programming
  E. W. Dijkstra and W.H.J. Feijen
  
• The Art of Computer Programming
  Donald E. Knuth
• Fundamentals of Algebraic Specification
  Hartmut Ehrig, B. Mahr
• The Deductive Foundations of Computer Programming
  Zohar Manna, R. Waldinger
• Glasgow Haskell
  Manuais, artigos, compilador, interpretador.
• Site do Ada
  Manuais, tutoriais, compiladores, bibliotecas.
• PVS
  Manuais, tutoriais, artigos, provador.