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

Course Information

Instructor: Richard Krueger

email:

Lectures: Mondays, Wednesdays and Fridays, 12noon-1pm in RW 110

Tutorials: Mondays, 7pm-9pm in: (tutorials begin the second week)

BA 2165     (last names A to H)     TA: Steve

BA 2159     (last names I to O)     TA: Alex

BA 2175     (last names P to Z)     TA: Anatoliy

Teaching assistants: Alex Levinshtein, Emad Andrews, Meghana Marathe, Steven Chaplick, Anatoliy Kats

Office hours: during exam period as posted on Announcements page.

Bulletin board: in the Computer Science Community

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

Course description

Introduction to abstraction and rigour. Informal introduction to logical notation and reasoning. Understanding, using and developing precise expressions of mathematical ideas, including definitions and theorems. Structuring proofs to improve presentation and comprehension. General problem-solving techniques. Unified approaches to programming and theoretical problems. Representation of floating point numbers and introduction to numerical computation.
Official calendar description and restrictions

Be sure to look at the First thoughts for CSC 165 page to understand the expectations for students entering this course, and to understand the restrictions and prerequisites set for CSC 165.

Course Links

• Before you start: First thoughts for CSC 165
• Course information sheet in postscript or PDF
• Announcements (updated periodically, please read regularly)
• Lecture schedule and notes
• Assignments and cover sheet
• Test and quiz information
• Marks (via CDF)
• 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.