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

Raul H.C. Lopes

Programa

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\'atico 0 (Draft 0: 10/01/05)

Provas

• Prova 0: 6/12/04
• Prova 1: 24/01/05
• Prova 2: 9/03/05
• Prova Final: 17/3/05