CSE3341

User Tools

Site Tools

You are here: CSE 3341 3.0- Introduction to Program Verification » Dates/Grades
Trace:
grades

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
grades [2010/03/22 17:52] – jonathangrades [2010/04/09 16:57] (current) – jonathan
Line 16: Line 16:
 ====== Grades ====== ====== 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   * 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.  There will be 3 questions on the exam. 
Line 35: Line 36:
 The first question covers relations and functions. Knowledge of partial functions, total functions, injections, surjections, the override operator etc, is required. 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 settheory and predicate logic (quantifiers) to formalize statements is tested.+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.  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.+**Important**: Make sure to attend class on Thursday March 25th.
  
 ====== Miscellaneous ====== ====== Miscellaneous ======
grades.1269280339.txt.gz · Last modified: 2010/03/22 17:52 by jonathan