CP - Cálculo de Programas
Índice
| Apresentação |
|---|
| Atendimento |
| Página institucional |
| Alunos |
| Regime de Avaliação |
| Sumários | Calendário |
| Material |
| Bibliografia |
| Equipa docente | Horário |
| Anos anteriores |
CP/2425
Material Pedagógico
Enunciado do trabalho prático (método B)
O enunciado completo do TP (com as questões 
Q3 e Q4) na edição corrente desta UC (LCC, 2ºS) encontra-se no ficheiro comprimido cp2425t-a.zip, que contém a respectiva fonte (ficheiro cp2425t.lhs), o respectivo PDF e outros ficheiros auxiliares. Data de entrega: 11-Jun.
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
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 |
|---|---|---|---|---|---|
| 26-Out | 09h-10h | E2 (salas 1.05 + 1.05 + 1.07 | LEI | 1º teste individual | |
| 18-Dez | 15h30-17h30 | E1-0.08 + E1-1.05 + E2-0.07 | LEI | 2º teste individual | |
| 22-Jan | 14h-16h | E2-(1.01 + 1.03) | LEI | Exame de recurso | |
| 22-Mar | 09h-12h | E2-(0.01 + 0.03) | LCC | 1º teste individual | |
| 31-Mai | 09h-12h | E2-(0.01 + 0.03) | LCC | 2º teste individual | PDF com proposta de resolução |
| 18-Jun | 14h-16h | E1-2.07 | LCC | 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.
(Mais a adicionar à medida que a matéria vá avançando.)