EXAMINATION AND GRADING

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.

DATES

• January 23th at 15:00-17:00 room A210
• February 6th at 15:00-17:00 room A210
• June 12th at 15:00-17:00 room TBD
• July 10th at 15:00-17:00 room TBD
• September 7th at 15:00-17:00 room TBD