CP/2122

Material Pedagógico

Enunciado do trabalho prático [2ºS]

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

Enunciado do trabalho prático [1ºS]

O material para realização do TP desta disciplina encontra-se no ficheiro comprimido cp2122t.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
• Ficha 12

Slides das aulas teóricas:

• Aulas T09-T12
• Aulas T01-T08

Vídeos das aulas teóricas:

• Entrar aqui e selecionar o vídeo por data na coluna 2021/22.
• Também 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.
• XNat.hs - biblioteca de naturais estendidos (combinador tail-recursion etc).
• SList.hs - biblioteca geral para listas com sentinela em Haskell, contendo combinadores (e.g. ana-cata-hilo) e exemplos de utilização.
• Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis.
• 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
21-Jan	15h30	Cantina	LEI/MiEI	Teste individual	PDF
07-Fev	14h00	E3-0.06	LEI/MiEI	Exame de recurso	PDF
17-Fev	16h30	TBA	LEI/MiEI	Exame excepcional	PDF
01-Jun	9h00	E1-2.05	LCC	Teste individual	PDF
22-Jun	11h30	E1-0.20	LCC	Exame de recurso	PDF
19-Jul	09h00	E1-0.20	LEI/MiEI	Exame de época especial	PDF
26-Jul	14h30	E2-2.10	LCC	Exame de época especial	PDF

Transparentes

Transparentes referidos na primeira aula teórica: Towards Formal Software Development in VS.NET (slides 20 a 33).