CSE 322: Introduction to Formal Models in Computer Science, Autumn 2003

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
Phone: 206-543-9347

Teaching Assistants:

Brian Chang (briancks at cs.washington.edu)
Office hours: 12:00 - 1:00, Wednesdays, CSE 220
Andrew Stoneman (stoneman at cs.washington.edu)
Office hours: Tuesdays, 12:00-1:00, CSE 220, Thursdays 1:00-2:00, CSE 216

Meeting Times:

Monday, Wednesday, and Friday, 1:30 - 2:20, EE1 045

CSE 322 E-mail Group

To subscribe to or read CSE 322 e-mail list at CSE 322 e-mail. The main purpose of the e-mail group is to post announcements from the instructors.

Assignments are due on Friday (late assignments not accepted without prior approval).

Assignment 1 due 10/3
Assignment 2 due 10/10
Assignment 3 due 10/17
Assignment 4 due 10/24
Assignment 5 due 10/31
Assignment 6 due 11/14
Assignment 7 due 11/21
Assignment 8 due Wednesday 12/3
Assignment 9 due Wednesday 12/10

Reading

9/29 - 10/05: Chapter 0 and Chapter 1, section 1
10/6 - 10/12: Chapter 1, sections 2 and 3
10/13 - 10/19: Chapter 1, sections 3 and 4
10/20 - 10/26: Chapter 1, sections 3 and 4
10/27 - 11/2: Chapter 2, section 1
11/3 - 11/16: Chapter 2, sections 2 and 3
11/17 - 11/23: Chapter 3, sections 1 and 2
11/24 - 12/19: Chapter 3, section 3 and Chapter 4
Sequitur Slides
Cellular Automata Slides

Text Book

Michael Sipser,
Intro. to the Theory of Computation, PWS Publishing, 1997.

General Theory Resources

These resources may be helpful in your studies.

Midterm Exam

Friday, October 31, 2003
Midterm study guide

Final Exam

2:30 - 4:20 pm, Friday December 12, 2003
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 Richard Ladner]