CP - Cálculo de Programas

Logo

Índice

Apresentação
Equipa docente | Horário
Atendimento
Alunos
Regime de Avaliação
Material
Bibliografia
Sumários | Calendário
Anos anteriores

CP 2021/22

Avisos

20-Jan: new Relembra-se que os alunos poderão levar para o teste, se assim o entenderem, o formulário da disciplina em papel, desde que dele não conste qualquer anotação manuscrita ou outra.

18-Jan: new Tendo havido e-mails de alunos que não vão poder vir ao teste por estarem em isolamento, transcreve-se o disposto no Despacho RT-04/2022, de 13-Janeiro, sobre essa situação:

  1. Os estudantes que não possam comparecer presencialmente às avaliações das unidades curriculares na época normal, por se encontrarem em isolamento, devido a infeção por SARS-CoV2, ou em situação de isolamento profilático decretado pela autoridade de saúde competente, podem, mediante apresentação da devida declaração, realizar a avaliação na época de recurso;
  2. Os estudantes que não possam comparecer presencialmente nas avaliações na época de recurso, por se encontrarem em isolamento, devido a infeção por SARS-CoV2, ou em situação de isolamento profilático decretado pela autoridade de saúde competente, podem, mediante apresentação da devida declaração, realizar a avaliação numa época excecional que decorrerá no período de 14 a 19 de fevereiro de 2022;

17-Jan: new está disponível, neste PDF, a resolução da maior parte dos exercícios das fichas das aulas práticas extraídas de documentos partilhados usados nas aulas TP.

Avisos anteriores


Cálculo de Programas

Bem vindo à página da edição de 2020/21 da unidade curricular de Cálculo de Programas. O principal objectivo desta disciplina é o ensino de métodos que estão na base da abordagem científica ao desenvolvimento de software.

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.

A indústria de software espera das universidades um ensino sistemático da programação, i.e. científico. Só assim haverá garantias de que não há erros de programação. Tal como noutros ramos da engenharia, 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.

O Departamento de Informática da Universidade do Minho tem uma longa tradição neste tipo de ensino. Com mais de 20 anos de leccionação, Cálculo de Programas é uma das unidades curriculares 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.

Programa resumido