Material Pedagógico
O material de apoio às aulas desta disciplina irá sendo disponibilizado nesta página à medida que as aulas forem progredindo.
Fichas das aulas práticas
Transparentes
Outros a disponibilizar à medida que a disciplina for progredindo.
Enunciado do trabalho prático
O
material para realização do
TP desta disciplina consta de um
enunciado (
cp1819t.pdf) e de um zip (
cp1819t.zip) contendo a respectiva fonte (ficheiro cp1819t.lhs) + outros ficheiros auxiliares.
A data de entrega é
5 de Junho. Oportunamente serão dadas informações sobre o processo de submissão dos TPs.
Bibliotecas de Software (em Haskell)
- 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.
-
google.hs - ilustração da arquitectura map-reduce que foi falada nas aulas.
- FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas (informação nos nós e nas folhas).
- Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis.
- LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. Fibonacci, duplo factorial, `merge-sort', etc).
- BTree.hs - biblioteca para o 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 combinadores (e.g. catamorfismos) e exemplos de utilização.
- Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
- Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.
Mais bibliotecas a disponibilizar à medida que a disciplina for progredindo.
Outro material
Enunciados das provas de avaliação
Em actualização.
| Data | Hora | Local | Descrição | Enunciado |
|---|
| 30-Mai | 16h/19h | CANTINA + E2-1.03 | Teste escrito individual | PDF |
| 22-Jun | 09h/11h | E2-1.01/1.03 | Exame de recurso | PDF (com proposta de correcção) |
| 24-Jul | 14h/16h | 1-2.17/2.18/2.19 | Exame de época especial | PDF |
"Links"
-- JoseNunoOliveira - 30 Jan 2019