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