CSE logo University of Washington Computer Science & Engineering

 CSE 322: Introduction to Formal Models in Computer Science, Spring 2002

Basic course information:

Lectures: MWF 10:30-11:20am EE1 045
office hours
Donald Chinn, Instructor
dci at cs.washington.edu
(206) 616-2406
MWF 11:30-12:00 noon,
MF 2:00-3:00pm,
or by appointment.
Sieg 226D
Justin Campbell, TA
jmc at cs.washington.edu
Tu, 12-1, Sieg 226
Th, 4:30-5:30, Sieg 226
Michael Nelson, TA
nelsonmj at cs.washington.edu
Wed, 12:30-1:30, Sieg 226

Textbook:   Introduction to the Theory of Computation, by Michael Sipser.
(PWS Publishing, 1997, ISBN: 0-534-94728-X)
list of errors in the book

Course Links:



  1. Course Organization
  2. Proof of Correctness of the Cross Product machine of Theorem 1.12
  3. Proof of Correctness of Theorem 1.19


On-line resources and fun links: