Steam-powered Turing Machine University of Washington Department of Computer Science & Engineering
 CSE 322: Introduction to Formal Models in Computer Science, Winter 2009
  CSE Home  About Us    Search    Contact Info 

Instructor:

Teaching Assistants:

Meeting Times:

Monday, Wednesday, and Friday, 1:30 - 2:20, MGH 231

CSE 322 Discussion Group

The CSE 322 Discussion Group for winter quarter 2009 contains all students in the class as well as the instructors. The purpose of the group is to allow discussion among members of the class about any topics related to the material. You can use your UW netID to access the discussion group.

CSE 322 E-mail List

There is a CSE 322 E-mail list that will be used by instructors to inform students about important information about the class at their UW e-mail box. Please forward your UW e-mail to your preferred e-mail box.

Assignments

Assignments are due on Friday (late assignments not accepted without prior approval). Please start each problem solution on a new page and put your name on every page.

Assignment 1: due 1/9/09. (Solution)
Assignment 2: due 1/16/09. (Solution)
Assignment 3: due 1/23/09. (Solution)
Assignment 4: due 1/30/09. (Solution)
Assignment 5: due 2/6/09. (Solution)
Assignment 6: due 2/13/09. (Solution)
Assignment 7: due 2/20/09. (Solution)
Assignment 8: due 2/27/09. (Solution)
Assignment 9: due 3/6/09. (Solution)

Reading

1/5: Chapter 0 (Review) and Chapter 1, section 1
1/12: Chapter 1, sections 2 and 3
1/19: Chapter 1, section 4
1/26: Chapter 1, section 4
2/2: Chapter 2, section 1
2/9: Chapter2, section 2
2/16: Chapter 2, section 2
2/23: Chapter 2, section 3
3/2: Chapter 3, all sections
3/9 Sequitur Slides

Text Book

Michael Sipser , Introduction to the Theory of Computation, Second Edition, PWS Publishing, 2005.

Resources

Midterm Exam

Final Exam

Grading


CSE logo Department of Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to ladner]