CSE 322: Introduction to Formal Models in Computer Science
Autumn 2005
Course Information

Contact information:

  Name Electronic address Phone Office Office Hour
Instructor Martin Tompa tompa@cs.washington.edu 206-543-9263 CSE 538 Wed 2:30-3:20
TA Ning Chen ning@cs.washington.edu CSE 220 Mon 4:30-5:20
TA Toby Roseman tobyr@cs.washington.edu CSE 220 Thu 12:30-1:20

Textbook: Michael Sipser, Introduction to the Theory of Computation, Second Edition, Thomson Course Technology, 2006. There is a list of errors in the textbook available.

Syllabus: We will cover most of Chapters 1-2 of the textbook. This is also the textbook for CSE 431, Introduction to Theory of Computation, which covers much of the remainder.

Reading Assignment: By Friday, please read Chapter 0. This should be a timely review of relevant material from CSE 321. Also start reading Section 1.1.

Grading: The course grade will be based on homework (roughly 40%), a midterm exam (roughly 20%) and a final exam (roughly 40%). All percentages are approximate. The final exam is scheduled for 2:30-4:20 p.m., Monday, December 12, 2005, in our regular lecture room.

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 TAs and/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: )