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

Steam-powered Turing Machine

University of Washington Computer Science & Engineering

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

Instructor:

Venkatesan Guruswami (venkat@cs)
Office: Sieg 414, 685-1959
Office Hours: Mon 4-5 PM, Wed 11:30-12:30PM at Sieg 414

Teaching Assistants:

Ioannis Giotis (giotis@cs)
Office hours: Thur 1:00-2:30PM; Sieg 226b
Andrew Stoneman (stoneman@cs)
Office hours: Tue 1:00-2:00PM, Thur 11-12 noon, Sieg 226b

Meeting Times:

Monday, Wednesday, and Friday, 10:30-11:20.
Location: MEB 248.

Mailing List:

It is important to subscribe to the class mailing list immediately. Everyone is expected to be reading 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.
All e-mail to cse322 is posted in the E-mail Archive (last updated ).

Problem Sets

Assigned weekly; Generally due on Fridays
Late solutions will not be accepted (unless PRIOR approval is obtained)
IMPORTANT, Please Read: Homework Policies

Problem Set 1, due 4/11/03.
Problem Set 2, due 4/18/03.
Problem Set 3, due 4/25/03. [.pdf]
Problem Set 4, due 5/2/03. [.pdf]
Problem Set 5, due 5/16/03. [.pdf]
Problem Set 6, due 5/23/03. [.pdf]
Problem Set 7, due 5/30/03. [.pdf]
Problem Set 8, due 6/6/03. [.pdf]

Handouts

Conversion of NFAs to DFAs
Pattern Matching (notes from Fall'02 offering of CSE417)
Conversion of PDAs to CFGs

Sample final exam
Final study guide

Suggestions or Comments?

You can send comments to the instructor or TA using this anonymous feedback form

Text Book

Lewis & Papadimitriou: Elements of the Theory of Computation: Second Edition, Prentice Hall, 1998
This is the new edition that has the picture of Alan Turing on its cover. The old edition is NOT suitable. There is a list of typos available.
We will cover Chapters 2 and 3 of the book, as well as selected material from Chapters 4 and 5.

Exams

Midterm exam: Friday, May 9, in class.
Final exam: Monday, June 9, 8:30-10:20am.

Grading (Rough split)

Weekly assignments (40-50%)
Midterm exam (15-20%)
Final exam (35-40%)


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