Cálculo de Programas

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

Tópicos

Avisos

28 Ago - Época especial: as classificações estão afixadas em Avaliação / alunos.

23-Jul - Publicada em Avaliação / alunos a correcção do exame de recurso (PDF)

17-Jul - Época especial: o exame terá lugar no dia / horas 25-Jul-2017 / 09h-11h, na sala CP2-204.

10 Jul - Esclarecimentos sobre nota do recurso - encontra-se assinalado no sumários o período em que o docente responsável pela disciplina está disponível para dar esclarecimentos sobre a nota do recurso.

10 Jul - Notas finais propostas: estão afixadas em Avaliação / alunos.

10 Jul - Notas do exame de recurso: estão afixadas em Avaliação / alunos.

8 Jul - Notas do exame de recurso (actualização): deverão ser afixadas durante a manhã de segunda feira em Avaliação / alunos.

29 Jun - Publicados em Avaliação / alunos os nomes dos alunos admitidos ao exame de recurso.

27 Jun - Esclarecimentos sobre nota do TP - encontram-se assinalados no sumários os períodos em que os docentes estão disponíveis para dar esclarecimentos sobre a nota do TP. Cada aluno /grupo deve procurar o docente que os avaliou.

26 Jun - Acabam de ser afixadas em Avaliação / alunos as notas dos TPs.

24 Jun - Notas dos TPs: deverão ser afixadas em Avaliação / alunos na próxima 2.a-feira dia 26-Jun.

24 Jun - Notas do teste de 1-Jun: estão afixadas, bem como o enunciado com a correcção, em Avaliação / alunos. Serão brevemente anunciadas aqui as datas / horas para alunos que queiram ver o teste.

23 Jun - Notas do teste de 1-Jun: serão amanhã afixadas em Avaliação / alunos.

15 Jun - Orais do TP: recomenda-se aos alunos que não têm fotografia no portal académico que a insiram rapidamente, pois com tantos alunos é impossível à equipa docente lembrar-se de quem são, o que pode vir a prejudicar a sua avaliação.

14 Jun - Orais do TP: terão lugar na sala DI 0.11, ver horário. Para evitar esperas desnecessárias, os alunos só deverão chegar à sala quando se aproximar o seu "slot" de apresentação.

12 Jun - Entrega do TP: está aberta a partir das 12h de hoje a submissão do trabalho no portal http://www.di.uminho.pt/cp até às 23h59m do dia 13-Jun.

03 Jun - Entrega do TP (nova data): até às 23h59m do dia 13-Jun. Oportunamente serão dadas informações sobre o processo de submissão. As orais terão lugar nas tardes dos dias 16-Jun e 19-Jun.

31 Mai - Teste de 1-Jun, 16h, Cantina - informam-se os alunos de que podem trazer consigo, para consulta, o formulário, desde que sem anotações manuscritas; qualquer violação desta regra implica a sua recolha imediata.

20 Mai - Avisa-se que haverá uma aula teórica suplementar para LCC na próxima 4ª feira, dia 24 de Maio, das 16h-18h, no anfiteatro A5 do CP1.

10 Mai - Trabalho prático: relembram-se os alunos que devem consultar regularmente as FAQs que vão aparecendo na secção de Atendimento.

08 Mai - Em cumprimento do Despacho RT-29/2017, avisa-se que não haverá aulas desta disciplina na próxima 6ª feira dia 12 de Maio.

06 Mai - Publicada no Material a ficha nr.12, a preparar para as aulas TP da semana de 08-Mai.

05 Mai - Publicado na Bibliografia mais um capítulo (344K) dos apontamentos.

02 Mai - Trabalho prático: os alunos devem consultar regularmente as FAQs que aparecerem na secção de Atendimento.

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

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

23 Abr - Publicada no Material a ficha nr.10, a preparar para as aulas TP da semana de 24-Abr.

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

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

31 Mar - Avisa-se que não haverá aula teórica na próxima 2ª feira dia 3 de Abril (docente em serviço em Lisboa).

31 Mar - Publicadas no Material várias bibliotecas em Haskell de apoio ao estudo de catamorfismos e seu papel na programação.

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

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

16 Mar - Os alunos que pretendam usufruir da nota do TP do ano passado (cf. Regime de Avaliação) devem enviar ao responsável pela disciplina uma mensagem até 24-Abril; aqueles que o já tiverem feito não precisam de re-enviar mensagem.

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

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

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

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

25 Fev - Não haverá aulas na terça-feira, dia 28, devido à tolerância de ponto (Despacho RT-14/2017)

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

14 Fev - Mudança de sala: a partir de 17-Fev (inclusive) a aula teórica de LCC passa para o anfiteatro A2.

10 Fev - Publicada no Material a ficha nr.1, a estudar para as aulas TP da semana de 13-Fev.

1 Fev - Início das aulas: 6 de Fevereiro. Na primeira semana só haverá aulas teóricas.

1 Fev - Criada esta página de avisos.

This is a subscription service to be automatically notified by e-mail when topics change in this Education/CP1617 web. This is a convenient service, so you do not have to come back and check all the time if something has changed. To subscribe, please add a bullet with your WikiName in alphabetical order to this list:

Web Changes Notification Service

Each TWiki web has an automatic e-mail notification service that sends you an e-mail with links to all of the topics modified since the last alert.

Users subscribe to email notifications using their WikiName or an alternative email address, and can specify the webs/topics they wish to track using one of these bullet list formats:

three spaces * [ webname . ] wikiName - SMTP mail address
three spaces * [ webName . ] wikiName
three spaces * SMTP mail address
three spaces * SMTP mail address : topics
three spaces * [ webname . ] wikiName : topics

In the above examples, topics is a space-separated list of topic names. The user may further customize the specific content they will receive using the following formats:

  • Specify topics without a Web. prefix
  • Topics must exist in this web.
  • Topics may be specified using * wildcards
  • Each topic may optionally be preceded by a '+' or '-' sign. The '+' sign means "subscribe to this topic" (the same as not putting anything). The '-' sign means "unsubscribe" or "don't send notifications regarding this topic". This allows users to elect to filter out certain topics (and their children, to an arbitrary depth). Topic filters ('-') take precedence over topic includes ('+').
  • Each topic may optionally be followed by an integer in parentheses, indicating the depth of the tree of children below that topic. Changes in all these children will be detected and reported along with changes to the topic itself. Note This uses the TWiki "Topic parent" feature.
  • Each topic may optionally be immediately followed by an exclamation mark ! or a question mark ? with no intervening spaces, indicating that the topic (and children if there is a tree depth specifier as well) should be mailed out as complete topics instead of change summaries. ! causes the topic to be mailed every time even if there have been no changes, ? will mail the topic only if there have been changes to it. This only makes sense for subscriptions.

For example: Subscribe Daisy to all changes to topics in this web.

   * daisy.cutter@flowers.com
Subscribe Daisy to all changes in all webs that start with Web.
   * daisy.cutter@flowers.com: Web*
Subscribe Daisy to changes to topics starting with Petal, and their immediate children, WeedKillers and children to a depth of 3, and all topics that match start with Pretty and end with Flowers e.g. PrettyPinkFlowers
   * TWiki.DaisyCutter: Petal* (1) TWiki.WeedKillers (3) Pretty*Flowers
Subscribe StarTrekFan to changes to all topics that start with Star except those that end in Wars, sInTheirEyes or shipTroopers.
   * TWiki.StarTrekFan: Star* - *Wars - *sInTheirEyes - *shipTroopers
Subscribe Daisy to the full content of NewsLetter whenever it has changed
   * daisy@flowers.com: TWiki.NewsLetter?
Subscribe buttercup to NewsLetter and its immediate children, even if it hasn't changed.
   * buttercup@flowers.com: TWiki.NewsLetter! (1)
Subscribe GardenGroup (which includes Petunia) to all changed topics under AllnewsLetters to a depth of 3. Then unsubscribe Petunia from the ManureNewsLetter, which she would normally get as a member of GardenGroup? :
   * TWiki.GardenGroup: TWiki.AllNewsLetters? (3)
   * petunia@flowers.com: - TWiki.ManureNewsLetter
A user may be listed many times in the WebNotify topic. Where a user has several lines in WebNotify that all match the same topic, they will only be notified about changes that topic once (though they will still receive individual mails for news topics).

If a TWiki group is listed for notification, the group will be recursively expanded to the e-mail addresses of all members.

TIP Tip: List names in alphabetical order to make it easier to find the names.

Note for System Administrators: Notification is supported by an add-on to the TWiki kernel called the MailerContrib. See the MailerContrib topic for details of how to set up this service.

Note: If you prefer a news feed, point your reader to WebRss (for RSS 1.0 feeds) or WebAtom (for ATOM 1.0 feeds). Learn more at WebRssBase and WebAtomBase, respectively.

Related topics: WebChangesAlert, TWikiUsers, TWikiRegistration

r5 - 28 Mar 2005 - 09:40:13 - TWikiContributor
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM