CSE 322: Introduction to Formal Models in Computer Science

Rimli Sengupta, Spring 2001

MWF 10:30-11:20, EE1 037

 Office Hours
 Rimli Sengupta
    rimli@cs   616-6026         MW 11:30-12:30   Sieg 213
 Kaustubh Deshmukh
   kaustubh@cs     TBA
TuW 12:30-1:30, Thu 2:30-3:30  Sieg 226a

Class E-mail Archive: (Last update:03/19/01 at 05PM.)
(This is a log of all messages sent to the class e-mail list.)
To send mail to the whole class, mail to: cse322@cs.washington.edu
Instructions on how to subscribe to the cse322 mailing list can be found here.


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


1. (3/26/01) Initial Course Info. (pdf)
2. (4/4/01)   Proof of subset construction (NFA to DFA). (pdf)


Homework is intended to be a major portion of the course. Assignments will be due weekly. It is expected that homework solutions represent original work.

1. (3/28/01) Homework 1. Due Friday 4/6/01  Sample Solution
2. (4/6/01)   Homework 2. Due Friday 4/13/01
3. (4/13/01) Homework 3. Due Friday 4/20/01


The course grade will be based on homework, a midterm, and a final exam. The approximate weights of the three components are: 50% Homework, 15% midterm and 35% final exam.

Old Course Webs:

Winter 2000 Spring 2000 Autumn 2000 Winter 2001

Portions of the CSE 322 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 322 Web: Copyright 1999, Department of Computer Science and Engineering, University of Washington. 
Comments to: