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

Trabalhos

• Texto sobre como n\~ao fazer seus trabalhos pr\'aticos

Provas

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