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

University of Washington Department of Computer Science & Engineering

CSE Home

About Us

Contact Info

Instructor:

Richard E. Ladner (ladner at cs.washington.edu)
Office: Sieg 311, 543-9347
Office Hours: Tu W Th 10:00-11:00 AM

Teaching Assistant:

Julie Goldberg (julie at cs.washington.edu)
Office: Sieg 226a
Office hours: W 4:00-5:00, Th 4:30-5:30

Meeting Times:

Monday, Wednesday, and Friday 2:30 - 3:20 , EE1 037

CSE 322 E-mail Group

To subscribe to the CSE 322 E-mail Group send an e-mail message to majordomo at cs.washington.edu with subscribe cse322 in the body of the message. Your message should be sent from the e-mail account where you want to your class e-mail to arrive. Other commands for majordomo can be found by sending e-mail to majordomo with a blank message body. All e-mail to cse322 is posted in the E-mail Archive (last updated ).

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

Assignment 1 due January 12th. .ps .pdf
Assignment 2 due January 19th. .ps .pdf
Assignment 3 due January 26th. .ps .pdf
Assignment 4 due February 2nd. .ps .pdf
Assignment 5 due February 9nd. .ps .pdf
Assignment 6 due February 16th. .ps .pdf
Assignment 7 due February 23rd. .ps .pdf
Assignment 8 due March 2nd. .ps .pdf
Assignment 9 due March 9th. .ps .pdf

Reading

1/2 - 1/6 Chapter 0
1/7 - 1/13 Chapter 1, Sections 1 and 2
1/14 - 1/20 Chapter 1, Section 3
1/21 - 1/27 Chapter 1, Section 4
1/28 - 2/3 Chapter 2, Section 1
2/4 - 2/10 Chapter 2, Section 2
2/11 - 2/17 Chapter 2, Section 3
2/18 - 2/24 Chapter 3, Section 1
2/25 - 3/3 Chapter 3, Section 2
3/4 - 3/10 Chapter 3, Sections 3 and 4

Text Book

Michael Sipser, Intro. to the Theory of Computation, PWS Publishing, 1997.
There is a list of errors in the first printing and errors in the second printing of the textbook available.

General Theory Resources

These resources may be helpful in your studies.

Midterm Exam

Friday, February 9 , 2001
Midterm study guide

Final Exam

2:30 - 4:20, Tuesday, March 13, 2001
Final Exam study guide

Grading

Weekly assignments (25%)
Midterm exam (25%)
Final exam (50%)

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]