CP - Cálculo de Programas
Í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/2122
Bibliografia
Bibliografia essencial
- J.N. Oliveira. Program Design by Calculation (2.5Mb), Departamento de Informática, Universidade do Minho. Os capítulos deste livro (em preparação, a versão actual é de
Out. 2021) essenciais para esta disciplina no corrente ano lectivo são o segundo, o terceiro e o quarto.
Bibliografia complementar
-
P.R. Pereira Cálculo de Programas. Departamento de Informática, Universidade do Minho, Out. 2021.
-
A. Cunha. Cálculo de Programas: notas teórico-práticas. Departamento de Informática, Universidade do Minho, 2005.
-
R. Bird and O. de Moor. Algebra of Programming. Series in Computer Science. Prentice-Hall International, 1997. C.A.R. Hoare, series editor (BGUM 510.5-B).
-
P. Hudak. The Haskell School of Expression - Learning Functional Programming Through Multimedia. Cambridge University Press, 1st edition, 2000. ISBN 0-521-64408-9 (BGUM 519.68-H).