Andrzej M. BorzyszkowskiAndrzej M.
	Borzyszkowski
Logika – laboratorium 5 (Alloy)

Zadanie

Model metra londyńskiego: zacznij od specyfikacji tube.als i uzupełnij ją odpowiadając na pytania zawarte w tym pliku.
Rozwiązanie umieść na portalu edukacyjnym.

Zadanie

W domu towarowym jako ekspedient, kasjer, pracownik biurowy, administrator i kierownik pracują Allen, Bennett, Clark, Davis i Ewing.

Pytanie: Kto jest kim w domu towarowym?
Rozwiązanie umieść na portalu edukacyjnym.

Do góry