CSI/2022-23

Cálculo de Sistemas de Informação

Avisos

---

Docente e Horário

Docente	Foto	Horário	Sala
José Nuno Oliveira		5ª-feira, 17h-20h (T+TP)	E7-1.10

---

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 de informação sem se estudar a sério o que é uma relação (no sentido formal do termo) e como raciocinar com relações? É esse o principal objectivo desta disciplina.

---

Objectivos (Resultados de aprendizagem)

Ver Página institucional

---

Regime de avaliação

• Duas provas escritas de avaliação individual (testes) e exame de recurso.
• Cada teste vale 50% da nota final e não há lugar a notas mínimas.
• É ainda tida em consideração a prestação dos alunos nas aulas (avaliação contínua).

---

Alunos e classificações

Por favor entrar aqui

---

Sumários

Por favor consultar o calendário do perfil.

---

Material Pedagógico

• FAQs
• Slides das aulas.
• Formulário - Leis do cálculo relacional.
• Exercícios para aula (de reposição) de 09-Mar.
• Exercícios para aula de 16-Mar.
• Exercícios para aula de 20-Abr.

---

Enunciados das provas de avaliação:

Data	Hora	Local	Curso(s)	Descrição	Enunciado
04-Mai	17h00	E1-1.10	MEI/MMC	1º Teste	PDF
01-Jun	14h00	E1-0.22	MEI/MMC	2º Teste	PDF
22-Jun	09h00	E1-2.24	MEI/MMC	Recurso	PDF
21-Jul	14h30	E1-2.27	MEI/MMC	Especial	PDF

---

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)

---