Zapoznaj się z tutorialem omawiany na wykładzie i/lub dawniejsza wersja, starannie wpisuj kolejne elementy specyfikacji i sprawdzaj testowo wynik poprzez

run {}

Paradoks kłamcy (prowadzący do nierozstrzygalności), czyli zadanie:

• jest jeden fryzjer

• fryzjer goli wszystkich tych mężczyzn, którzy nie golą się sami

• kto goli fryzjera?

• sformalizuj opisaną sytuację i użyj Alloya do poszukiwania modeli

• czy sytuacja zmieni się, gdy dopuścimy, że fryzjerów może być kilku?

• albo wcale?

• a jeśli fryzjerem będzie mogła być kobieta?

zacznij od specyfikacji barber.als.
więcej tutaj.

Model metra londyńskiego: zacznij od specyfikacji tube.als i uzupełnij ją odpowiadając na pytania zawarte w tym pliku.