CSI/2024-25

Material Pedagógico

Slides das aulas teóricas

• Aulas T01-08 (PDF)

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

Folhas de exercícios práticos

• Folha nrº1
• Folha nrº2
• Folha nrº3

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

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