Cálculo de Programas

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

Tópicos

Avisos

24 Set - Notas do exame da época especial : estão publicadas em Alunos.

08 Set - Exame da época especial (LCC+LEI): 12-Set, 09h00, Sala CP2-304.

30 Ago - Exame da época especial (LCC+LEI): Sala a anunciar, 12-Set de manhã.

23 Jul - Classificações finais (à data da época de recurso): estão publicadas em Alunos.

21 Jul - Classificações à data da época de recurso: disponíveis em Alunos. Quem tiver nota negativa igual ou superior a 8 valores poderá submeter-se a exame oral. As orais terão lugar 3ª-feira, dia 23-Jul, das 14h às 17h, na sala DI 0.02.

20 Jul - Classificações (época de recurso): serão publicadas em Alunos antes de 22-Jul.

06 Jul - Os alunos deverão continuar a estar atentos à secção de FAQs do Material Pedagógico.

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

15 Jun - Algumas dúvidas frequentes encontram-se respondidas na secção de FAQs do Material Pedagógico.

11 Jun - Mini-teste de 22-Mai: no Material Pedagógico encontra-se o enunciado agora com correcção.

11 Jun - A aula suplementar do turmo LEI-TP3 (14-Jun) será às 10h-12h (sala DIUM 1.08) e não às 14h-16h como inicialmente previsto.

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

06 Jun - Aulas de substituição (LCC-TP2) e de dúvidas (LEI TP1,TP4,TP5): ver Sumários.

06 Jun - Chama-se a atenção dos alunos para o preenchimento na intranet dos inquéritos pedagógicos até 3-Jul 2013.

04 Jun - Aula de substituição (LEI-TP3): terá lugar na sala DIUM 1.08 no dia 7-Jun, 09h-11h.

03 Jun - Aula de substituição (LCC-T1): terá lugar no anfiteatro DIUM A.2 dia 5-Jun, 16h-18h.

02 Jun - Publicada no Material Pedagógico a ficha nr.12, destinada às aulas práticas da última semana de aulas.

30 Mai - Devido a um imprevisto, terão que ser canceladas duas aulas de amanhã, 31-Maio, a saber: LEI-TP3 [CPII - C2/205] e LCC-T1 [CPII - C2/202]. Oportunamente se fará uma proposta para a sua reposição.

26 Mai - Publicada no Material Pedagógico a ficha nr.11, destinada às aulas práticas desta semana.

09 Mai - Turnos LEI-TP4 e LEI-TP5 - pf ver em Sumários as aulas de substituição das que não houve no passado dia 7-Mai (atenção às salas, também).

06 Mai - Miniteste do dia 22-Maio: a matéria a avaliar vai até à Ficha nr.9 inclusivé. Ver hora e salas nos Sumários.

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

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

23 Abr - De novo devido a uma reunião na instituição, o docente do turno LEI/TP2 é forçado a adiar para 8-Maio, às 14h, no anfiteatro DI-A2, a aula suplementar inicialmente prevista para amanhã - ver Sumários.

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

17 Abr - Devido a uma reunião do Conselho Científico da Escola de Engenharia, a que o docente do turno LEI/TP2 pertence, só poderá dar-se início à aula de substituição desta tarde às 17h, no mesmo anfiteatro.

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

13 Abr - Turno LCC/TP1: atenção ao novo calendário das aulas de substituição, conforme se indica nos Sumários.

13 Abr - Notícia: School of Haskell Goes Public

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

04 Abr - Aulas dos turnos LCC/TP1 e LEI/TP2: devido a um imprevisto e a uma missão no estrangeiro as aulas desta e da próxima semana não terão lugar, sendo substituídas conforme se indica nos Sumários.

04 Abr - Alunos incontactáveis - ver tinynew.gif Alunos.

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

20 Mar - Aulas de compensação (turnos LCC/TP1 e LEI/TP2): Tal como foi sendo anunciado nos Sumários, as aulas em falta na semana passada serão compensadas esta tarde, nos horários aí anunciados.

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

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

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

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

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

8 Fev - Turnos TP (LEI): ver Alunos

7 Fev - 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.

6 Fev - Horário e turnos - ver Horário.

6 Fev - As aulas terão início a 18-Fev-2013.

6 Fev - Criada esta página de avisos.

Material Pedagógico

Fichas das aulas práticas

Notas pedagógicas

Transparentes

Outro material

Bibliotecas de Software

  • google.hs tinynew.gif - 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
22-Mai-2013 Mini-teste PDF
17-Jun-2013 Teste PDF
08-Jul-2013 Exame de recurso PDF
12-Set-2013 Exame da época especial PDF

r44 - 06 Jul 2015 - 13:44:32 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM