CP - Cálculo de Programas
Índice
| Apresentação |
|---|
| Página institucional |
| Regime de Avaliação |
| Sumários | Calendário |
| Material |
| Bibliografia |
| Equipa docente | Horário |
| Alunos |
| Atendimento |
| Anos anteriores |
CP/2425
Material Pedagógico
Enunciado do trabalho prático (método B)
- O enunciado
completo do TP desta UC (LEI, 1ºS) - agora também com as questões Q3 e Q4 - encontra-se no ficheiro comprimido cp2425t-a.zip, que contém a respectiva fonte (ficheiro cp2425t.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
- Ficha 10
- Ficha 11
- Ficha 12 (última)
Slides das aulas teóricas
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 |
|---|---|---|---|---|---|
| 26-Out | 09h-10h | E2 (salas 1.05 + 1.05 + 1.07 | LEI | 1º teste individual | |
| 18-Dez | TBC | TBC | LEI | 2º teste individual | |
| 22-Jan |
14h-16h | salas a indicar | LEI | Exame de recurso |
(Detalhes em falta a preencher quando disponíveis.)
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”.
- 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.
Caso de estudo:
Ficheiros auxiliares:
- St.hs (mónade de estado simplificado) e RelCalc.hs (operações relacionais várias).