Dear all,
I am resending a message that I sent on May 14th.
In general, for those who don't pass a course based on homework / partial exams (for these courses where this is a possibility), there is one exam at the end of every semester (i.e., January or June, depending on the semester in which the course takes place) and, additionally, an extra opportunity in July. Those who did not pass because of academic fraud only can go to the July resit.
For CbC, this year's dates are:
- Wednesday June 11, 3pm-6pm.
- Friday July 4, 3pm-6pm.
The exams will take place in the same room as the lectures. *If you intend to attend the June exam, please let me know* so that I prepare the material.
The exam is typically the statement of a problem to be modeled in Event-B with Rodin and, possibly, a problem or questions to be solved using paper and pencil. These may be new problems or a variation on examples we have seen / presented. All typical programming examples can be replicated:
- Insertion in a (sorted) linked list. - Removing from a linked list. - Determine the maximum / minimum of a function (without using the max / min builtin functions). - ...
I am attaching a file with suggested exercises you may want to tackle on your own to sharpen your skills.
Best / Saludos,
Manuel
On Sat, 17 May 2025 14:53:17 +0200, Manuel Carro manuel.carro@imdea.org wrote:
Dear all,
I've been asked a couple of times about the course exams.
In general, for those who don't pass a course based on homework / partial exams (for these courses where this is a possibility), there is one exam at the end of every semester (i.e., January or June, depending on the semester in which the course takes place) and, additionally, an extra opportunity in July. Those who did not pass because of academic fraud only can go to the July resit.
For CbC, this year's dates are:
Wednesday July 11, 3pm-6pm.
Friday July 4, 3pm-6pm.
In general the exams take place in the same room as the lectures. If there is any change, I will notify you.
As for the format, it is typically the statement of a problem to solve with Event-B and Rodin. It may be a new problem or a variation of previous examples. Plus, all typical programming examples can be replicated:
- Insert in a sorted linked list.
- Removal of an element in a sorted linked list.
- Determine the maximum / minimum of a function (without using the max / min builtin functions).
- ...
I am attaching a file with suggested exercises you may want to tackle on your own to sharpen your skills.
Best,