Cálculo de Programas

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

Tópicos

Avisos

28 Ago - Época especial: as classificações estão afixadas em Avaliação / alunos.

23-Jul - Publicada em Avaliação / alunos a correcção do exame de recurso (PDF)

17-Jul - Época especial: o exame terá lugar no dia / horas 25-Jul-2017 / 09h-11h, na sala CP2-204.

10 Jul - Esclarecimentos sobre nota do recurso - encontra-se assinalado no sumários o período em que o docente responsável pela disciplina está disponível para dar esclarecimentos sobre a nota do recurso.

10 Jul - Notas finais propostas: estão afixadas em Avaliação / alunos.

10 Jul - Notas do exame de recurso: estão afixadas em Avaliação / alunos.

8 Jul - Notas do exame de recurso (actualização): deverão ser afixadas durante a manhã de segunda feira em Avaliação / alunos.

29 Jun - Publicados em Avaliação / alunos os nomes dos alunos admitidos ao exame de recurso.

27 Jun - Esclarecimentos sobre nota do TP - encontram-se assinalados no sumários os períodos em que os docentes estão disponíveis para dar esclarecimentos sobre a nota do TP. Cada aluno /grupo deve procurar o docente que os avaliou.

26 Jun - Acabam de ser afixadas em Avaliação / alunos as notas dos TPs.

24 Jun - Notas dos TPs: deverão ser afixadas em Avaliação / alunos na próxima 2.a-feira dia 26-Jun.

24 Jun - Notas do teste de 1-Jun: estão afixadas, bem como o enunciado com a correcção, em Avaliação / alunos. Serão brevemente anunciadas aqui as datas / horas para alunos que queiram ver o teste.

23 Jun - Notas do teste de 1-Jun: serão amanhã afixadas em Avaliação / alunos.

15 Jun - Orais do TP: recomenda-se aos alunos que não têm fotografia no portal académico que a insiram rapidamente, pois com tantos alunos é impossível à equipa docente lembrar-se de quem são, o que pode vir a prejudicar a sua avaliação.

14 Jun - Orais do TP: terão lugar na sala DI 0.11, ver horário. Para evitar esperas desnecessárias, os alunos só deverão chegar à sala quando se aproximar o seu "slot" de apresentação.

12 Jun - Entrega do TP: está aberta a partir das 12h de hoje a submissão do trabalho no portal http://www.di.uminho.pt/cp até às 23h59m do dia 13-Jun.

03 Jun - Entrega do TP (nova data): até às 23h59m do dia 13-Jun. Oportunamente serão dadas informações sobre o processo de submissão. As orais terão lugar nas tardes dos dias 16-Jun e 19-Jun.

31 Mai - Teste de 1-Jun, 16h, Cantina - informam-se os alunos de que podem trazer consigo, para consulta, o formulário, desde que sem anotações manuscritas; qualquer violação desta regra implica a sua recolha imediata.

20 Mai - Avisa-se que haverá uma aula teórica suplementar para LCC na próxima 4ª feira, dia 24 de Maio, das 16h-18h, no anfiteatro A5 do CP1.

10 Mai - Trabalho prático: relembram-se os alunos que devem consultar regularmente as FAQs que vão aparecendo na secção de Atendimento.

08 Mai - Em cumprimento do Despacho RT-29/2017, avisa-se que não haverá aulas desta disciplina na próxima 6ª feira dia 12 de Maio.

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

05 Mai - Publicado na Bibliografia mais um capítulo (344K) dos apontamentos.

02 Mai - Trabalho prático: os alunos devem consultar regularmente as FAQs que aparecerem na secção de Atendimento.

01 Mai - Publicada no Material a ficha nr.11, a preparar para as aulas TP da semana de 02-Mai.

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

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

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

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

31 Mar - Avisa-se que não haverá aula teórica na próxima 2ª feira dia 3 de Abril (docente em serviço em Lisboa).

31 Mar - Publicadas no Material várias bibliotecas em Haskell de apoio ao estudo de catamorfismos e seu papel na programação.

25 Mar - Publicada no Material a ficha nr.7, a preparar para as aulas TP da semana de 27-Mar.

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

16 Mar - Os alunos que pretendam usufruir da nota do TP do ano passado (cf. Regime de Avaliação) devem enviar ao responsável pela disciplina uma mensagem até 24-Abril; aqueles que o já tiverem feito não precisam de re-enviar mensagem.

13 Mar - Publicado na Bibliografia mais um capítulo (344K) dos apontamentos.

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

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

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

25 Fev - Não haverá aulas na terça-feira, dia 28, devido à tolerância de ponto (Despacho RT-14/2017)

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

14 Fev - Mudança de sala: a partir de 17-Fev (inclusive) a aula teórica de LCC passa para o anfiteatro A2.

10 Fev - Publicada no Material a ficha nr.1, a estudar para as aulas TP da semana de 13-Fev.

1 Fev - Início das aulas: 6 de Fevereiro. Na primeira semana só haverá aulas teóricas.

1 Fev - Criada esta página de avisos.

Material Pedagógico

Fichas das aulas práticas

Transparentes

Enunciado do trabalho prático

O material para realização do TP desta disciplina consta de um enunciado tinynew.gif (cp1617t.pdf) e de um zip tinynew.gif (cp1617t.zip) contendo a respectiva fonte (ficheiro cp1617t.lhs) + outros ficheiros auxiliares. Pressupõe-se que estão instaladas as biliotecas de Haskell abaixo referidas.

Os alunos devem começar por ler cp1617t.pdf para avaliarem o trabalho que há para fazer. Devem ainda deixar para o fim o último problema, cuja matéria só na semana que vem começará a ser leccionada.

Bibliotecas de Software (em Haskell)

  • tinynew.gif Probability.hs, ListUtils.hs, Show.hs e St.hs - necessárias à realização do trabalho prático.
  • google.hs tinynew.gif - ilustração da arquitectura map-reduce que foi mostrada nas aulas.
  • demos.hs tinynew.gif - contendo material auxiliar para a visualização em HTML da estrutura de dados virtual (intermédia) dos hilomorfismos qSort, hanoi, mSort etc das bibliotecas BTree.hs e LTree.hs. Experimentar qSort_vtree [6,3,9,1,7,18] e hanoi_vtree (True, 7), por exemplo. Encontrar-se-á a visualização no ficheiro _.html da directoria corrente.
  • Exp.hs tinynew.gif - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados expressões com variáveis que é usada em demos.hs.
  • FTree.hs - biblioteca contendo os cata/ana/hilomorfismos do tipo de dados árvores binárias completas (informação nos nós e nas folhas).
  • 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).
  • cp1617f02q3.hs - 'kit' de apoio à resolução da questão 3 da ficha 2.
  • 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
01-Jun-2017 / 16h-18h / Cantina Teste PDF
30-Jun-2017 / 16h-18h / Cantina Exame de recurso PDF tinynew.gif com a correcção
25-Jul-2017 / 09h-11h / tinynew.gif Sala CP2-204 Exame da época especial PDF

"Links"

-- JoseNunoOliveira - 07 Feb 2017

r43 - 28 Aug 2017 - 08:35:23 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM