Cálculo de Programas

Licenciatura em Engenharia Informática

Tópicos

Avisos

30 Set - Classificações finais dos alunos que fizeram exame da época especial: - ver Alunos

12 Set - Data, hora e sala do exame da época especial - ver sumários

25 Jul - Publicadas em Alunos as notas finais da disciplina.

9 Jul - Publicado no Material Pedagógico o enunciado do teste de 18-Jun com 5 questões resolvidas.

8 Jul - Hora e salas do exame de recurso de 12-Jul - ver sumários.

30 Jun - As classificações dos alunos com avaliação após teste de 18-Jun estão disponíveis em Alunos

18 Jun - Tal como se avisou a 22-Fev, a equipa docente insiste que não poderá assegurar a componente de avaliação contínua aos alunos que não tiverem a sua fotografia no BB.

14 Jun - Não serão distribuídos formulários no teste de 18-Jun. Quem desejar pode levar o formulário que está disponível no Material Pedagógico e que é o único elemento de consulta.

12 Jun - As classificações das fichas de avaliação do Método A estão disponíveis em Alunos.

9 Jun - Publicadas no Material Pedagógico as fichas de avaliação do Método A.

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

27 Mai - Hora e salas do teste individual - ver sumários.

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

15 Mai - Publicada na Bibliografia a última parte do texto de apoio à disciplina.

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

04 Mai - Publicados no Material Pedagógico (secção "Bibliotecas") uma série de ficheiros em Haskell de apoio às aulas sobre a segunda parte da matéria.

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

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

11 Abr - Tendo sido por vários alunos manifestada vontade de anularem a ficha de avaliação nr.1 e transitarem para o método B, informa-se que o prazo limite para tomarem essa decisão é a próxima 6a-feira, dia 15-Abr, comunicando-o ao docente responsável carregando aqui.

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

02 Abr - Método A - recorda-se que a avaliação nr.1 decorrerá nas aulas práticas da próxima semana. O único material de consulta é o formulário (em papel).

02 Abr - Publicadas no Material Pedagógico: (a) duas notas de apoio às aulas teóricas T-09 e T-10; (b) a ficha nr.6, destinada às aulas práticas da semana que começa a 4-Abr.

02 Abr - Publicado na Bibliografia mais um capítulo do texto de apoio à disciplina.

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

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

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

5 Mar - Publicada nos sumários a calendarização prevista para as avaliações do Método A.

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

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

26 Fev - Publicada em Alunos a alocação aos turnos práticos revista de acordo com as condições de frequência do método A.

23 Fev - Mensagens para a equpa docente: usem Contacto ou no mínimo garantam que o string "CP/1011" aparece no assunto; de outra forma, não há garantia de se não perderem nos filtros de SPAM.

22 Fev - Fotografias: os alunos que não tem fotografia no portal académico (logo também não no BB) devem colocá-la o mais depressa possível.

22 Fev - Tendo a equipa docente recebido emails de alunos que se enganaram na sua inscrição, informa-se que essas situações serão tratadas após o fecho das inscrições, por ordem de chegada.

21 Fev - Inscrição nos turnos práticos: ver as condições de frequência em Regime de Avaliação.

19 Fev - Turnos práticos: a inscrição electrónica nos turnos práticos terá lugar 3ª-feira, dia 22-Fev das 10h00 às 18h00 via Blackboard (código: 1011.8204N5).

19 Fev - Os alunos devem estar atentos aos Avisos da página da disciplina.

16 Fev - As aulas teóricas começam na próxima 5ª-feira, 24-Fev, às 09h00 - ver sumários.

16 Fev - Já estão calendarizadas as provas de avaliação -- ver calendário da disciplina.

15 Fev - Foi criada esta página.

Material Pedagógico

Fichas das aulas práticas

Notas pedagógicas

Transparentes

Bibliotecas

  • 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 | Split (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 (ciclos-for, etc.
  • Exp.hs - biblioteca auxiliar a demos.hs.
  • Cp.hs - contendo os combinadores de base da notação adoptada, e.g. split, ><, -|- etc.

Enunciados de provas de avaliação

Data Tipo Método Descrição Ficheiro
- Avaliação contínua A Fichas de avaliação dos 5 turnos PDF
18-Jun-2011 Teste A+B Teste individual sem consulta PDF (com a resolução de 5 questões)
12-Jul-2011 Exame de recurso A+B Exame individual sem consulta tinynew.gif (PDF)

Outro material

r27 - 12 Jul 2011 - 14:32:12 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM