CP - Cálculo de Programas
Índice
| Apresentação |
|---|
| Sumários | Calendário |
| Material |
| Equipa docente | Horário |
| Atendimento |
| Alunos |
| Regime de Avaliação |
| Bibliografia |
| Anos anteriores |
CP/2526
Material Pedagógico
Enunciado do trabalho prático [método B]
O enunciado 
completo do TP (com as questões Q3 e Q4) encontra-se no ficheiro comprimido cp2526t-a.zip, que contém a respectiva fonte (ficheiro cp2526t.lhs), o respectivo PDF e outros ficheiros auxiliares. Data de entrega: 12-Jan-2026.
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
- Ficha 10
- Ficha 11
- Ficha 12
Slides das aulas teóricas
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
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 | |
| 20-Dez | 9h-11h | TBC | LEI+LCC | 2º teste escrito | |
| 22-Jan | TBC | TBC | LEI+LCC | Exame de recurso |
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”.
Caso de estudo:
- google.hs - caso de estudo “Google MapReduce” (ver esse tópico nos vídeos).
(Mais a adicionar à medida que a matéria vá avançando.)
Ficheiros auxiliares:
- St.hs (mónade de estado simplificado) e RelCalc.hs (operações relacionais várias).