Differences

This shows you the differences between two versions of the page.

--- grades [2010/01/21 17:48] – jonathan
+++ grades [2010/04/09 16:57] (current) – jonathan
@@ Line 16: / Line 16: @@
 ====== Grades ======
-The weight distribution of the course components is (**tentatively**) as follows:
+The weight distribution of the course components is as follows:
   * 10% - Assignment 1. Due: Wednesday Jan 27 at 1pm
   * 15% - Labtest 1. Due: Thursday Feb 11, 11.30-1.30pm
-  * 10% - Assignment 2. Due: Tuesday March 2, 4pm
+  * 10% - Assignment 2. Due: Wednesday March 3, 2pm
-  * 15% - Labtest 2. Due: Tuesday March 16, 11.30-1.30pm
+  * 15% - Labtest 2. Due: Tuesday March 18, 11.30-1.30pm
-  * 50% - Final Exam
+  * 50% - Final Exam: Wed, 7 Apr 2010  9:00 180 VH 2016
+====== Exam details ======
+You may bring 3 sheets (US Letter size, written on both sides) of your own notes into the exam.  Otherwise it is a closed book exam.
+You may want to make the first two sheets the Event-B summary, with your own annotations. The third sheet may be any additional notes as required.
+The Exam will be on all the material noted in the course outline. This includes material covered in the lectures, slides and required readings from the textbook, assignments and labtests.
+There will be 3 questions on the exam.
+The first question covers relations and functions. Knowledge of partial functions, total functions, injections, surjections, the override operator etc, is required.
+The second question is similar to the RichPoor exercise in which your ability to use set theory and predicate logic (quantifiers) to formalize statements is tested.
+The third question is similar to the Birthday Book example in which you must develop a model from a user requirements document, and refine it.
+**Important**: Make sure to attend class on Thursday March 25th.
+====== Miscellaneous ======
 You can view your marks