CSI/2025-26

Cálculo de Sistemas de Informação

Avisos

• 23-Jan: As orais AO + TG na próxima semana terão lugar na sala E7-0.05.

• 23-Jan: Devido a um exame na tarde de 6ª-feira (30-Jan) houve necessidade de fazer alterações nas orais nesse dia - cf. sumários.

• 23-Jan: Os slides das apresentações (AO) ou trabalho de grupo (TG) devem ser enviados por email.

• 21-Jan: lançadas as classificações do teste de 16-Jan. Consulta dos testes: pf entrar aqui e seguir as instruções.

• 21-Jan: publicado o enunciado do teste de 16-Jan com proposta de resolução.

• 14-Jan - Publicada a proposta de calendário para as orais AO + TG - ver pf os sumários. Este calendário foi gerado aleatoriamente a menos de um invariante: garantir que a AO de cada aluno ocorre no dia em que ocorre a defesa do seu TG, se for caso disso. São possíveis trocas ou ajustes, cujos pedidos devem ser enviados atempadamente ao docente (por email ou Slack) para consideração.

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

---

Provas de avaliação

Data	Hora	Local	Curso(s)	Descrição	Enunciado
16-Jan	10h00	E7-1.09	MEI/MMC	Teste	PDF - com proposta de resolução
31-Jan	09h00	TBA	MEI/MMC	Recurso	PDF

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

Pf entrar aqui.

---

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

---

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)

---