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

Contact information:

  Name Electronic address Phone Office Office Hour
Instructor Martin Tompa mail Martin 206-543-9263 CSE 538 Wed, 2:30-3:20 pm
TA Atri Rudra mail Atri CSE 220 Thu, 1:00-2:00 pm
TA Jean Wu mail Jean CSE 220 Mon, 3:30-4:30 am

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. Beware: The international edition differs from the U.S. edition in the numbering of its exercises and perhaps in other places as well. If you use the international edition, it is your responsibility to be sure that you are solving the correct homework problems.

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 11, 2006, 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/322/

Mailing List: The class mailing list is cse322 (at) cs (dot) washington (dot) 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.


comments to cse322-owner (Last Update: )