T\'ecnicas de Busca e Ordena\c c\~ao

Raul H.C. Lopes

Programa

• Documento com programa do curso
• Documento com regars de avalia\c c\~ao

Artigos

• Aula inaugural de J.Misra
• Tributo de J.Misra a Dijkstra
• Texto de Dijkstra sobre aulas e apresenta\c c\~oes

Notas de aula

• Input/output in Haskell
• Teste de programas em Haskell
• Exerc\'icios sobre Indu\c c\~ao

Ferramentas

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

Listas de Exerc\'icios

• Notas e Exerc\'icios sobre C\'alculo Proposicional
  Data limite de entrega: 19/11/04
• Notas e Exerc\'icios sobre Seqs e \'Arvores
  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\~ao fazer seus trabalhos pr\'aticos
• Trabalho Prático 0 (Final: 26/02/05)
  Exemplo em Haskell (Novo: com b-tree)
  Logs provis\'orios de testes
  Notas do trabalho 0
• Trabalho Pr\'atico 1 (Draf 0: 07/02/05)
• Trabalho Pr\'atico 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