|
CSE 322: Intro. to Formal Models in Comp. Sci. |
|
 CSE Home |
About Us |
Search |
Contact Info |
|
|
Welcome to CSE 322 (Spring 2004)Rajesh Rao (Instructor) with Deepak Verma (TA) and Matthew Milcic (TA) MWF 10:30-11:20 in MGH 231
In this course, we will explore basic concepts in the theory
of computing. We will study a variety of abstract computing machines
(finite automata, pushdown automata, and Turing machines) and
investigate the different languages that they capture (regular,
context-free, decidable, and Turing-recognizable languages). We will
also briefly visit the dreaded world of unsolvable problems. The
emphasis will be on developing a thorough understanding of abstract
models of computation and on being able to formulate rigorous
analytical arguments about them.
These web pages will be updated throughout the quarter. Check this page frequently for possible announcements (below). Be sure to join the class mailing list and browse the email archive. To join, visit the signup page. You should get a response quickly that you have been added.
Announcements will be posted in the space below. 03/29/04: First day of class: Welcome! 04/02/04: Homework #1 assigned. Due 04/09/04. 04/09/04: Homework #2 assigned. Due 04/16/04. 04/18/04: Homework #3 assigned. Due 04/23/04. 04/23/04: Homework #4 assigned. Due 04/30/04.
05/03/04: Midterm exam in class (closed book, closed notes except for 05/14/04: Homework #5 assigned. Due 05/21/04. 05/21/04: Homework #6 assigned. Due 05/28/04. 05/28/04: Homework #7 assigned. Due 06/04/04.
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 2004, Department of Computer Science and Engineering, University of Washington. |
||||||||||||||||||||||||||||
 |
Department of Computer Science & Engineering University of Washington Box 352350 Seattle, WA 98195-2350 (206) 543-1695 voice, (206) 543-2969 FAX [comments to Rajesh Rao] |
