User Tools

Site Tools


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 [2016/02/23 03:56] jonathangrades [2016/04/10 03:10] (current) jonathan
Line 11: Line 11:
   *Last day to submit work: April 4   *Last day to submit work: April 4
   *April 6-20 - Winter Exams   *April 6-20 - Winter Exams
-  * EXAM: FridayApril 8 9:00 - 12:00 +  * 3342 EXAM: Sun10 Apr 2016 14:00 (2pm -5pm) ACW 106
  
 ===== Due dates ===== ===== Due dates =====
  
-  * The first lab is due Tuesday Jan 12 by 1.30pm. Quiz 1 is 1.30pm to 1.55pm</hi> +  * The first lab is due Tuesday Jan 12 by 1.30pm. Quiz 1 is 1.30pm to 1.55pm 
-  * Lab2 is due Tuesday Jan 26 +  * Lab2 is due Tuesday Jan 26 
-  * <hi>Lab3 is due in two parts. (a) The Lab must be completed by Tuesday, 2nd of Feb., before Quiz4. (b) The report must be submitted by Tuesday, the next week, Feb 9th.</hi> +  * Lab3 is due in two parts. (a) The Lab must be completed by Tuesday, 2nd of Feb., before Quiz4. (b) The report must be submitted by Tuesday, the next week, Feb 9th. 
-  * **The Labtest is on Tuesday, Feb 23. It starts during class and finishes at the end of  the Lab hour. The Labtest is 12.30pm to 14.00pm in LAS1002**. I will be in LAS2056 11.30am to 12 noon for office hours (rather than the regular lecture). +  * The Labtest is on Tuesday, Feb 23. It starts during class and finishes at the end of  the Lab hour. The Labtest is 12.30pm to 14.00pm in LAS1002. I will be in LAS2056 11.30am to 12 noon for office hours (rather than the regular lecture).✓  
 +  * Lab 4 is due Tuesday 1 March, before Quiz 5.✓ 
 +  * Lab 5 is due Tuesday 08 March, before Quiz 6✓ 
 +  * Quiz 7 is on Tuesday 15 March and covers the initial model of celebrity (Lab 6) and defensive and strict specifications/models.proofs/merging-rules of sequential programs for linear and binary search.  
 +  * Lab 6 (celebrity) is due Tuesday 22 March before Quiz 8 (last quiz) 
 +  * Project due date is March 31, at 11am (strict)
  
 ===== Grades =====   ===== Grades =====  
Line 31: Line 36:
  
 ====== Exam details (old) ====== ====== Exam details (old) ======
-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. The first two sheets are the Event-B notation summary which you may annotate. The third sheet may be any additional notes as required.+You may bring 1 data sheet (US Letter size, written on both sides) of your own notes into the exam.  Otherwise it is a closed book exam. The first two sheets are the Event-B notation summary which you may annotate. The third sheet may be any additional notes as required.
  
-The Exam will be on all the material noted in the course outline, material covered in the lectures, slides and required readings from the textbook, exercises, assignments, labtests and project. The exam is 3 hours. A sample 2 hour exam is available on the SVN; our exam is unlikely to include questions from the samples.+The Exam will be on all the material noted in the course outline, material covered in the lectures, slides and required readings from the textbook, exercises, assignments, labtests and project. The exam is 3 hours.
  
 ====== Miscellaneous ====== ====== Miscellaneous ======
grades.1456199806.txt.gz · Last modified: 2016/02/23 03:56 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki