CSI/2025-26

Cálculo de Sistemas de Informação

Avisos

• 23-Out - Propõe-se que o teste desta UC seja realizado a 18-Dez (ou em data próxima, até 20-Dez) e informa-se que o exame de recurso está previsto para 20-Jan, conforme consta dos sumários.

• 23-Out - Mudança de sala - informa-se que as próximas aulas terão lugar na sala E7-0.04.

Avisos anteriores

---

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.

---

Objectivos (Resultados de aprendizagem)

Ver Página institucional

---

Material Pedagógico

Disponível aqui.

---

Equipa Docente e Horário

Docente	Foto	Horário	Sala
José Nuno Oliveira		5ª-feira, 09h00-10h30h (T)	E7-0.04
Luís Soares Barbosa		5ª-feira, 10h30-12h00 (TP)	E7-0.04

---

Alunos

Lista provisória de alunos comunicada pela D.Curso:

Número	Nome
PG54468	David José de Sousa Machado
PG58717	João Carlos Macedo Ribeiro
PG58811	Vasco José Machado Mota
PG60110	João Pedro Fernandes Duarte
PG60236	Ana Sá Oliveira
PG60240	Cláudia Rego Faria
PG60251	Edgar Eira Araújo
PG60257	Gabriel Costa Paiva
PG60260	Gonçalo Alexandre Lopes Norton Caixeiro
PG60265	Henrique Pinto Pires Lopes de Faria
PG60279	Luís Miguel Alves e Silva
PG60287	Patrícia Daniela Fernandes Bastos
PG61130	Ana Margarida Campos Pires
PG61135	Carlos Diogo Fernandes Pina
PG61144	João Machado Gonçalves
PG61153	Miguel Torres Carvalho
PG61453	Carolina Passos Sá
PG61480	Miguel Liquito
PG61542	Renato Pereira Garcia

---

Sumários

Por favor consultar o calendário do perfil

---

Regime de Avaliação

Os elementos de avaliação desta UC são:

• 1 teste escrito (TE) individual, sem consulta, passível de exame de recurso

• 1 apresentação oral (AO) individual de um artigo técnico na área científica da UC

• 1 trabalho de grupo (TG) de 3 alunos.

Há dois regimes à escolha para obter aprovação à UC:

• Regime A) TE + AO a valerem respectivamente 60% e 40% da nota final. A nota máxima neste regime é 14 valores.

• Regime B) TE + AO + TG a valerem respectivamente 40%, 20% e 40% da nota final. O trabalho (TG) é avaliado através de uma defesa oral.

Finalmente:

• Aos alunos com nota final no intervalo [8..10[ será facultada a possibilidade de fazerem uma oral.

• A nota mínima da componente TE é 8 valores, havendo lugar a exame de recurso para os alunos que tenham tido nota TE negativa. As componentes TG e AO têm nota mínima de 10 valores e não têm recurso.

• Os alunos deverão comunicar a sua escolha de regime de avaliação até uma data que será aqui afixada brevemente.

• A escolha de regime de avalição é vinculativa, isto é, não irá ser permitido mudar de regime a meio.

• Por omissão, aos alunos que não comunicarem a sua escolha será atribuído o Regime A.

---

Atendimento

• Electrónico: FAQS + via correio electrónico para o docente. (Garantir sempre que “CSI” faz parte do assunto.)

• On-line: por combinação com o docente, via BBCU, Zoom etc

• Presencial: JNO: 5ª-feira, 14h-15h, por marcação verbal ou por e-mail com um mínimo de uma semana de antecedência, junto do respectivo docente; LSB: 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 (current version: Sept. 2025). 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)

---