CP/2324

Material Pedagógico

Enunciado do trabalho prático [2ºS, método B]

• O material para realização do TP deste semestre encontra-se no ficheiro comprimido cp2324t.zip, que contém a respectiva fonte (ficheiro cp2021t.lhs), o respectivo PDF e outros ficheiros auxiliares. Quanto à nova Dockerfile pf ver os avisos.

Enunciado do trabalho prático [1ºS, método B]

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

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 (última)

Slides das aulas teóricas

• Aulas T01-T09 (PDF) + T10-T12 (PDF)

Vídeos (aulas teóricas)

• Entrar aqui e selecionar.

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

Outro material

• Formulário

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.
• Rose.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados “rose trees”.

• google.hs - caso de estudo “Google MapReduce” (ver esse tópico nos vídeos).

• Ficheiros auxiliares: St.hs (mónade de estado simplificado) e RelCalc.hs (operações relacionais várias).

Enunciados das provas de avaliação

Data	Hora	Local	Curso(s)	Descrição	Enunciado
26-Out	17h-19h	E2 (salas 0.05 + 0.07 + 1.03 + 1.05)	LEI	1º teste individual	PDF
11-Dez	17h-19h	E2 (salas 0.20 + 1.01 + 1.03 + 1.13)	LEI	2º teste individual	PDF
15-Jan	14h-16h	E2 (salas 1.03 + 1.07)	LEI	Exame de recurso	PDF
20-Mar	16h	E2 (1.05 + 1.07)	LCC	1º teste individual	PDF
15-Mai	16h-18h	E2 (sala 0.03)	LCC	2º teste individual	PDF
5-Jun	9h30-11h30	E2 (1.05 + 1.07)	LCC	Exame de recurso	PDF

(Detalhes em falta a preencher quando disponíveis.)

---