CP/2627

Material Pedagógico

Fichas das aulas práticas

• Ficha 1 - revisões de Progamação Funcional
• Ficha 2
• Ficha 3
• Ficha 4
• Ficha 5
• Ficha 6
• Ficha 7
• Ficha 8

Mais fichas serão disponibilizadas à medida que as aulas forem progredindo.

---

Slides das aulas teóricas

• Aula T01 .. T08 - PDF

Mais slides irão sendo disponibilizados à medida que as aulas forem progredindo.

---

Vídeos (aulas teóricas)

• Entrar aqui e selecionar.

(Também se podem selecionar os vídeos por tópico)

NB: estes vídeos foram produzidos há anos, durante a pandemia, mantendo-se ainda hoje actuais.

---

Outro material

• Formulário

---

Enunciados das provas de avaliação

Data	Hora	Salas	Curso(s)	Descrição	Enunciado
24-Out	9h-11h	E2-1.03 (etc)	LEI+LCC	1º teste escrito	PDF
12-Dez	manhã	a indicar	LEI+LCC	2º teste escrito	PDF
22-Jan	a indicar	a indicar	LEI+LCC	Exame de recurso	PDF

---

Bibliotecas de Software (em Haskell)

• Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, + etc.
• Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
• List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
• BTree.hs - biblioteca para o tipo de dados árvores binárias com informação nos nós e aplicações suas (e.g. torres de Hanói, quick-sort, etc).
• LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas e aplicações suas (e.g. Fibonacci, duplo factorial, merge-sort, etc).
• FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas.
• Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis.