Alunos

As classificações constantes desta página foram removidas no final do ano lectivo.

Defesas do Trabalho Prático (TP)

O horário das defesas dos TPs está disponível nesta página. Cada defesa demora 15 minutos. Cada grupo deverá comparecer na sala indicada 5 mins antes da hora.

Entrega do Trabalho Prático (TP)

Entrar em http://www.di.uminho.pt/submissao_cp/ e submeter um arquivo zip de apenas dois ficheiros: cp1718t.lhs e cp1718t.pdf. (Serão ignorados quaisquer outros ficheiros que o zip possa conter.)

Data limite: 23-Junho, até às 23:59.

Grupos TP/1718

-- JoseNunoOliveira - 03 Mar 2018

23 Jul - O exame da época especial (24-Jul) será na sala CP2 0.20, das 9h às 11h.

10 Jul - Consulta dos exames: amanhã das 11h às 13h, na sala de reuniões do 2º andar do DIUM.

10 Jul - As notas finais e dos TPs estão publicadas em Alunos.

25 Jun - O horário das defesas dos TPs está disponível nesta página. Cada defesa demora 15 minutos. Cada grupo deverá comparecer na sala indicada 5 mins antes da hora.

21 Jun - Horário para os alunos verem os testes: segunda-feira, dia 25-Jun, das 16h às 18h.

20 Jun - Afixadas as classificações do teste de 6-Jun em Alunos.

18 Jun - As defesas orais dos TP desta disciplina terão lugar de 3 a 5 de Julho. Oportunamente será divulgado o escalonamento dos grupos (gerado aleatoriamente).

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

31 Mai - Avisam-se os alunos que a data de submissão do TP desta disciplina foi adiada para sábado, 23 de Junho. Oportunamente serão dadas aqui as instruções para a entrega.

20 Mai - Publicada no Material a ficha nr.13 (última), a preparar para as aulas TP da semana de 21-Mai.

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

06 Mai - Chama-se à atenção que a aula de reposição do turno MiEI/TP2 será não será no E1 mas sim na sala 1.03 do E2 - ver Sumários.

29 Abr - Publicada no Material a ficha nr.11, a preparar para as aulas TP da semana de 30-Abr.

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

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

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

09 Abr - Chama-se a atenção para a mudança de sala do turno MiEI/TP2, cf. Horário.

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

03 Abr - A comunicação dos grupos de trabalho de CP deverá ser feita em http://www.di.uminho.pt/grupo_cp/ até dia 17 de Abril.

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

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

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

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

03 Mar - Notas TP de 16/17 - ver Alunos.

27 Fev - Aviso: não haverá aula LCC/TP2 esta sexta-feira, 2-Março. O docente combinará com os alunos deste turno uma aula de substituição.

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

20 Fev - Chama-se a atenção para a mudança dos anfiteatros das aulas teóricas dos 2 cursos, cf. Horário.

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

01 Fev - Início das aulas: semana de 12-Fev. Começarão primeiro as aulas TP com uma ficha de revisão de PF (Programação Funcional).

01 Fev - Criada esta página de avisos.

Sumários da disciplina

Actualização contínua no calendário:

-- JoseNunoOliveira - 01 Feb 2018

Horário e turnos

-- JoseNunoOliveira - 09 Feb 2018

Regime de Avaliação

A nota final terá uma componente teórica (T) e uma componente prática (TP).

O trabalho de grupo (TP) é obrigatório, será avaliado em prova oral e valerá 40% da nota final. A nota TP mínima é 10 valores.

Os restantes 60% (T) serão avaliados num teste (ou exame de recurso) sem consulta. A nota T mínima é 8 valores.

Os grupos TP serão de 3 alunos cada. As notas TP são individuais, conforme prestação de cada aluno no trabalho e na defesa oral.

Congelamento de notas TP: para os alunos que assim o desejarem, consideram-se congeladas as notas dos seus trabalhos de CP do ano passado (e apenas desse ano), sendo nesse caso usada a respectiva fórmula de cálculo.

Melhorias: só se podem fazer à parte T, caso o aluno tenha esse direito; para alunos de anos anteriores, a fórmula de cálculo é a do ano em que a nota a melhorar foi obtida.

Regime de Faltas

Adopta-se o regime geral em vigor na universidade.

-- JoseNunoOliveira - 04 Feb 2018

50 Recent Changes in TWiki Web retrieved at 16:49 (GMT)

See also: RSS feed, recent changes with 50, 100, 200, 500, 1000 topics, all changes

Benvindo a Cálculo de Programas

Bem vindo à página da edição de 2017/18 da disciplina de Cálculo de Programas. Eu chamo-me José Nuno Oliveira e sou o responsável por esta disciplina, que conta com uma equipa de docentes qualificados na investigação de métodos que, como os que se leccionam nesta disciplina, estão na base da abordagem científica ao desenvolvimento de software. Todos fazemos parte do Laboratório HASLab (High-Assurance Software Laboratory) onde se encontra consolidado know-how em métodos formais de programação desde há mais de 30 anos.

A palavra "programa" vem do grego "programma", uma derivação de "prographein" = "pro" (antes) + "graphein" (escrever). Isto sugere que alguém que programa deve pensar antes no que vai fazer.

Cada vez mais, a indústria pede às universidades que ensinem a programar de forma sistemática e reflectida, capaz de evitar ao máximo erros de programação. Para isso, é preciso introduzir a noção de cálculo em programação, isto é, uma disciplina que nos ajude a pensar os programas, raciocinar sobre eles e obter versões eficientes sem introduzir erros.

A Universidade do Minho tem uma longa tradição neste tipo de ensino. Prestes a completar 20 anos de leccionação, Cálculo de Programas é uma das cadeiras que ensinam tais competências. Mais do que tecnologia ensina-se método, que é afinal aquilo que a maioria dos programadores acaba por não ter.

Resultados da Aprendizagem

Página principal

Para ver todas as edições da disciplina entrar aqui.

Education/CP1718 Web Preferences

The following settings are web preferences of the Education.CP1718 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 = Copyright © by the contributing authors. Ideas, requests, problems? Send feedback.

• List of topics of the Education/CP1718 web:
  • #Set WEBTOPICLIST = Changes | Index | Search | Go

• 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/CP1718.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/CP1718 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.
  • #Set DENYWEBVIEW =
  • #Set ALLOWWEBVIEW =
  • #Set DENYWEBCHANGE =
  • #Set ALLOWWEBCHANGE = JoseNunoOliveira
  • #Set DENYWEBRENAME =
  • #Set ALLOWWEBRENAME = JoseNunoOliveira

• Users or groups allowed to change or rename this WebPreferences topic: (e.g., TWikiAdminGroup)
  • #Set ALLOWTOPICCHANGE = TWikiAdminGroup
  • Set ALLOWTOPICRENAME = TWikiAdminGroup

• 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:
  
  • #Set DENYWEBCHANGE = UnknownUser
• 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

• TWiki.TWikiPreferences, Main.TWikiPreferences - site-level preferences
• TWikiUsers - list of user topics. User topics can have optional user preferences
• TWikiVariables - list of common %VARIABLES%
• TWikiAccessControl - explains how to restrict access by users or groups

Tools

• Rename, move or delete this web:
  • Rename/move/delete web..., looking for references in all public webs - See also: ManagingWebs

Web Search

Search: \.*

Tópicos

• Apresentação
• Alunos
• Atendimento
• Docentes
• Horário
• Regime de Avaliação
• Sumários
• Bibliografia
• Material
• Edições anteriores

Avisos