Material Pedagógico

Fichas das aulas práticas

• Ficha 1
• Ficha 2
• Ficha 3
• Ficha 4
• Ficha 5
• Ficha 6
• Ficha 7
• Ficha 8
• Ficha 9
• Ficha 10
• Ficha 11
• Ficha 12

Notas pedagógicas

• A Quick Introduction to Polymorphic Type Checking
• Two Brief Notes Concerning Lectures T-09 and T-10

Transparentes

Bibliotecas

• demos.hs - contendo material auxiliar para a visualização em HTML da estrutura de dados virtual (intermédia) dos hilomorfismos qSort, hanoi, mSort etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18] e hanoi_vtree (True, 7), por exemplo. Encontrar-se-á a visualização no ficheiro _.html da directoria corrente.
• LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Split (LTree a, LTree a) e aplicações suas (e.g. duplo factorial, `merge-sort', Fibonacci etc).
• BTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).
• List.hs - biblioteca geral para listas em Haskell, contendo a respectiva bateria de combinadores ana+cata+hilo e exemplos de utilização, que incluem os dados nas aulas.
• Nat.hs - biblioteca de naturais (ciclos-for, etc.
• Exp.hs - biblioteca auxiliar a demos.hs.
• Cp.hs - contendo os combinadores de base da notação adoptada, e.g. split, ><, -|- etc.

Enunciados de provas de avaliação

Data	Tipo	Método	Descrição	Ficheiro
-	Avaliação contínua	A	Fichas de avaliação dos 5 turnos	PDF
12-Jul-2011	Exame de recurso	A+B	Exame individual sem consulta	(PDF)
18-Jun-2011	Teste	A+B	Teste individual sem consulta	PDF (com a resolução de 5 questões)

Outro material

• Formulário