CSI/2023-24

Cálculo de Sistemas de Informação

Avisos

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.

---

Resultados de aprendizagem

Ver Página institucional

---

Docente e Horário

Docente	Foto	Horário	Sala
José Nuno Oliveira		5ª-feira, 16h-19h (T+TP)	E1-1.05

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: 5ª-feira, 11h-13h, por marcação verbal ou por e-mail com um mínimo de uma semana de antecedência, junto do respectivo docente.

---

Alunos

Por favor entrar aqui

---

Regime de Avaliação

Há 2 regimes da avaliação à escolha para obter aprovação nesta unidade curricular:

• Regime A) 2 testes sem consulta cuja média seja ≥ 10. A nota máxima neste regime é 14 valores. Aos alunos com média no intervalo [8..10[ será facultada a possibilidade de fazerem uma oral.

• Regime B) 2 testes sem consulta com nota mínima 8, cuja média valerá 60% da nota final + realização de um trabalho prático de grupo de 3 alunos com nota mínima 10 (40% da nota final). O trabalho será avaliado através de um relatório e uma defesa oral.

Segundo o regime geral em vigor, há lugar a exame de recurso para os alunos que tenham tido média dos testes negativa. A nota no trabalho prático não tem recurso.

Escolha do regime de avaliação:

• 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.

---

Material Pedagógico

• Slides das aulas.
• Formulário - Leis do cálculo relacional.
• Folhas de exercícios práticos:
  • nrº1
  • nrº2
  • nrº3
• Casos de estudo:
  • Especificação relacional do calendário de um campeonato de futebol e sua conversão para Alloy (futebol.als).
    • Comparar com este modelo, produzido pelo chatGTP para os mesmos requisitos informais.
• Bibliotecas/ferramentas:
• Alloy: RelCalc.als - Taxonomia relacional básica em Alloy.
• Haskell: RelCalc.hs - Cálculo relacional básico em Haskell (precisa da biblioteca Cp).
• Script alloy.sed muito simples para converter instâncias geradas pelo Alloy para Haskell - no Analyser, visualizar instância em modo Txt e copiar para ficheiro, eg. i.txt; de seguida fazer, numa shell, sed -f alloy.sed i.txt

---

Provas de avaliação:

Data	Hora	Local	Curso(s)	Descrição	Enunciado
18-Abr	16h	E1-1.05	MEI/MMC	1º Teste	PDF
23-Mai	16h	E7-1.09	MEI/MMC	2º Teste	PDF
13-Jun	14h	E1-1.17	MEI/MMC	Recurso	PDF

---

Sumários

Por favor consultar o calendário do perfil.

Mais material ficará disponível aqui à medida que as aulas forem decorrendo.

---

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)

---