CSI/2026-27

Course materials

Slides

• Theory classes: T01 .. T04 (PDF)

(More slides as classes proceed.)

---

Practical exercise sheets

• Sheet nr. 1

• Case studies:

  • Puzzle by Alcuin of York (alloy) (basic model for the moment)

---

Libraries / tools

• Alloy: RelCalc.als - Basic relational taxonomy in Alloy.

• Haskell: RelCalc.hs - Basic relational operators in Haskell (needs Cp.hs).