Técnicas de Busca e Ordenação

Raul H.C. Lopes

Programa

• Documento com programa do curso
• Documento com regars de avaliação

Artigos

• Aula inaugural de J.Misra
• Tributo de J.Misra a Dijkstra
• Texto de Dijkstra sobre aulas e apresentações

Notas de aula

• Input/output in Haskell
• Teste de programas em Haskell
• Exercícios sobre Indução

Ferramentas

• Glasgow Haskell
  Manuais, compilador (ghc), interpretador (ghci).
  Veja Tudo sobre Haskel
• O provador Isabelle

Listas de Exercícios

• Notas e Exercícios sobre Cálculo Proposicional
  Data limite de entrega: 19/11/04
• Notas e Exercícios sobre Seqs e Árvores
  O documento acima foi bastante alterado (2/12/04:16.19)
  Data limite de entrega: 6/12/04
  Abra com: tar -zxf seqs.tar.gz
  Leia Readme
• Exemplo de prova

Trabalhos

• Texto sobre como não fazer seus trabalhos práticos
• Trabalho Prático 0 (Final: 26/02/05)
  Exemplo em Haskell (Novo: com b-tree)
  Logs provisórios de testes
  Notas do trabalho 0
• Trabalho Prático 1 (Draf 0: 07/02/05)
• Trabalho Prático 2 (Draf 0: 18/02/05)

Provas

• Prova 0: 6/12/04
• Prova 1: 7/03/05
• Prova Final: 21/3/05, 13h

Notas Parciais

• Notas parciais