The exam consists of a written
exam (or two midterms for those attending the
course).
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
Midterms:
First midterm: 28th October 15:00-17:00 room A108
Second midterm: 16th December 15:00-17:00 room A108
First standard session: 20th January 15:00-17:00 room
B104
Second standard session: 7th February 15:00-17:00 room
B104
Standard exam sessions:
1st summer session: 9th June 15:00-17:00 room A221
2nd summer session: 11th July 15:00-17:00 room A221
3nd summer session:10th September 15:00-17:00 room A224 12th September 15:00-17:00 room A221