The exam consists of a single
written exam (no oral and no 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.
