Main Course Webpage

General information

Netiquette

Here are some guidelines for electronic communication (email and bulletin board postings). These are meant to help you get answers more quickly by allowing us to better cope with the potentially high volume of email we receive.

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 your instructor at any point during the term with any suggestion or complaint that you have about any aspect of the course. In particular, don't hesitate to let us know if there are aspects of the course that you particularly like, so that we can keep them that way, or if there are specific aspects that you dislike, so that we can make changes (or discuss with you our reasons for doing things that way).

If you are uncomfortable bringing your concerns directly to us, you might consider mentioning it to your TA so that they can pass them on. Failing that, feel free to use any means that makes you more comfortable to give us feedback.

Note that this does not mean that we 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 but 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 in that case, please do think about it and let us know!

Contact information

Section: L0101 L5101
Lectures: MWF 12 in BA 1180 T 6–9 in BA 1130
Instructor: Tom Fairgrieve François Pitt
Email: tff [at] cs.utoronto.ca fpitt [at] cdf.utoronto.ca
Phone: 416–978–3965 416–978–3707
Office: BA 4230 BA 4264
Office 
Hours:
MW 1:30–2:30,
F 9:30–10:30
M 12, T 4, R 11

UPDATE (on Wed 14 Sep): TA's will run tutorials as follows, starting on September 15th.

Section Time Room For students whose last name starts with...
T0101-A M 7–8 BA 1170 A–I
T0101-B M 7–8 BA 2165(*) J–N
T0101-C M 7–8 BA 2195 O–Z
T5101-A R 7–8 BA 1130 A–I
T5101-B R 7–8 BA 2145 J–N
T5101-C R 7–8 BA 2155 O–Z

(*) Note: on Sep 26 and Oct 3, tutorial section T0101-B will meet in room HA 410 instead of BA 2165.

See the second page of the Course Information Sheet (L0101 / L5101) for a complete calendar of important dates and course events.

Grading scheme

Work Weight
6 Exercises: 12% (2% each)
3 Assignments: 24% (8% each)
2 Term Tests: 24% (12% each)
1 Final Examination: 40%

Policy on special consideration ("Petitions")

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 other words, you risk getting a mark of zero for missed work unless you contact your instructor promptly.

In the case of illness, medical documentation must be supplied on the standard University of Toronto Student Medical Certificate (PDF). 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 homework or test was returned. It is your responsibility to check your email regularly (for work returned electronically) or to pick up your work from the instructor during office hours (for work returned on paper during lecture or tutorial).

Please be specific when you write up your request: either clearly demonstrate that the marking scheme was not followed correctly, or ask questions about specific elements in the marking scheme. Note that marks are awarded based on merit, not on need—that is the only fair way to award marks—so statements like "I worked really hard" or "I really need those marks" are unfortunately not good reasons.

If you are comparing your work to that of another student, hand in both tests or include both usernames in your request.

If you are still not satisfied after getting back your remarked homework or test (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. Instead, detailed course notes will be posted on the Lectures & Tutorials page.

Recommended reference

The following textbook served as an inspiration for our "structured proof" approach and covers most of the course topics (except for the material on algorithm analysis towards the end of the course).

LaTeX links

LaTeX is a general-purpose typesetting system that makes it easy to generate high-quality documents, particularly when formatting mathematical formulae.

Source files

Tutorials, guides, references, etc.

Useful links