CP/2526

Material Pedagógico

Enunciado do trabalho prático [método B]

• O material para realização do TP encontra-se no ficheiro comprimido cp2526t.zip, que contém a respectiva fonte (ficheiro cp2526t.lhs), o respectivo PDF e outros ficheiros auxiliares.

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
• Ficha 9

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

---

Slides das aulas teóricas

• Aulas 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)

---

Outro material

• Formulário

---

Enunciados das provas de avaliação

Data	Hora	Local	Curso(s)	Descrição	Enunciado
25-Out	9h-11h	Edificio 2 - 0.11+0.20+1.01+1.03+1.05+ 1.07	LEI+LCC	1º teste escrito	PDF
20-Dez	TBC	TBC	LEI+LCC	2º teste escrito	PDF
TBC	TBC	TBC	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).

(Mais a adicionar à medida que a matéria vá avançando.)