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

University of Washington Computer Science & Engineering

CSE Home

About Us

Contact Info

Instructor:

Atri Rudra   (atri "at" cs)
Office: Allen 210, Ph: 685-2036
Office Hours: Mon, 2:30-3:30pm;
                       Wed, 2:30-2:50pm;
                       Fri, 2:30-2:50pm;
                       Or by appointment.

Teaching Assistants:

Jenny Liu (jen "at" cs)
Office hours: Wed, 4:00-4:50pm (CSE 216)
Thu, 2:30-3:20pm (CSE 218)
Tobias Roseman (tobyr "at" cs)
Office hours: Tue, 2:30-3:20pm (CSE 218)

Meeting Times:

Monday, Wednesday, and Friday, 1:30-2:20pm.
Location: JHN 175.

Postscript

Jokes/limmericks from the final exam.

Syllabus

Here is the standard list of specific goals and topics for the course. Most of the topics (but not necessarily all) will be covered (as time permits).

Problem Sets

Assigned weekly, roughly 8 of them, generally due on Fridays
Late solutions will not be accepted (unless PRIOR approval is obtained)
IMPORTANT, Please Read: Homework Policies
Why do homeworks ?
Problem set 1 (due Apr 7).
Problem set 2 (due Apr 14, 6(c) due on Apr 21).
Problem set 3 (due Apr 21).
Problem set 4 (due Apr 28).
Problem set 5 (due May 12).
Problem set 6 (due May 19).
Problem set 7 (due May 26).
Problem set 8 (due Jun 2).

Mailing List:

It is important to subscribe to the class mailing list immediately. Everyone is expected to read cse322 e-mail to keep up-to-date on the course.
To subscribe to the CSE 322 mailing list, visit http://mailman.cs.washington.edu/mailman/listinfo/cse322.

Text Book

Michael Sipser, Introduction to the Theory of Computation, (2nd edition) PWS Publishing, 2005.
We will cover Chapters 1,2 and parts of Chapters 3,4,5.
There is a list of errors in the second edition of the textbook.

Exams

Midterm exam: Friday, May 5, in class. Review session on Thursday, May 4th, 4:30pm in JHN 175.
Final exam: Monday, June 5, 2:30-4:20pm, JHN 175. Review session on Sunday, June 4th, 3:00pm in EE1 045.

Grading (Rough split)

Weekly assignments (40-45%)
Midterm exam (20-25%)
Final exam (35-40%)

There will be extra credit (for bonus questions on some assignments).

Suggestions or Comments?

We would be happy to get feedback from you. You can either

Talk/send email to the instructor and/or TAs, or
Use this anonymous feedback form.
The feedback form handed out in class on April 7 and the results.
The feedback form handed out in class on April 28 and the results.
The feedback form handed out in class on May 17 and the results.


	Computer Science & Engineering University of Washington Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX