Material Pedagógico
Fichas das aulas práticas
Notas pedagógicas
Transparentes
- Transparentes mostrados nas teóricas da segunda semana de aulas: Towards Formal Software Development in VS.NET (slides 20 a 33)
Bibliotecas de Software
- 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).
- Exp.hs - biblioteca auxiliar a demos.hs.
- 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).
- 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 |
|---|---|---|---|---|
| 2012 | Avaliação contínua | A | Mini-teste(s) nr. 1 | |
| 30-Mai-2012 | Avaliação contínua | A | Mini-teste nr. 2 | |
| 18-Jun-2012 | Teste | A+B | Prova escrita individual sem consulta | com a maior parte das questões resolvidas: PDF |
| 11-Jul-2012 | Exame de recurso | A+B | Prova escrita individual sem consulta |