Cálculo de Programas

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

Tópicos

Avisos

19 Set - Classificações do exame de época especial: estão publicadas em Alunos.

05 Set - Exame da época especial: ver o calendário da disciplina.

25 Jul - Classificações finais: estão publicadas em Alunos.

21 Jul - Os alunos que pretendam consultar os seus exames poderão fazê-lo hoje, 21-Jul, das 16h00-18h00, junto do responsável da disciplina.

21 Jul - Provas orais: terão lugar dia 23-Jul de manhã, das 9h às 11h, na sala DI 1.08.

21 Jul - Classificações do exame de recurso: estão publicadas em Alunos.

18 Jul - As notas do exame de recurso serão lançadas em Alunos dentro de 2 ou 3 dias no máximo.

25 Jun - Horário para consulta do teste: amanhã (26-Jun) das 11h-13h e das 14h30-16h30, no gabinete de Luis S. Barbosa.

24 Jun - O exame de recurso está marcado para as 9h00 de 4-Jul, nas salas CPII - 201, 202 e 203, cf. Sumários.

24 Jun - Classificações à data da época normal: estão publicadas em Alunos .

24 Mai - Publicado no Material Pedagógico o enunciado do teste de 13-Jun, com a correcção.

23 Mai - Continua a haver alunos que não têm fotografia no portal académico, o que pode comprometer a sua componente de avaliação contínua na disciplina.

11 Jun - Teste de 13-Jun: por falta de salas foi necessário alterar a hora do teste para as 18h, ver Sumários.

11 Jun - Algumas dúvidas frequentes encontram-se respondidas na secção de FAQs do Atendimento.

05 Jun - Classificações do mini-teste: estão publicadas em Alunos.

26 Mai - Publicada no Material Pedagógico aúltima ficha prática (nr.11).

21 Mai - Publicado no Material Pedagógico o enunciado do mini-teste com a correcção.

21 Mai - LEI, Turno TP4: devido a uma missão em Lisboa o docente não poderá leccionar esta aula, tendo lugar a sua substituição dia 4 de Junho das 17 às 19h, no anfiteatro DI-A2.

18 Mai - Publicada no Material Pedagógico a ficha nr.10, destinada às aulas práticas da semana de aulas que começa a 19-Mai.

11 Mai - O miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203 é uma prova individual sem consulta, exceptuando o formulário da disciplina que os alunos podem imprimir a partir do Material Pedagógico.

10 Mai - Turno LEI-TP2, de quinta-feira: as aulas de compensação terão lugar 2ª e 3ª-feira no horário afixado em Sumários. Por favor não faltem: são aulas essenciais em que vai ser versada matéria quer sai para o mini-teste.

10 Mai - Miniteste dia 15-Maio, 9h00, salas CPII - 201, 202 e 203: a matéria a avaliar vai até à Ficha nr.9, excluindo lei de recursividade múltipla e fusão-cata envolvendo árvores. A matéria é, obviamente, a mesma para os dois cursos.

08 Mai - Chama-se a atenção dos alunos para as aulas de reposição do turno TP2 (LEI) que terão lugar nos dias 12 e 13 de Maio - ver Sumários.

04 Mai - Publicada no Material Pedagógico a ficha nr.9, destinada às aulas práticas da semana de aulas que começa a 05-Mai.

30 Abr - Não tendo sido possível cumprir estritamente o calendário previsto para as aulas de CP, informa-se que o teste foi adiado para o dia 15 de Maio, 9h, nas salas CP2 - 201, 202 e 203 (ver Sumários.

24 Abr - Por determinação superior e tal como se avisa nos Sumários, foram suspensas as aulas do dia de hoje.

20 Abr - Publicada no Material Pedagógico a ficha nr.8, destinada às aulas práticas da semana de aulas que começa a 22-Abr.

20 Abr - Chama-se a atenção dos alunos para as aulas de reposição de vários turnos que terão lugar no dia 23-Abr, ver Sumários.

06 Abr - Publicada no Material Pedagógico a ficha nr.7, destinada às aulas práticas da semana que começa a 7-Abr.

30 Mar - Publicada no Material Pedagógico a ficha nr.6, destinada às aulas práticas da semana que começa a 31-Mar.

30 Mar - Publicado na Bibliografia o capítulo dos apontamentos teóricos da disciplina referentes à segunda parte da matéria.

22 Mar - Publicada no Material Pedagógico ficha nr.5, destinada às aulas práticas da semana que começa a 24-Mar.

15 Mar - Aula de substituição (LEI/TP4): Tal como anunciado em Sumários, a aula em falta será reposta 4feira, dia 19 de Março, 17-19h na sala DI-A2.

15 Mar - Publicada no Material Pedagógico a ficha nr.4, destinada às aulas práticas da semana que começa a 17-Mar.

08 Mar - Publicada no Material Pedagógico a ficha nr.3, destinada às aulas práticas da semana que começa a 10-Mar.

03 Mar - Publicada no Material Pedagógico a ficha nr.2, destinada às aulas práticas desta semana.

03 Mar (LEI): mudança de sala da aula teórica de 5.ª-feira: passou para o CP1/A3.

03 Mar - Fotografias: os alunos que não têm fotografia no portal académico devem tratar de a disponibilizar o mais rapidamente possível. A falta de fotografia pode comprometer a componente de avaliação contínua desta disciplina.

22 Fev - Publicada no Material Pedagógico a ficha nr.1, destinada às aulas práticas da semana que começa a 24-Fev.

17 Fev - Datas das avaliações: ver Sumários

17 Fev - Turnos TP (LEI): ver Alunos

16 Fev - Calendário previsto para a disciplina publicado em Sumários, incluindo provas de avaliação.

14 Fev - As aulas terão início a 17-Fev-2014.

14 Fev - Criada esta página de avisos.

Material Pedagógico

Fichas das aulas práticas

Notas pedagógicas

Transparentes

Outro material

Bibliotecas de Software (em Haskell)

  • google.hs - exemplo 'ad hoc' de estratégia map-reduce (à la Google) implementada directamente por combinadores estudados nesta disciplina.
  • demos.hs - 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.
  • 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. duplo factorial, `merge-sort', Fibonacci etc).
  • BTree.hs - biblioteca contendo os cata/ana/hilomorfismos do 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).
  • Exp.hs - biblioteca auxiliar a demos.hs.
  • List.hs - biblioteca geral para listas em Haskell, contendo a respectiva bateria de combinadores ana+cata+hilo e exemplos de utilização, que incluem os dados nas aulas.
  • 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.

Enunciados de provas de avaliação

Data Descrição Ficheiro
15-Mai-2014 Mini-teste PDF (com a correcção)
13-Jun-2014 Teste PDF (com a correcção)
04-Jul-2014 Exame de recurso PDF (parcialmente resolvido) tinynew.gif
13-Set-2014 Exame da época especial PDF

Enunciados a disponibilizar após a realização de cada prova.

r27 - 12 Sep 2014 - 10:25:56 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM