The exam consists of a single
written exam (no oral nor midterms are foreseen).

The written exam consists of various
written exercises, tests and questions concerning the theoretical
part. An exercise can be: a "yes/no" question, proving some simple
properties, formalizing an informal specification, and so on.

PREREQUISITES: there are NO prerequisities. Having
attended Mathematical logic is a plus.