CSI/2025-26

Cálculo de Sistemas de Informação

Avisos

13-Set - Página em construção – pf consultar, para já, a página do ano passado até que esta esteja com informação actualizada.

---

Motivação

Na vida lá fora, tudo parece ser uma relação: relação profissional, relação amorosa, relação numérica, relação internacional, relação familiar, relação …, relação …

• Como será possível ensinar tudo isso a um sistema computacional sem se estudar - a sério - o que é uma relação, no sentido formal do termo, e como raciocinar (matematicamente) com relações (apenas)?

É esse o principal objectivo desta disciplina.

---

Atendimento

TBC

---

Equipa Docente e Horário

TBC

Objectivos (Resultados de aprendizagem)

Ver Página institucional

---

Sumários

Por favor consultar o calendário do perfil

---

Material Pedagógico

TBC

---

Alunos

TBC

---

Regime de Avaliação

TBC

---

Provas de avaliação:

TBC

---

Bibliografia

Principal

• J.N. Oliveira. Program Design by Calculation, Departamento de Informática, Universidade do Minho. Textbook in preparation. Chapters relevant for this course: 5, 6, 7 (and possibly 8, time permitting).

Outras leituras recomendadas

• D. Jackson. Software abstractions: logic, language, and analysis. Revised edition, MIT Press, 2012.
• C.B. Jones. Systematic Software Development Using VDM. Series in Computer Science. Prentice-Hall International, 1986 (first edition). (345 pages)

---