CSE 322: Introduction to Formal Models in Computer Science

Rimli Sengupta, Winter 2000

MWF 2:30-3:20, Thomson 125

Staff	Name	Email	Phone	Office Hours
Instructor:	Rimli Sengupta	rimli at cs.washington.edu	616-6026	MF 3:30-4:30	Sieg 227b
TAs:	Justin Campbell Yongshao Ruan	jmc at cs.washington.edu ruan at cs.washington.edu	TBA TBA	W 10:30-12:00, Th 10:15-11:45 M 10:30-11:30, T 2:30-3:30	Sieg 226a,b

Class E-mail Archive: (Last update:03/19/00 at 12AM.)
(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)

Simplifying CFGs

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. It is expected that homework solutions represent original work.

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.

Midterm

February 9, 2000, in class.

Final Exam

Tuesday March 14, 2000, 2:30-4:20 in Thomson 125.

Old Course Webs:

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: 03/11/00)