Cálculo de Programas

Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação

Tópicos

Avisos

03 Ago - As notas dos exames da época especial estão publicadas em Alunos.

23 Jul - O exame da época especial (24-Jul) será na sala CP2 0.20, das 9h às 11h.

10 Jul - Consulta dos exames: amanhã das 11h às 13h, na sala de reuniões do 2º andar do DIUM.

10 Jul - As notas finais e dos TPs estão publicadas em Alunos.

25 Jun - O horário das defesas dos TPs está disponível nesta página. Cada defesa demora 15 minutos. Cada grupo deverá comparecer na sala indicada 5 mins antes da hora.

21 Jun - Horário para os alunos verem os testes: segunda-feira, dia 25-Jun, das 16h às 18h.

20 Jun - Afixadas as classificações do teste de 6-Jun em Alunos.

18 Jun - As defesas orais dos TP desta disciplina terão lugar de 3 a 5 de Julho. Oportunamente será divulgado o escalonamento dos grupos (gerado aleatoriamente).

17 Jun - Entrega dos TP: ver instruções em Alunos. Data limite: 23 de Junho.

31 Mai - Avisam-se os alunos que a data de submissão do TP desta disciplina foi adiada para sábado, 23 de Junho. Oportunamente serão dadas aqui as instruções para a entrega.

20 Mai - Publicada no Material a ficha nr.13 (última), a preparar para as aulas TP da semana de 21-Mai.

06 Mai - Publicada no Material a ficha nr.12, a preparar para as aulas TP da semana de 07-Mai.

06 Mai - Chama-se à atenção que a aula de reposição do turno MiEI/TP2 será não será no E1 mas sim na sala 1.03 do E2 - ver Sumários.

29 Abr - Publicada no Material a ficha nr.11, a preparar para as aulas TP da semana de 30-Abr.

22 Abr - Publicada no Material a ficha nr.10, a preparar para as aulas TP da semana de 23-Abr.

20 Abr - Trabalho prático: enunciado e material publicados em Material.

14 Abr - Publicada no Material a ficha nr.9, a preparar para as aulas TP da semana de 16-Abr.

09 Abr - Chama-se a atenção para a mudança de sala do turno MiEI/TP2, cf. Horário.

07 Abr - Publicada no Material a ficha nr.8, a preparar para as aulas TP da semana de 09-Abr.

03 Abr - A comunicação dos grupos de trabalho de CP deverá ser feita em http://www.di.uminho.pt/grupo_cp/ até dia 17 de Abril.

02 Abr - Publicada no Material a ficha nr.7, a preparar para as aulas TP da semana de 03-Abr.

17 Mar - Publicada no Material a ficha nr.6, a preparar para as aulas TP da semana de 19-Mar.

11 Mar - Publicada no Material a ficha nr.5, a preparar para as aulas TP da semana de 12-Mar.

03 Mar - Publicada no Material a ficha nr.4, a preparar para as aulas TP da semana de 05-Mar.

03 Mar - Notas TP de 16/17 - ver Alunos.

27 Fev - Aviso: não haverá aula LCC/TP2 esta sexta-feira, 2-Março. O docente combinará com os alunos deste turno uma aula de substituição.

24 Fev - Publicada no Material a ficha nr.3, a preparar para as aulas TP da semana de 26-Fev.

20 Fev - Chama-se a atenção para a mudança dos anfiteatros das aulas teóricas dos 2 cursos, cf. Horário.

17 Fev - Publicada no Material a ficha nr.2, a preparar para as aulas TP da semana de 19-Fev.

01 Fev - Início das aulas: semana de 12-Fev. Começarão primeiro as aulas TP com uma ficha de revisão de PF (Programação Funcional).

01 Fev - Criada esta página de avisos.

Material Pedagógico

Disponível à medida que a disciplina for progredindo.

Fichas das aulas práticas

Transparentes

Enunciado do trabalho prático

O material para realização do TP desta disciplina consta de um enunciado (cp1718t.pdf) e de um zip (cp1718t.zip) contendo a respectiva fonte (ficheiro cp1718t.lhs) + outros ficheiros auxiliares.

Os alunos devem deixar para o fim o último problema, cuja matéria só na semana que vem começará a ser leccionada.

A data de entrega é sábado, 23 de Junho. Oportunamente serão dadas informações sobre o processo de submissão dos TPs.

Bibliotecas de Software (em Haskell)

  • St.hs contendo uma versão simplificada do mónade de estado.
  • google.hs - ilustração da arquitectura map-reduce que foi mostrada nas aulas.
  • FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas (informação nos nós e nas folhas).
  • Exp.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis que é usada em google.hs.
  • LTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias de folhas - LTree a = Leaf a | Fork (LTree a, LTree a) e aplicações suas (e.g. Fibonacci, duplo factorial, `merge-sort', etc).
  • BTree.hs - biblioteca para o tipo de dados árvores binárias - data BTree a = Empty | Node(a, (BTree a, BTree a)), e aplicações suas (e.g. torres de Hanói, `quick-sort', etc).
  • List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
  • Nat.hs - biblioteca de naturais (combinador ciclo-for, etc).
  • Cp.hs - contendo os combinadores de base do cálculo de programas, e.g. split, ><, -|- etc.

Outro material

Enunciados das provas de avaliação

Data / Hora / Local Descrição Ficheiro
06-Jun-2018 /16h00 / Cantina Teste PDF
27-Jun-2018 / 16h00 / Cantina Exame de recurso PDF
24-Jul-2017 / 09h-11h / Salas a anunciar Exame da época especial PDF

"Links"

-- JoseNunoOliveira - 04 Feb 2018

r36 - 29 May 2019 - 14:46:04 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM