Main Course Webpage

General information

The Course Discussion Board will be used for all announcements.

During the term, you can access your grades on the CDF secure website for students.

Netiquette

Here are some guidelines for electronic communication (email and forum postings). These are meant to allow us to better cope with the potentially high volume of email we receive, and to answer all of your queries more efficiently.

  • Please use email for personal matters only; post all other questions/comments on the course forum, where everyone can benefit from the answer.
  • Please use a descriptive subject line — be specific (for email, always include the course number).
  • To help prevent your messages being incorrectly tagged as spam, please email or post from your CDF account or your UTORmail account (www.utorid.utoronto.ca) and avoid using HTML or MIME.
  • We will generally answer queries within two business days (not counting weekends), although we may take longer during particularly busy times (e.g., around assignment due dates). For your own sake, please do not rely on getting same-day answers (which we do not have the resources to guarantee, unfortunately).

Giving feedback

Rather than wait until the official course evaluations at the end of the term, by which point it's too late to make a difference, please feel free to get in touch with me at any point during the term with any suggestion or concern that you have about any aspect of the course. In particular, don't hesitate to let me know if there are aspects of the course that you particularly like, so that I can keep them that way, or if there are specific aspects that you dislike, so that I can make changes (or discuss with you my reasons for doing things that way).

If you are uncomfortable bringing your concerns directly to me, you might consider mentionning it to your TA so that they can pass them on to me. Failing that, feel free to use any means that make you more comfortable to give me feedback: writing a letter and slipping it under my door, sending anonymous e-mail, etc. (But don't abuse that: it's hard to get a discussion started when you cannot reply to the other person, and some of those issues undoubtedly require discussion!)

Note that this does not mean that I will accept unfounded complaints! If you have a complaint or criticism that you are ready to discuss in a reasonable manner, that's great. If you are merely unhappy about your marks (or for whatever other reason) and you have nothing constructive to say (e.g., "this course is terrible", with no thought about why or how it is terrible), then you should wait and think it over until you come up with something more concrete that we can work with. Remember that the goal is to help improve the course — not just to vent. But please do think about it and let me know!

Contact information

Instructor

Name: François Pitt
Email: fpitt [at] cdf.utoronto.ca (this is the best way to reach me)
Phone: 1 416 978-3707
Fax: 1 416 946-7132 (please include my name on all faxes)
Office: Room BA 4264 (Bahen Centre for Information Technology, 40 St. George Street)
Mail: Department of Computer Science, University of Toronto
Toronto, Ontario, M5S 2E4 (CANADA)

Instructor's Office Hours

W 3–4, R 1:30–3:30, F 2:00–3:30 in room BA 4264.

Lectures and Tutorials

Lectures (L0101): MWF 11 in room SS 2102
Lectures (L5101): M 6–9 in room BA 1200

There will be no formal tutorials in this course; rather, TA's will hold office hours at the following times — note that some office hours are only one hour long while others are two hours long.

Tue 13 Jan, 2–3 in SS 2135 Thu 15 Jan, 7–8 in BA 1200
Tue 20 Jan, 2–3 in SS 2135 Thu 22 Jan, 7–9 in BA 1200
Tue 27 Jan, 2–4 in SS 2135 Thu 29 Jan, 7–9 in BA 1200
Tue 10 Feb, 2–3 in SS 2135 Thu 12 Feb, 7–8 in BA 1200
Tue 24 Feb, 2–3 in SS 2135 Thu 26 Feb, 7–9 in BA 1200
Tue 3 Mar, 2–4 in SS 2135 Thu 5 Mar, 7–9 in BA 1200
Tue 17 Mar, 2–3 in SS 2135 Thu 19 Mar, 7–8 in BA 1200
Tue 24 Mar, 2–3 in SS 2135 Thu 26 Mar, 7–9 in BA 1200
Tue 31 Mar, 2–4 in SS 2135 Thu 2 Apr, 7–8 in BA 1200

Grading scheme

Work Weight
6 Exercises: 12% (2% each)
3 Assignments: 24% (8% each)
2 Term Tests: 24% (12% each)
1 Final Examination: 40%
  • Exercises are to be completed individually, to help you cement your own understanding of the course material.
  • Assignments are to be completed in small groups (3-4 students), to help you learn together by working through more difficult problems. (Details of the mechanisms for this can be found on the Homework page.)
  • Term Tests will be closed-book; you will be allowed one aid sheet for the final exam (details will be posted on the Tests/Exam page).
  • On tests and exam, answering "I don't know" (and nothing else) is worth 20%, to encourage awareness of (and honesty about) your level of understanding. This does not apply to exercises and assignments, where you have time to ask questions and learn. (See the Tests/Exam page for details.)
  • In order to pass the course, you must achieve a mark of at least 33.33% on the final examination and, separately, a combined average of at least 33.33% on all term tests. In other words, you will automatically fail the course (your final mark will be lowered below a passing grade) if your mark on the final exam is below 33.33% or if your combined average on the term tests is below 33.33%, irrespective of your computed final mark.
  • See below for the exercise, assignment, and test dates, and for the course policies on grace days, special consideration, and remarking requests.
  • Check the Homework page and the Tests/Exam page for more information and policies specific to each exercise, assignment or term test.

Important dates

Date(s) Event
Monday 5 January First day of classes
Wednesday 14 January Exercise 1 due
Sunday 18 January Deadline to enrol
Wednesday 21 January Exercise 2 due
Wednesday 28 January Assignment 1 due
February 3/5 Term Test 1
Wednesday 11 February Exercise 3 due
February 16–20 Reading Week
Wednesday 25 February Exercise 4 due
Wednesday 4 March Assignment 2 due
Sunday 8 March Deadline to drop
March 10/12 Term Test 2
Wednesday 18 March Exercise 5 due
Wednesday 25 March Exercise 6 due
Wednesday 1 April Assignment 3 due
Thursday 9 April Last day of classes
Friday 10 April University Closed (Good Friday)
April 20–May 8 Final Examination period
  • Homework exercises and assignments are due by 6:00pm on their due date. They may be deposited in the CSC165H drop box in room BA 2220, or submitted electronically (see the Homework page for full submission instructions).
  • Late exercises or assignments will not be accepted, unless you use a grace day or request special consideration — see below for the course policy on grace days, and how to request special consideration in case of illness or other unusual circumstances.

Policy on grace days

In order to allow you to better manage your time, each student will be allotted three (3) "grace days" at the start of the term.

At any point during the term, you may submit homework one or two day(s) late (but not three days late), without penalty, by using up one or two of your grace days — the time of submission remains the same.

It is not possible to use "partial" grace days — a grace day is either used fully (allowing you to submit your homework up to 24 hours late), or not at all.

Any homework submitted late after all of your grace days have been used up will get a grade of zero (0) — to avoid this, it is better to submit your partially completed homework on time.

Grace days can only be used for homework — it is not possible to use grace days to write term tests on a different day than the rest of the class.

In order to submit a group assignment one day late without penalty, there must be as many grace days used up as there are students in your group (similarly for submissions two days late). Normally, each student in the group will use up one of their days. But if one student has run out of grace days, it is possible for someone else to "cover" by using up two of their grace days. Note that this should only be done after careful consideration: an unscrupulous student could use this to take advantage of others in the group in order to submit more late work than their grace day allotment would normally allow.

Policy on special consideration

If you are unable to complete homework or if you miss a term test due to major illness or other circumstances completely outside of your control, please contact your instructor immediately in order to receive special consideration. Note that special consideration will be considered on an individual basis and will not be given automatically.

In order to receive special consideration, you must fill out the following Request for Special Consideration form and bring it to your instructor together with your supporting documentation.

In the case of illness, medical documentation must be supplied on the standard University of Toronto Student Medical Certificate (Adobe PDF document). You can also obtain a paper copy of this certificate from your college registrar or in your registration handbook. (A simple "note" from your doctor is unfortunately not acceptable.)

Policy on remarking requests

  • All remarking requests must be received within one month of the date when the assignment or test was returned. (It is your responsibility to pick up your assignment or test from the instructor during office hours, if you were not in class when it was returned.)
  • Your mark will decrease if the marker sees something that was incorrectly awarded too high a mark.
  • If there is a simple addition mistake in your assignment or test, just show the work to your instructor (not your TA).
  • For all other remarking requests, please print this remarking form, fill it in completely, and attach it to your assignment or test. (Remarking requests will not be considered if the remarking form is missing or incomplete.)
    You must be specific and clearly demonstrate that the marking scheme was not followed correctly for your assignment or test. Note that marks are awarded based on merit, not on need, so statements like "I worked really hard" or "I really need those marks" are unfortunately not good reasons.
  • Give the form and your assignment or test directly to the marker or to your instructor. Remember to submit your work together with the form.
    If you are comparing your work to that of another student, hand in BOTH assignments or tests (your request will be ignored otherwise).
  • If you are still not satisfied after getting back your remarked assignment (or after having a meeting with the marker), contact your instructor to discuss your situation.

Textbook and references

Required textbook

There is no required textbook for this course.
Lecture notes will be posted on the Lectures page.

Additional references

  • "Learning to Reason" by Nancy Rodgers. Copyright 2000 by John Wiley & Sons, Inc. ISBN: 0-471-37122-X.
    (Contains material close to the lecture notes for the first half of the course.)
  • "How to Prove It" by Daniel J. Velleman. Copyright 1994 Cambridge University Press. ISBN: 0-521-44663-5.
    (Excellent treatment of logic and proof techniques.)

Useful links