General Information:

Course Description:

Coursework and Marking Scheme

Marking Scheme

 

Assignment 0	4%	January 12
Assignment 1	10%	January 24
Assignment 2	6%	February 16
Assignment 3	12%	March 16
Assignment 4	6%	March 30
Assignment 5	12%	April 11
Final exam	50%	Exam week

• No aids are allowed at the final exam.
• On the final exam, a blank answer is worth about one-third of the marks;  to that, marks will be added for correct and relevant information, and marks will be subtracted for incorrect or irrelevant information.

Readings

There is no official textbook for the course. However, we recommend M. Huth, M. Ryan, Logic and Computer Science: Modeling and Reasoning about Systems, Cambridge University Press, 2000.  Additional readings come from research articles and chapters of several books.  The list of readings used throughout the course is available at http://www.cs.toronto.edu/~chechik/courses00/ece450/readings.html

Course Policies

• All assignments are due at the beginning of the class on the due date.  All assignments except A5 are due on Fridays at 12:10 a.m.  Assignment 5 is due on Wednesday at 11:10 a.m.  Assignments not turned in sharply at the beginning of the lecture/tutorial are considered late.  Assignments submitted within 24 hours of the due date loose 25% of the mark; assignments submitted the following Monday (for A0-A4), or Friday (for A5) loose 50% of the mark.  You are allowed one grace day for the entire semester.  Use it for emergencies!   Documented emergencies, such as an illness (with a physician's note) or death in the family, should be brought up to the instructors' attention immediately.  We will grant extensions in such cases.
• All electronically-submitted code should run on ECF.
• You are not required to read the newsgroup. You may use it to post questions (and volunteer answers) about the assignments. Instructors and TAs will monitor the newsgroup and post answers to questions on the Announcements and Advice page.
• Instructors and TAs are happy to answer your questions. The best way to do so is by coming to our office hours. If you are unable to come because of a course conflict or some other reason, please send the instructor or the TA e-mail requesting an appointment. We apologize in advance, but we will not be able to deal with walk-ins.
• Assignment descriptions and lecture notes will be made available on the Web rather than distributed in class.  It is your responsibility to obtain them.
• If you want your assignment remarked, here is the procedure to follow:
• On a separate piece of paper, give your name, student number, e-mail and the reason for the remark request.
• Hand in the remark request during the lecture.

We reserve the right to remark the entire assignment. This may lower your overall mark.
• Finally, we would like to remind you that cheating is a major academic offense.  We are prepared to prosecute the offenders as required by the rules of Faculty of Engineering.