Differences

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

--- grades [2010/03/22 17:45] – 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
@@ Line 24: / Line 24: @@
   * 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 ======