Alunos

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

Trabalho prático (TP)

Avaliação do TP

Defesa: os DDHHMM de cada defesa encontram-se afixados aqui. É possível fazer trocas entre slots" até amanhã às 18h00 - pf enviar email ao regente da discipina indicando os 2 grupos que pretendem trocar entre si. O horário só ficará definitivo a partir dessa hora.

Local: dia 3-Jun -- Anfiteatro A1; dia 5-Jun -- sala DI 0.02.

Entrega do TP

Data limite: dia 31 Mai 2015, até às 23h59m.

Instruções para a entrega: um e um só elemento de cada grupo deverá fazer 'upload' em http://www.di.uminho.pt/submissaotrabalhos/ de um único ficheiro zip contendo a sua versão do ficheiro lhs dado como enunciado e do pdf respectivo.

Esse ficheiro zip deverá ter o nome cp1415tXX.zip, onde XX designa o grupo. Exemplos: o grupo G01 enviará o ficheiro cp1415t01.zip, o G99 enviará cp1415t99.zip etc.

O endereço acima está já operacional. O aluno que submete deverá receber uma mensagem automática de confirmação, à qual não é preciso - nem deve - responder.

Qualquer dificuldade técnica que porventura surja deverá ser comunicada à equipa técnica do DI (Eng. José Luís Faria, jose AT di DOT uminho DOT pt).

Alunos e grupos

Eventuais trocas entre elementos dos grupos que se seguem terão que ser comunicadas até à data limite de 1-Maio (NB: os grupos que foram comunicados com mais/menos do que 3 elementos estão sujeitos a re-estruturação, apresentando-se a versão corrente.)

Registo dos grupos para trabalho prático

Até ao dia 17 de Abril (inclusive), cada grupo deverá enviar uma mensagem ao docente responsável pela disciplina (jno@di.uminho.pt) contendo, no assunto, um texto no formato seguinte

CP1415 GrupoCP a99999 a99999 a99999

onde os 99999 devem ser substituídos pelos números mecanográficos dos alunos do grupo.

O corpo da mensagem pode vir vazio pois não será processado.

-- JoseNunoOliveira - 18 Feb 2015

5-Set - O Exame da época especial terá lugar dia 7-Set, às 14h00, na sala CP1-308.

23 Jul - Orais: as orais terão lugar na sala DI 1.08.

21 Jul - Notas finais: ver Alunos. Os alunos marcados com "oral" deverão comparecer no DI sexta-feira dia 24-Jul às 15h da tarde. A sala será indicada brevemente.

17 Jul - Consulta do exame de recurso: será segunda-feira, dia 20-Jul, das 08h às 12h, na sala DI 1.08.

17 Jul - Notas do exame de recurso de 07-Jul: ver Alunos

06 Jul - Exame de recurso amanhã, 07-Jul, às 16h00: terá lugar nas salas da cantina de Gualtar. O exame é sem consulta exceptuando o formulário disponível no material pedagógico da disciplina, que os alunos deverão trazer consigo impresso.

04 Jul - Publicado no Material Pedagógico o enunciado do teste de 16-Jun, com a correcção.

01 Jul - Sessão para ver o teste: será amanhã, dia 2-Jul, das 14h às 16h, na sala DI 0.11.

01 Jul - Notas do teste de 16-Jun: ver Alunos

15 Jun - Teste amanhã, 20h: o teste é sem consulta exceptuando o formulário disponível no material pedagógico da disciplina, que os alunos deverão trazer consigo impresso.

14 Jun - Alteração da hora do teste: por falta de salas, o teste de CP será realizado no mesmo dia em horário pós-laboral: 20h00 às 22h30, dia 16-Jun, salas CP2 201, 202 e 203 (ou 204).

14 Jun - Anúncio de aulas suplementares: LEI: turnos TP4 e TP5, dia 15 de Junho, das 11:00 - 13:00, na sala 103 do CPI; LCC: turno TP1, dia 15 de Junho, das 11:00 - 13:00, na sala 103 do CPI.

11 Jun - Data e hora do Teste de CP: Ter, 16 de junho, 18:00-20:00.

10 Jun - Estão a ser publicadas FAQs sobre exercícios em Atendimento.

09 Jun - Notas dos TPs: ver Alunos.

01 Jun - LCC, Turno TP2: chama-se a atenção dos alunos para a aula suplementar que terá lugar dia 4-Jun das 15h30 às 17h30 na sala CP1 104 - ver Sumários.

01 Jun - Defesas dos TPs: ver horário das orais em Alunos.

29 Mai - Instruções para entrega do TP: ver Alunos.

24 Mai - Publicada no Material a ficha nr.12, a preparar para as aulas TP da última semana de aulas.

24 Mai - Data limite para entrega do trabalho prático: 31 Mai 2015, até às 23h59m. Detalhes em Material.

21 Mai - Horário de apoio ao projecto: sala DI 0.02 nos períodos indicados no calendário da disciplina.

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

05 Mai - LEI, Turnos TP1 e TP2: chama-se a atenção dos alunos para a alteração da hora da aula de reposição amanhã de tarde, que será às 16h00 e não às 14h00 como inicialmente previsto - ver Sumários.

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

29 Abr - LEI, Turnos TP1 e TP2: chama-se a atenção dos alunos para novas alterações (temporárias) no horário destes turnos e para as aulas de substituição previstas nos Sumários.

28 Abr - Publicado na Bibliografia o último capítulo ( 450K) dos apontamentos.

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

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

24 Abr - Publicados os grupos de trabalho em Alunos

24 Abr - Informação sobre Trabalho prático: ver Material

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

15 Abr - LEI, Turnos TP1 e TP2: chama-se a atenção dos alunos para as alterações (temporárias) no horário destes turnos e para as aulas de substituição previstas nos Sumários.

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

09 Abr - Registo de grupos para trabalho prático: ver Alunos

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

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

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

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

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

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

23 Fev - Publicada a página de Bibliografia.

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

17 Fev - Inscrição nos turnos TP: será feita no sistema de e-learning: LEI- 18-Fev, das 10h00 às 18h00; LCC - 20-Fev, das 10h00 às 18h00

11 Fev - Início das aulas: ver Sumários.

11 Fev - Criada esta página de avisos.

-- JoseNunoOliveira - 11 Feb 2015

Sumários da disciplina

Formato PDF : a disponibilizar oportunamente

Formato ICS : a disponibilizar oportunamente

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

-- JoseNunoOliveira - 11 Feb 2015

Horário e turnos

-- JoseNunoOliveira - 12 Feb 2015

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 defesa oral.

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 - 12 Feb 2015

50 Recent Changes in TWiki Web retrieved at 16:45 (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 2014/15 da disciplina de Cálculo de Programas. O meu nome é José Nuno Oliveira e sou o responsável por esta disciplina, que conta com uma equipa de docentes qualificados na investigação e ensino 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), em que se vem consolidando know-how em métodos formais de programação desde há mais de 25 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 a sério, isto é, de forma reflectida e capaz de evitar 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 que a sua correcção fique comprometida.

A Universidade do Minho tem uma longa tradição neste tipo de ensino. Cálculo de Programas é a cadeira que, nas licenciaturas de Eng. Informática e Ciências da Computação, ensina tais competências. Mais do que tecnologia ensina-se método, que é afinal aquilo que a maioria dos programadores não tem de facto.

Citação

Resultados da Aprendizagem

• Programação composicional: aprender a escrever programas complexos por composição de programas mais simples (princípio da composicionalidade).

• Programação construtiva: aprender a escrever programas funcionais com recurso a combinadores algébricos.

• Transformação de programas: recurso à algebra da programação para se obter eficiência sem sacrifício da correcção.

• Arquitectura da programação: Análise, compreensão e catalogação de programas: recurso à factorização em pares "fold" + "unfold" (hilomorfismos) como forma de se perceber a arquitectura dos algoritmos e sua taxonomia.

• Síntese de programas: cálculo de ciclos-for a partir de definições indutivas da matemática.

• Programação funcional avançada: construir e raciocinar sobre programas funcionais com efeitos sob a forma de mónades.

Página principal

Entrar aqui.

Education/CP1415 Web Preferences

The following settings are web preferences of the Education.CP1415 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/CP1415 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/CP1415.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 = Licenciaturas em Engenharia Informática e 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/CP1415 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
• Contacto
• Alunos
• Sumários
• Horário
• Docentes
• Atendimento
• Material
• Página principal
• CP no Catálogo UM
• Regime de Avaliação
• Bibliografia

Avisos