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.

Transparentes

• 6 transparentes (PDF) mostrados na aula teórica de 13-Abril sobre cálculo da função sq.
• 12 transparentes (PDF) sobre o método de escrita de código monádico ensinado nas aulas teóricas.

Bibliotecas

• Ficheiro zip (última actualização: 6-Jun) contendo bibliotecas em Haskell (Nat.hs, List.hs, LTree.hs, etc.) que definem os respectivos combinadores (eg. cata, for) e contêm os exemplos (eg. sq, fac) estudados nas aulas. O mesmo ficheiro contém também o módulo St.hs que anima uma versão simplificada do mónade de estado. Inclui ainda uma lista de demos (demos.hs) através do qual se pode a visualizar a estrutura de dados virtual (intermédia) dos hilomorfismos qSort, mSort, fib etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18], por exemplo. Encontrar-se-á a visualização da árvore intermédia no ficheiro _.html da directoria corrente.

• Biblioteca Haskell para programar em estilo point-free.

Provas de avaliação

Data	Tipo	Método	Descrição	Ficheiro
-	Avaliação contínua	A	Questões de avaliação (6 * 5 turnos)	PDF, 34 págs
18-Jun-2010	Teste	A+B	Teste individual sem consulta	PDF (com a resolução de 5 questões)
12-Jul-2010	Exame	A+B	Exame individual sem consulta	PDF

Outro

• Formulário (v1.1, com lei 75).