CP - Cálculo de Programas

Logo

Índice

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

CP/2324

CP 2023/24

Cálculo de Programas

Bem vindo à página da edição de 2023/24 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.

Classificação ACM

Conteúdos segundo a taxonomia ACM (5 ECTS no total):

Funcionamento

Esta UC é dada aos cursos de Engenharia Informática e Ciências da Computação, em dois semestres diferentes.

À parte provas de avaliação, os conteúdos (regime de avaliação, etc) dessas duas edições são exactamente os mesmos.

Programa resumido