EXAMINATION AND GRADING
The exam consists of (a)
written exam and (b) project.
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.
The project will be conducted under
the supervision of an advisor that also evaluates it. Available
topics will be presented by the advisors as part of the course.
PREREQUISITES: having Mathematical
logic exam passed before being assigned a project.
DATES
- Delivery
date for the projects : 1
week before the written exam
- Written exam first session: 14th
January 2013 at 14:30-17:30 room A209
- Presentation of the results:
21st January 2013 at 14:30-15:30 room A211
- Written exam second session:
4th February 2013 at14:30-17:30 roomA210
- Presentation of the results:
11th February 2013 at 14:30-15:30 room A222
- Other exam sessions:
- June 18th, 2013 at 14:30-17:30
room A211
- July 16th, 2013 at 14:30-17:30
room A211
- September 10th, 2013 at 14:30-17:30
room A211
|