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

• Lista e notas sobre indução
  
• Análise sintática: útil para o trabalho
  
• Notas sobre Sequências: Incompleto!!!
  
• Notas sobre Princípio da Resolução: nunca foi revisado!!!
  

Exemplos

• Números Naturais em C, Haskell e Isabelle
  

Ferramentas

• Documentação: gcc, gdb, gcj
• Documentação: LaTeX
• Glasgow Haskell
  Manuais, artigos, compilador, interpretador.
• Tutorial de Haskell
• Manuais de Isabelle em PDF
• Cunit: descompate( tar -zxf cunit.tar.gz) em /usr/local/share

Trabalhos

• Trabalho Prático 0 (com instruções para entrega)
• A propositional calculus prover (Haskell+Alex+Happy)
• Trabalho Prático 0:resultados
• Trabalho Prático 1
• Trabalho Prático 1: testes
• Notas sobre Trabalho Prático 1

Resultados Parciais

• Resultados da Prova 0
• Resultados da Prova 1
• Resultados finais (ou quase)
• Script e testes do trabalho 0
• Script e testes do trabalho 1