Cálculo de Programas

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

Tópicos

Avisos

13-Set - Época especial, notas finais: verAlunos.

5-Set - O Exame da época especial terá lugar dia 7-Set, às 14h00, na sala CP1-308.

23 Jul - Orais: as orais terão lugar na sala DI 1.08.

21 Jul - Notas finais: ver Alunos. Os alunos marcados com "oral" deverão comparecer no DI sexta-feira dia 24-Jul às 15h da tarde. A sala será indicada brevemente.

17 Jul - Consulta do exame de recurso: será segunda-feira, dia 20-Jul, das 08h às 12h, na sala DI 1.08.

17 Jul - Notas do exame de recurso de 07-Jul: ver Alunos

06 Jul - Exame de recurso amanhã, 07-Jul, às 16h00: terá lugar nas salas da cantina de Gualtar. O exame é sem consulta exceptuando o formulário disponível no material pedagógico da disciplina, que os alunos deverão trazer consigo impresso.

04 Jul - Publicado no Material Pedagógico o enunciado do teste de 16-Jun, com a correcção.

01 Jul - Sessão para ver o teste: será amanhã, dia 2-Jul, das 14h às 16h, na sala DI 0.11.

01 Jul - Notas do teste de 16-Jun: ver Alunos

15 Jun - Teste amanhã, 20h: o teste é sem consulta exceptuando o formulário disponível no material pedagógico da disciplina, que os alunos deverão trazer consigo impresso.

14 Jun - Alteração da hora do teste: por falta de salas, o teste de CP será realizado no mesmo dia em horário pós-laboral: 20h00 às 22h30, dia 16-Jun, salas CP2 201, 202 e 203 (ou 204).

14 Jun - Anúncio de aulas suplementares: LEI: turnos TP4 e TP5, dia 15 de Junho, das 11:00 - 13:00, na sala 103 do CPI; LCC: turno TP1, dia 15 de Junho, das 11:00 - 13:00, na sala 103 do CPI.

11 Jun - Data e hora do Teste de CP: Ter, 16 de junho, 18:00-20:00.

10 Jun - Estão a ser publicadas FAQs sobre exercícios em Atendimento.

09 Jun - Notas dos TPs: ver Alunos.

01 Jun - LCC, Turno TP2: chama-se a atenção dos alunos para a aula suplementar que terá lugar dia 4-Jun das 15h30 às 17h30 na sala CP1 104 - ver Sumários.

01 Jun - Defesas dos TPs: ver horário das orais em Alunos.

29 Mai - Instruções para entrega do TP: ver Alunos.

24 Mai - Publicada no Material a ficha nr.12, a preparar para as aulas TP da última semana de aulas.

24 Mai - Data limite para entrega do trabalho prático: 31 Mai 2015, até às 23h59m. Detalhes em Material.

21 Mai - Horário de apoio ao projecto: sala DI 0.02 nos períodos indicados no calendário da disciplina.

17 Mai - Publicada no Material a ficha nr.11, a preparar para as aulas TP da semana de 18-Mai.

05 Mai - LEI, Turnos TP1 e TP2: chama-se a atenção dos alunos para a alteração da hora da aula de reposição amanhã de tarde, que será às 16h00 e não às 14h00 como inicialmente previsto - ver Sumários.

02 Mai - Publicada no Material a ficha nr.10, a preparar para as aulas TP da semana de 04-Mai.

29 Abr - LEI, Turnos TP1 e TP2: chama-se a atenção dos alunos para novas alterações (temporárias) no horário destes turnos e para as aulas de substituição previstas nos Sumários.

28 Abr - Publicado na Bibliografia o último capítulo ( 450K) dos apontamentos.

26 Abr - Publicada no Material a ficha nr.9, a preparar para as aulas TP da semana de 27-Abr.

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

24 Abr - Publicados os grupos de trabalho em Alunos

24 Abr - Informação sobre Trabalho prático: ver Material

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

15 Abr - LEI, Turnos TP1 e TP2: chama-se a atenção dos alunos para as alterações (temporárias) no horário destes turnos e para as aulas de substituição previstas nos Sumários.

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

09 Abr - Registo de grupos para trabalho prático: ver Alunos

04 Abr - Publicada no Material a ficha nr.6, a preparar para as aulas TP da semana de 07-Abr.

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

16 Mar - Publicado na Bibliografia mais um capítulo ( 550K) dos apontamentos.

14 Mar - Publicada no Material a ficha nr.4, a preparar para as aulas TP da semana de 16-Mar.

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

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

23 Fev - Publicada a página de Bibliografia.

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

17 Fev - Inscrição nos turnos TP: será feita no sistema de e-learning: LEI- 18-Fev, das 10h00 às 18h00; LCC - 20-Fev, das 10h00 às 18h00

11 Fev - Início das aulas: ver Sumários.

11 Fev - Criada esta página de avisos.

-- JoseNunoOliveira - 11 Feb 2015

Education » CP1415 » WebHome » MaterialPedagogico

Material Pedagógico

Fichas das aulas práticas

Notas pedagógicas

Transparentes

Outro material

Bibliotecas de Software (em Haskell)

  • St.hs tinynew.gif - contendo uma versão simplificada do mónade de estado (NB: demos.hs foi actualizada com um exemplo de catamorfismo sobre o mónade de estado).
  • 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.
  • Exp.hs - biblioteca auxiliar a demos.hs.
  • 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).
  • 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).
  • List.hs - biblioteca geral para listas em Haskell, contendo combinadores (e.g. catamorfismos) 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.

Enunciado o trabalho prático

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

Os alunos devem começar por ler cp1415t.pdf para avaliarem o trabalho que há para fazer. Devem ainda deixar para o fim as questões da última parte, cuja matéria só na semana que vem começará a ser leccionada.

Enunciados de provas de avaliação

Data Descrição Ficheiro
16-Jun-2015 Teste com a correcção PDF
07-Jul-2015 Exame de recurso PDF
a marcar Exame da época especial PDF

r38 - 26 Jun 2018 - 17:05:16 - JoseNunoOliveira
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM