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/2223
Material Pedagógico
Enunciado do trabalho prático [1ºS]
- O material para realização do TP deste semestre encontra-se no ficheiro comprimido cp2223t.zip, que contém a respectiva fonte (ficheiro cp2021t.lhs), o respectivo PDF e outros ficheiros auxiliares.
Fichas das aulas práticas
Slides das aulas teóricas
Vídeos das 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 |
|---|---|---|---|---|---|
| 13-Jan | 14h | E1-0.04 + E1-0.08 | LEI | Teste individual | |
| 03-Fev | 14h | E2-1.01 + E2-1.05 + E2-1.07 | LEI | Exame de recurso | |
| 02-Jun | 10h | E1-0.04 + E1-0.20 | LCC | Teste individual | |
| 23-Jun | 14h | E1-1.10 + E1-1.17 | LCC | Exame de recurso |
(Novos a adicionar quando disponíveis.)
Bibliotecas de Software (em Haskell)
A adicionar sempre que disponíveis.
- 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.
-
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).