COMP 280: The Mathematics of Computation Spring 2000

Synopsis

This course provides an introduction to the use of mathematics in modeling and reasoning about problems in computer science. It covers several data models, how to use them to describe problems in computer science, and techniques for proving various properties of data models.

All students should have taken COMP 210 prior to taking 280. If you have not had COMP 210, please see the instructor at the beginning of the semester.

Course Information

• Meetings: PL Amphitheater, TTh 10:50 - 12:05
• Instructional staff (contact info, office hours)
• Text: Discrete Structures, Logic, and Computability, by James L. Hein.
• Course Policies (honor code, grading, etc)
• Syllabus (schedule of topics, reading assignments)
• Assignments
• Handouts
• The Newsgroup -- Read it daily!

Home pages for Rice and Owlnet.