CSI/2025-26

Material Pedagógico

Slides das aulas teóricas

• Aulas T01-T08 (PDF) (+ uma antecipação da T09).

Mais slides irão sendo disponibilizados à medida que as aulas forem progredindo.

Formulário

• Formulário - Leis do cálculo relacional.

Folhas de exercícios práticos

• Folha nrº1
• Folha nrº2

• Folha nrº3

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