Cálculo de Programas

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

Tópicos

Avisos

21 Set - Lançadas em Alunos as notas do exame da tinynew.gif época especial.

7 Set - Alteração de sala: o exame de amanhã será afinal no anfiteatro ED2-B2 e não no A1, como foi antes anunciado.

4 Set - O exame da época especial será exclusivamente presencial e terá lugar 3ª-feira, 8-Set, 14:00–17:00, no anfiteatro ED1-A1. Sendo presencial, cumpre-se o estipulado no Regime de avaliação da disciplina: sem consulta, exceptuando o formulário.

2 Set - No seu interesse, os alunos inscritos para exame da época especial desta disciplina devem consultar com o seu tinynew.gif e-mail institucional.

29 Jul - Publicadas em Alunos as tinynew.gif classificações finais desta disciplina.

27 Jul - Orais: terão lugar na próxima quarta-feira, 29-Jul, das 10h30 às 11h30 da manhã, via BBC. Os respectivos links serão enviados aos alunos por e-mail.

24 Jul - Lançadas em Alunos as notas do exame de recurso de 18-Jul.

13 Jul - O exame de recurso desta disciplina terá lugar no próximo sábado, 18 de Julho, das 10h às 13h. Será feito remotamente via BB, tal como o teste.

13 Jul - Disponibilizada em Material o teste de 13-Jun com algumas questões resolvidas.

10 Jul - As notas à data da época normal estão publicadas em Alunos.

8 Jul - As nota do teste e TP serão publicadas amanhã em Alunos.

3 Jul - Sugestão (hoje às 16h): Haskell, then and now: What is the future for functional programming languages?

24 Jun - Orais dos TP: ver horário e detalhes em Alunos.

22 Jun - As defesas orais dos TP terão lugar nos dias 29 e 30 de Junho. Brevemente será divulgado em Alunos o escalonamento dos grupos (gerado aleatoriamente) e detalhes sobre o processo.

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

12 Jun - Informa-se que o teste de amanhã (13-Jun) terá a duração de 3 horas, das 10h00 às 13h00.

10 Jun - Nova data para entrega do trabalho prático: 17-Jun (4ª-feira) às 23h59m.

10 Jun - O teste desta disciplina terá início, via BB, às 10h do dia 13-Jun.

22 Mai - O teste desta disciplina terá lugar a 13 de Junho, em horário a definir. Será feito remotamente via BB pelo que, ao contrário do que estava inicialmente previsto, será um teste de consulta (“open-book”). Antes de mais, todos os alunos deverão de imediato verificar se têm acesso à sua página de CP no BB (LCC ou MiEI). Mais informações serão dadas sobre este assunto aqui e no Slack da disciplina.

18 Mai - Publicada no Material a ficha nr.13 (última), destinada às aulas TP desta semana.

13 Mai - Disponibilizada em Material a gravação em vídeo da aula T13 de amanhã à tarde.

11 Mai - Publicada no Material a ficha nr.12, destinada às aulas TP desta semana.

7 Mai - Disponibilizada em Material a gravação em vídeo da aula T12 de hoje à tarde.

5 Mai - Publicada no Material a ficha nr.11, destinada às aulas TP desta semana.

30 Abr - Disponibilizada em Material a gravação em vídeo da aula T11 de hoje.

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

27 Abr - Publicada no Material a ficha nr.10, a preparar para as aulas TP desta semana.

22 Abr - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T10 desta 5ª-feira.

20 Abr - Publicada no Material a ficha nr.9, a preparar para as aulas TP desta semana.

15 Abr - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T9 desta 5ª-feira.

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

31 Mar - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T8 desta 5ª-feira.

24 Mar - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T7 desta 5ª-feira.

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

17 Mar - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T6 desta 5ª-feira.

16 Mar - Aulas Teóricas T6: a gravação de vídeo das aulas de quinta-feira, 19-Março, irá ficar disponível amanhã em Material. Recomenda-se aos alunos que o vejam antes da sua aula. No horário das aulas T o docente estará on-line para responder a questões e dúvidas. O que for mais relevante será afixado na FAQs de Atendimento.

15 Mar - Foi enviada uma mensagem via BB a todos os alunos sobre o re-início das aulas - por favor vejam as vossas caixas de correio.

13 Mar - De acordo com a circular CPEEUM-01/2020, as aulas re-iniciam-se na próxima segunda-feira, 16-Mar, em modo de e-learning (on-line). Brevemente serão dadas aqui (e enviadas por email via BB) informações sobre esse novo formato das aulas da disciplina.

10 Mar - Trabalho prático: está aberta a inscrição dos grupos de trabalho, que deverá ser feita em https://form.di.uminho.pt/grupo_cp até dia 1 de Abril. NB: os grupos com alunos externos devem contactar a equipa docente antes de se inscreverem.

9 Mar - Por determinação superior, esta semana não haverá aulas, cf. despachos RT-23/24 da Reitoria. A equipa docente está disponível para acompanhar o estudo à distância dos alunos. Pf. estejam atentos às FAQs em Atendimento. Nas mensagens coloquem sempre "CP/1920" no assunto.

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

28 Fev - Publicada no Material a ficha nr.4, a preparar para as aulas TP da semana de 2-Mar.

26 Fev - A aula de reposição do turno MiEI/TP1 do dia 28 de Fevereiro, 6.a-feira, 11h-13h, terá lugar na sala E2-1.03.

20 Fev - Não haverá aula do turno TP1 amanhã (6ª-feira, 14:00, MiEI, E3-2.03). Será dada uma aula de substituição no dia 28 de Fevereiro, 6.a-feira, das 11h-13h, em sala a divulgar posteriormente.

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

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

12 Fev - Alteração de sala do turno LCC/TP1 para a E1-1.20.

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

28 Jan - Início das aulas: 5ª-feira, dia 6-Fev. Ver Sumários.

28 Jan - Criada esta página de avisos.

Material Pedagógico

O material de apoio às aulas desta disciplina irá sendo disponibilizado nesta página à medida que as aulas forem progredindo.

Vídeos das aulas teóricas

Os vídeos das aulas teóricas estão disponíveis no servidor do DIUM, neste tinynew.gif endereço

Os alunos podem ver os vídeos no horário das aulas T ou antes (preferencialmente!). No horário das aulas T o docente estará on-line, no canal #geral do slack CP1920@UM, para responder às questões e dúvidas que haja.

Compilar-se-ão nas FAQs do Atendimento o que for mais relevante.

Fichas das aulas práticas

Enunciados das provas de avaliação

Data Hora Local Descrição Enunciado
13-Jun 10h/13h on-line (BBC) Teste individual PDF (uma das versões)
18-Jul 10h/13h on-line (BBC) Exame de recurso PDF (uma das versões)
8-Set 14h/16h ED2-B2 Exame da época especial PDF

Enunciado do trabalho prático

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

A data de entrega é 17 de Junho (tinynew.gif nova data). Oportunamente serão dadas informações sobre o processo de submissão dos trabalhos.

Bibliotecas de Software (em Haskell)

  • St.hs contendo uma versão simplificada do mónade de estado.
  • 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).
  • 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).
  • List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) e exemplos de utilização.
  • SList.hs - biblioteca geral para listas com sentinela em Haskell, contendo combinadores (e.g. ana-cata-hilo) 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

Transparentes

"Links"

-- JoseNunoOliveira - 05 Feb 2020

r49 - 21 Sep 2020 - 15:12:35 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM