Cálculo de Programas

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

Tópicos

Avisos

21 Set - Lançadas em Alunos as notas do exame da tinynew.gif época especial.

7 Set - Alteração de sala: o exame de amanhã será afinal no anfiteatro ED2-B2 e não no A1, como foi antes anunciado.

4 Set - O exame da época especial será exclusivamente presencial e terá lugar 3ª-feira, 8-Set, 14:00–17:00, no anfiteatro ED1-A1. Sendo presencial, cumpre-se o estipulado no Regime de avaliação da disciplina: sem consulta, exceptuando o formulário.

2 Set - No seu interesse, os alunos inscritos para exame da época especial desta disciplina devem consultar com o seu tinynew.gif e-mail institucional.

29 Jul - Publicadas em Alunos as tinynew.gif classificações finais desta disciplina.

27 Jul - Orais: terão lugar na próxima quarta-feira, 29-Jul, das 10h30 às 11h30 da manhã, via BBC. Os respectivos links serão enviados aos alunos por e-mail.

24 Jul - Lançadas em Alunos as notas do exame de recurso de 18-Jul.

13 Jul - O exame de recurso desta disciplina terá lugar no próximo sábado, 18 de Julho, das 10h às 13h. Será feito remotamente via BB, tal como o teste.

13 Jul - Disponibilizada em Material o teste de 13-Jun com algumas questões resolvidas.

10 Jul - As notas à data da época normal estão publicadas em Alunos.

8 Jul - As nota do teste e TP serão publicadas amanhã em Alunos.

3 Jul - Sugestão (hoje às 16h): Haskell, then and now: What is the future for functional programming languages?

24 Jun - Orais dos TP: ver horário e detalhes em Alunos.

22 Jun - As defesas orais dos TP terão lugar nos dias 29 e 30 de Junho. Brevemente será divulgado em Alunos o escalonamento dos grupos (gerado aleatoriamente) e detalhes sobre o processo.

15 Jun - Entrega dos TP: ver instruções em Alunos. Data limite: 17 de Junho.

12 Jun - Informa-se que o teste de amanhã (13-Jun) terá a duração de 3 horas, das 10h00 às 13h00.

10 Jun - Nova data para entrega do trabalho prático: 17-Jun (4ª-feira) às 23h59m.

10 Jun - O teste desta disciplina terá início, via BB, às 10h do dia 13-Jun.

22 Mai - O teste desta disciplina terá lugar a 13 de Junho, em horário a definir. Será feito remotamente via BB pelo que, ao contrário do que estava inicialmente previsto, será um teste de consulta (“open-book”). Antes de mais, todos os alunos deverão de imediato verificar se têm acesso à sua página de CP no BB (LCC ou MiEI). Mais informações serão dadas sobre este assunto aqui e no Slack da disciplina.

18 Mai - Publicada no Material a ficha nr.13 (última), destinada às aulas TP desta semana.

13 Mai - Disponibilizada em Material a gravação em vídeo da aula T13 de amanhã à tarde.

11 Mai - Publicada no Material a ficha nr.12, destinada às aulas TP desta semana.

7 Mai - Disponibilizada em Material a gravação em vídeo da aula T12 de hoje à tarde.

5 Mai - Publicada no Material a ficha nr.11, destinada às aulas TP desta semana.

30 Abr - Disponibilizada em Material a gravação em vídeo da aula T11 de hoje.

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

27 Abr - Publicada no Material a ficha nr.10, a preparar para as aulas TP desta semana.

22 Abr - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T10 desta 5ª-feira.

20 Abr - Publicada no Material a ficha nr.9, a preparar para as aulas TP desta semana.

15 Abr - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T9 desta 5ª-feira.

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

31 Mar - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T8 desta 5ª-feira.

24 Mar - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T7 desta 5ª-feira.

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

17 Mar - Acaba de ser disponibilizada em Material a gravação em vídeo da aula T6 desta 5ª-feira.

16 Mar - Aulas Teóricas T6: a gravação de vídeo das aulas de quinta-feira, 19-Março, irá ficar disponível amanhã em Material. Recomenda-se aos alunos que o vejam antes da sua aula. No horário das aulas T o docente estará on-line para responder a questões e dúvidas. O que for mais relevante será afixado na FAQs de Atendimento.

15 Mar - Foi enviada uma mensagem via BB a todos os alunos sobre o re-início das aulas - por favor vejam as vossas caixas de correio.

13 Mar - De acordo com a circular CPEEUM-01/2020, as aulas re-iniciam-se na próxima segunda-feira, 16-Mar, em modo de e-learning (on-line). Brevemente serão dadas aqui (e enviadas por email via BB) informações sobre esse novo formato das aulas da disciplina.

10 Mar - Trabalho prático: está aberta a inscrição dos grupos de trabalho, que deverá ser feita em https://form.di.uminho.pt/grupo_cp até dia 1 de Abril. NB: os grupos com alunos externos devem contactar a equipa docente antes de se inscreverem.

9 Mar - Por determinação superior, esta semana não haverá aulas, cf. despachos RT-23/24 da Reitoria. A equipa docente está disponível para acompanhar o estudo à distância dos alunos. Pf. estejam atentos às FAQs em Atendimento. Nas mensagens coloquem sempre "CP/1920" no assunto.

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

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

26 Fev - A aula de reposição do turno MiEI/TP1 do dia 28 de Fevereiro, 6.a-feira, 11h-13h, terá lugar na sala E2-1.03.

20 Fev - Não haverá aula do turno TP1 amanhã (6ª-feira, 14:00, MiEI, E3-2.03). Será dada uma aula de substituição no dia 28 de Fevereiro, 6.a-feira, das 11h-13h, em sala a divulgar posteriormente.

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

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

12 Fev - Alteração de sala do turno LCC/TP1 para a E1-1.20.

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

28 Jan - Início das aulas: 5ª-feira, dia 6-Fev. Ver Sumários.

28 Jan - Criada esta página de avisos.

This is a subscription service to be automatically notified by e-mail when topics change in this Education/CP 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