CSE 322: Introduction to Formal Models in Computer Science

Rimli Sengupta, Fall 1999

MWF 10:30-11:20, Denny 216

Staff Name Email Phone Office Hours
Instructor: Rimli Sengupta rimli at cs.washington.edu 616-6026 MWF 11:30-12:30  Sieg 227b
TAs: Justin Campbell 

Yongshao Ruan 

 jmc at cs.washington.edu

ruan at cs.washington.edu

 TBA 

TBA 

 M 2:30-4, Th 10:00-11:30

 TW 2:30-4:00

 Sieg 226a,b

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

Syllabus
 

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

Handouts:

Initial Course Info. (PostScript)

Conversion of PDA's to CFG's (PostScript)

Homework:

Homework is intended to be a major portion of the course. Assignments will be due weekly, usually on Friday. It is expected that homework solutions represent original work.
 
Assignment #1 (PostScript)
Assignment #2
Assignment #3 (PostScript)
Assignment #4 (PostScript)
Assignment #5 (PostScript)
Assignment #6 (PostScript)

Feedback:
Anonymous (or not) feedback form to tell us how things are going.

Grading:

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

Old Course Webs:

 Spring 1998 Autumn 1998 Winter 1999 Spring 1999

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:


cse322-webmaster
(Last Update: )