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.

Education/CP Web Preferences

The following settings are web preferences of the Education.CP web. These preferences overwrite the site-level preferences in TWiki.TWikiPreferences and Main.TWikiPreferences, and can be overwritten by user preferences (your personal topic, eg: TWikiGuest in the Main web).

Web Preferences Settings

These settings override the defaults for this web only. See full list of defaults with explanation. Many of the settings below are commented out. Remove the # sign to enable a local customisation.

Natural Skin configuration

  • Set SKIN=nat

  • Set SKINSTYLE = Plain
  • Set STYLEBORDER = thin
  • Set STYLEBUTTONS = off
  • Set STYLESIDEBAR = left
  • Set STYLEVARIATION = none
  • Set STYLESEARCHBOX = off

  • Set PAGETITLE= Cálculo de Programas

  • Set NATWEBLOGO = Cálculo de Programas

  • Set WEBCOPYRIGHT = This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

  • List of topics of the Education/CP web:

 #D0D0D0 
  • Web-specific background color: (Pick a lighter one of the StandardColors).
    • Set WEBBGCOLOR = #D0D0D0
    • Note: This setting is automatically configured when you create a web

  • Image, URL and alternate tooltip text of web's logo.
    Note: Don't add your own local logos to the TWikiLogos topic; create your own logos topic instead.

  • Set WEBLOGOURL = WebHome
  • Set WEBLOGOIMG =
  • Set WEBLOGOALT = Cálculo de Programas

  • List this web in the SiteMap. If you want the web listed, then set SITEMAPLIST to on, do not set NOSEARCHALL, and add the "what" and "use to..." description for the site map. Use links that include the name of the web, i.e. Education/CP.Topic links.
    Note: Unlike other variables, the setting of SITEMAPLIST is not inherited from parent webs. It has to be set in every web that is to be listed in the SiteMap
    • Set SITEMAPLIST = on
    • Set SITEMAPWHAT = Cálculo de Programas
    • Set SITEMAPUSETO = Mestrado Integrado em Engenharia Informática e Licenciatura em Ciências da Computação
    • Note: Above settings are automatically configured when you create a web

  • Exclude web from a web="all" search: (Set to on for hidden webs).
    • Set NOSEARCHALL =
    • Note: This setting is automatically configured when you create a web

  • Prevent automatic linking of WikiWords and acronyms (if set to on); link WikiWords (if empty); can be overwritten by web preferences:
    • #Set NOAUTOLINK =
    • Note: You can still use the [[...][...]] syntax to link topics if you disabled WikiWord linking. The <noautolink> ... </noautolink> syntax can be used to prevents links within a block of text.

  • Default template for new topics for this web:
    • WebTopicEditTemplate? : Default template for new topics in this web. (Site-level is used if topic does not exist)
    • TWiki.WebTopicEditTemplate: Site-level default topic template

  • Comma separated list of forms that can be attached to topics in this web. See TWikiForms for more information.
    • Set WEBFORMS =

  • Users or groups who are not / are allowed to view / change / rename topics in the Education/CP web: (See TWikiAccessControl). Remove the # to enable any of these settings. Remember that an empty setting is a valid setting; setting DENYWEBVIEW to nothing means that anyone can view the web.

  • Web preferences that are not allowed to be overridden by user or topic preferences:
    • Set FINALPREFERENCES = NOSEARCHALL, ATTACHFILESIZELIMIT, WIKIWEBMASTER, WEBCOPYRIGHT, WEBTOPICLIST, DENYWEBVIEW, ALLOWWEBVIEW, DENYWEBCHANGE, ALLOWWEBCHANGE, DENYWEBRENAME, ALLOWWEBRENAME

Help on Preferences

  • A preference setting is defined by:
    3 or 6 spaces * Set NAME = value
    Example:
    • Set WEBBGCOLOR = #FFFFC0
  • A preferences setting can be disabled with a # sign. Remove the # sign to enable a local customisation. Example:
  • Preferences are used as TWikiVariables by enclosing the name in percent signs. Example:
    • When you write variable %WEBBGCOLOR% , it gets expanded to #D0D0D0
  • The sequential order of the preference settings is significant. Define preferences that use other preferences first, i.e. set WEBCOPYRIGHT before WIKIWEBMASTER since %WEBCOPYRIGHT% uses the %WIKIWEBMASTER% variable.
  • You can introduce your own preferences variables and use them in your topics and templates.

Related Topics

Tools

  Attachment Action Size Date Who Comment
bmp favicon.ico props, move 0.3 K 20 Nov 2004 - 18:14 TWikiContributor placeholder favicon
r20 - 19 Feb 2020 - 18:12:18 - JoseBacelarAlmeida
This site is powered by the TWiki collaboration platform Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.
Syndicate this site RSSATOM