CP - Cálculo de Programas
Índice
| Apresentação |
|---|
| Página institucional |
| Material |
| Sumários | Calendário |
| Regime de Avaliação |
| Alunos |
| Atendimento |
| Equipa docente | Horário |
| Bibliografia |
| Anos anteriores |
CP/2324
Material Pedagógico
Enunciado do trabalho prático
O 
enunciado do TP desta disciplina (LCC, 2ºS) encontra-se no ficheiro comprimido cp2324t.zip, que contém a respectiva fonte (ficheiro cp2324t.lhs), o respectivo PDF e outros ficheiros auxiliares.
Fichas das aulas práticas
Mais fichas serão disponibilizadas à medida que as aulas forem progredindo.
Slides das aulas teóricas
A continuar a disponibilizar à 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
(Mais material a disponibilizar à medida que as aulas forem progredindo.)
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”.
Mais a disponibilizar à medida que as aulas forem progredindo.
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 | |
| 11-Dez | 17h-19h | E2 (salas 0.20 + 1.01 + 1.03 + 1.13) | LEI | 2º teste individual | |
| 15-Jan | 14h-16h | E2 (salas 1.03 + 1.07) | LEI | Exame de recurso | |
| 20-Mar | 16h | E2 (1.05 + 1.07) | LCC | 1º teste individual | PDF |
| 15-Mai | TBA | TBA | LCC | 2º teste individual | |
| TBA | TBA | TBA | LCC | Exame de recurso |
(Detalhes em falta a preencher quando disponíveis.)