Cálculo de Programas

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

Tópicos

Avisos

27 Set - Classificações do exame da época especial: estão disponíveis na secção Alunos

13 Set - Exame da época especial: 15-Set-2010, 14h00-17h00, sala 2303.

26 Jul - Classificações finais, após exame de recurso: estão disponíveis na secção Alunos

11 Jul - No Material encontra-se uma nova versão do PDF do teste de 18-Jun com a resolução das questões que têm suscitado mais dúvidas.

08 Jul - detalhes sobre exame de recurso: 12-Jul, das 14h00 às 16h30, salas 2201, 2202, 2203 e 2204. (Ver também calendário oficial)

05 Jul - atenção aos transparentes sobre monadificação que estão no material da disciplina (ficheiro EasyMonads.pdf)

02 Jul - as classificações à data do teste de 18-Jun serão afixadas amanhã (3-Jul) de manhã.

23 Jun - o exame de recurso terá lugar dia 12-Jul (detalhes a anunciar).

14 Jun - O docente das aulas teóricas estará disponível no Lab. 1.04 para tirar dúvidas para o teste nas tardes de 3ª-feira (16h30-18h30) e 4ª-feira (14h-16h).

14 Jun - o formato do teste de 18-Jun encontra-se aqui. Ver as instruções relativas à diferença entre os métodos A e B.

11 Jun - Notas (Método A): estão disponíveis em Alunos. Os alunos que não obtiveram a nota mínima devem apresentar-se a recurso.

11 Jun - Teste individual: terá lugar a 18-Jun, das 11h00-13h30, nas salas Salas 2111, 2201, 2202, 2203, 2204, 2205 e 2209.

07 Jun - Questões (Método A): estão disponíveis no material pedagógico.

04 Jun - Teste de CP: terá lugar de hoje a quinze dias, 18-Jun de manhã, em local/hora a anunciar aqui.

04 Jun - Teóricas do dia 11-Jun: serão substituidas por aula prática de compensação, na mesma sala.

01 Jun - Turno TP/LCC: a aula extra deste turno será dia 2-Jun, das 15 às 18, no anfiteatro DI-A1.

28 Mai - Turno TP-4: haverá uma aula complementar da de hoje no dia 02-Jun, 15h-17h (na mesma sala).

20 Mai - Turno TP(5)/B: não haverá aula amanhã dia 21-Mai, 16h-18h, devido a uma reunião do docente na Universidade do Porto. A aula será compensada na próxima 6ª-feira, dia 28-Mai, das 18h-19h30.

19 Mai - Turno de LCC: haverá uma aula extra no dia 02-Jun, 14h-17h.

07 Mai - Turno TP-2: haverá uma aula de substituição da de ontem 4.a-feira dia 19-Mai, 15h-17h (na mesma sala).

07 Mai - Método A: as QAIs nrs.5+6 terão lugar nos turnos dos dias 27-Mai, 28-Mai e 31-Mai.

07 Mai - Método A: a QAI nr.4 terá lugar nos turnos dos dias 20-Mai, 21-Mai e 24-Mai.

30 Abr - A aula teórica do dia 4-Maio será substituída por uma de SO.

18 Abr - Ao contrário de que foi anunciado, os turnos de 5ª-feira (22-Abr) de LCC e o turno TP-05 de 23-Abr (LEI) funcionarão regularmente. Nos de LCC haverá avaliação (alunos do Método A).

13 Abr - Método A: a QAI nr.3 terá lugar nos turnos dos dias 22-Abr, 23-Abr e 26-Abr.

08 Abr - Turno TP-2: haverá uma aula de substituição da de hoje na próxima 4.a-feira dia 14-Abr, 15h-17h (na mesma sala).

06 Abr - Método A: a QAI nr.2 terá lugar nos turnos dos dias 15-Abr, 16-Abr e 19-Abr.

11 Mar - Método A: primeira Questão para Avaliação Individual (QAI nr.1) terá lugar nos turnos da semana 22-Mar a 26-Mar.

04 Mar - Já só há 4 vagas para o Método A, no turno TP-2.

01 Mar - A aula de amanhã, 02-Mar, será (execpcionalmente) de 2 horas, das 9h00 às 11h00, no anfiteatro CP2 103.

26 Fev - Há 10 vagas por preencher, ver Alunos

24 Fev - Anuncia-se que estão abertas mais 4 vagas em cada turno (LEI, TP-1 a TP-4). Importante: os pedidos de troca serão considerados por ordem de chegada, mas só aqueles que seguirem as instruções que constam em Alunos. Todos os outros serão ignorados.

23 Fev - Estão já publicadas as inscrições nos turnos TP-1 a TP-4 (LEI)

23 Fev - As aulas práticas começam 2ª-feira, dia 29 (LEI) e dia 4 (LCC)

19 Fev - As aulas teóricas começam 3ª-feira, dia 23 (LEI) e dia 26 (LCC)

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