Benvindo a Cálculo de Programas
Bem vindo à página da edição de
2016/17 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 não tem de facto.
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
Para ver todas as edições da disciplina entrar
aqui.