CSC 236: Introduction to the Theory of Computation

University of Toronto, Fall 2004

Section L0101Section L5101
Alan J RosenthalGary Baumgartner
Lectures:MW 10, SS 2102R 7-9, BA 1180
Office:BA 4234SF 4306D
Office hours:M 12:30-1:30, T 5:30-6:30MW 2:00-4:00

Tutorials:

Tutorial assignments will be announced in the second week. Please see the course web page for the tutorial assignments.


Textbook:

Vassos Hadzilacos, Course notes for CSC B36/236/240, 2004 edition (available from the bookstore).

Course topics:

Mathematical induction; logic and proof techniques; proofs of algorithm and program correctness; recurrence relations; introduction to automata and formal languages.


Important prerequisite note:

This course has course prerequisites and a CGPA prerequisite. The prerequisites are your responsibility. If you do not have the prerequisites and you do not receive special permission to take the course, you will be removed from the course at some future time when the A&S office does their checks.


Schedule:

Assignment 1:8%due 6:00 p.m., Thursday October 7
Assignment 2:8%due 6:00 p.m., Thursday October 21
Mid-term test:15%at tutorial time, different rooms (TBA), October 28/29
Assignment 3:8%due 6:00 p.m., Thursday November 4
Assignment 4:8%due 6:00 p.m., Thursday November 18
Assignment 5:8%due 6:00 p.m., Thursday December 2
Final exam:45%as scheduled during the December exam period

To pass the course you must receive at least 35% (out of a hundred that is) on the final exam.

Assignments should be turned in by depositing them in the drop-box labelled "CSC 236" in BA 2220. They can be deposited in the drop-box any time up to the due time. Alternatively, assignments can be turned in early to the lecturer, e.g. in a class before the due date.

Assignments must be written on standard 8½x11" paper and fastened with a single staple in the upper-left corner. No envelopes, please; any fancy enclosure will be thrown out. Please use the supplied cover sheet, and please be sure to indicate your tutorial section so that your graded assignment can be returned to you.

Late assignments will only be accepted under exceptional circumstances and with a written explanation. To submit an assignment late, submit it in the usual way and then send the lecturer an e-mail message or bring him a note.

Any disagreements with the grade assigned to assignments or the midterm should normally be submitted to a TA or the lecturer within a week of its return. Regrading requests submitted after that might be taken less seriously unless we made a substantial grading error; as well, you then probably won't get your work back until the very last class.

Work submitted for regrading during the last two weeks of classes will not be returned until after the final exam. (You may wish to photocopy it first.)


Collaboration and plagiarism

I would like to encourage you to work on the course material with others, but you must take care that it does not turn into plagiarism.

Plagiarism is the representation of someone else's creative work as your own. If you submit an assignment containing someone else's work, this constitutes the academic offence of plagiarism and will be taken very seriously! With course work, in which you are expected to submit something on your own and thus cannot put a collaborator's name on it, the line between collaboration and plagiarism becomes more difficult to draw. Thus we will set the following guidelines:

You may discuss general approaches to assignments with others, but you may not bring your own actual solutions (complete or partial) to such discussions, and you must not take away any written notes from such discussions. In particular, the final write-up of your assignment must be done in isolation from others.
It is not difficult for graders to detect excessive collaboration. Note that it is also an offence to assist others in committing plagiarism.


[
main course page]