CSE 322: Introduction to Formal Models in Computer Science, Winter 2009

University of Washington Department of Computer Science & Engineering

CSE Home

About Us

Contact Info

Instructor:

Richard E. Ladner (ladner at cs.washington.edu)
Office: CSE 632, 543-9347
Office Hours: Monday and Wednesday, 3:30 - 4:20,

Teaching Assistants:

Daniel Jones (dcjones at cs.washington.edu)
Office Hours: Tuesday and Thursday, noon - 1:00 pm, CSE 218.
Stillman Knox (stillk at cs.washington.edu)
Office hours: Thursday, 10:00 - 11:00, CSE 220

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

Many have found Dave Bacon's notes from previous quarters of this class very helpful.
These general theory resources may also be helpful.

Midterm Exam

Monday, February 9, 2009
Midterm study guide

Final Exam

2:30-4:20 p.m. Monday, March 16, 2009
Final Exam study guide

Grading

Weekly assignments (40%)
Midterm exam (20%)
Final exam (40%)

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]