grades
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| grades [2010/03/22 17:47] – jonathan | grades [2010/04/09 16:57] (current) – jonathan | ||
|---|---|---|---|
| Line 16: | Line 16: | ||
| ====== Grades ====== | ====== Grades ====== | ||
| - | The weight distribution of the course components is (**tentatively**) | + | The weight distribution of the course components is as follows: |
| * 10% - Assignment 1. Due: Wednesday Jan 27 at 1pm | * 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 | * 50% - Final Exam: Wed, 7 Apr 2010 9:00 180 VH 2016 | ||
| + | |||
| ====== Exam details ====== | ====== 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 bring 3 sheets (US Letter size, written on both sides) of your own notes into the exam. Otherwise it is a closed book exam. | ||
| Line 29: | Line 30: | ||
| 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. | 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. | + | 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 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**: | ||
| ====== Miscellaneous ====== | ====== Miscellaneous ====== | ||
grades.1269280056.txt.gz · Last modified: by jonathan
