CSE 322: Introduction to Formal Models in Computer Science
Winter 2002
Course Information

Contact information:

  Name Electronic address Phone Office Office Hour
Instructor Martin Tompa tompa@cs.washington.edu 206-543-9263 Sieg 426B Thu 11:00-12:00
TA Michael Nelson nelsonmj@cs.washington.edu Sieg 226A Wed 4:30-5:20
TA Ashish Sabharwal ashish@cs.washington.edu Sieg 226B Tue 2:30-3:20

Textbook: Michael Sipser, Introduction to the Theory of Computation, PWS Publishing, 1997. There is a list of errors in the textbook available.

Grading: The course grade will be based on homework (roughly 40%) and two exams (roughly 60%). All percentages are approximate.

Course Web: All handouts and a log of all mail sent to the class mailing list will also be available on the course web at the following URL: http://www.cs.washington.edu/education/courses/322/CurrentQtr/

Mailing List: The class mailing list is cse322@cs.washington.edu. Instructions for subscribing to the class mailing list can be found on the course web. We will use this list for announcements of general interest to the class. Students should also feel free to use it to ask questions, post information, or initiate discussions of general interest to the class. Questions or comments that are not of general interest should instead be directed to the TA or instructor at the addresses above.

Special Accommodations: If you would like to request academic accommodations due to a disability, please contact Disabled Student Services, 448 Schmitz, 543-8924 (V/TDD). If you already have a letter from Disabled Student Services indicating you have a disability that requires academic accommodations, please let the instructor know so we can discuss the appropriate accommodations.


owner-cse322@cs.washington.edu (Last Update: )