Problem Set 0: Relational Logic (due Mon Feb 14)
Read the relevant from Professor Jackson's book, which covers the material from Monday's lecture more thoroughly. It is available from the private website.
Complete the exercises that go with that material. If a question requires you to give counterexamples Alloy finds, you can either give us a screenshot of the graph or just the textual solution (which can be viewed by selection the proper option from the top icon bar).
You will need to download the latest Alloy 3.0 release candidate in order to complete the assignment.
The problem set involves completing some partially written Alloy models. Electronic versions of those templates, along with the models used in Monday's lecture, are available as a zip file.
Please note the somewhat eccentric submission instructions.