CSC 165H1F: Mathematical Expression and Reasoning for Computer Science
Fall 2006

Course Information

Instructor: Richard Krueger

email:

Lectures: Mondays and Wednesdays, 12noon-1pm in MP 202

Tutorials: Fridays, 12noon-1pm in: (tutorials begin the first week!)

LM 157     (last names A to H)     TA: Peter

SS 2105     (last names I to O)     TA: Hania / Matthew

SS 2128     (last names P to Z)     TA: Costis

Teaching assistants: Konstantinos Georgiou, Hania El Ayoubi, Nargol Rezvani, Peter Liu, Matthew Kitching

Office hours: by appointment, or

as posted on Announcements page.

Newsgroup: ut.cdf.csc165h

Previous offerings of this course: Summer 2006 Winter 2006 Fall 2005 Summer 2005

Course description

Introduction to abstraction and rigour. Understanding, using and developing precise expressions of mathematical ideas, including definitions and theorems. Informal introduction to logical notation and reasoning. Representation of floating point numbers and introduction to numerical computation.
Official calendar description and restrictions

Before you start

Course Links

• Course information sheet in postscript or PDF
• Announcements (updated periodically, please read regularly)
• Course outline
• Lecture schedule and notes
• Assignments and cover sheet
• Test and quiz information
• Marks
• Remarking instructions and form
• Requests for special consideration (cases of illness, emergencies, etc.)

Other UofT links

• CS Undergraduate Announcements. Keep up to date with CS happenings and deadlines.
• Computer Science Student Union (CSSU). Work for a better CS undergrad experience.
• Department of Computer Science. All the info on Computer Science programs and courses.
• Help with writing in English. Write clearly (proofs too!).
• Accessibility services. Overcome obstacles to learning.
• Student services. Find health, housing, counselling.
• Faculty of Arts and Science. Verify exam schedules and such.