CSE logo University of Washington Department of Computer Science & Engineering
 CSE 322 Lectures and Handouts
  CSE Home  About Us    Search    Contact Info 

 Main page
Administration
 Syllabus
 Workload and Grading
 Instructor and TAs
 Lectures
 Email archive
 Accommodations
Assignments and exams
 Assignments
 Exams
 Policies
    Lectures will comprise of slides plus white-board based discussion of definitions, theorems, and examples, accompanied by occasional group-based problem-solving sessions.

Lecture Slides and Handouts:
03/29/2004   Introduction
04/09/2004   Review of Proof Techniques
04/09/2004   Handout on Dovetailing and Diagonalization (ask instructor for copy)
04/23/2004   Regular Expressions and DFAs/NFAs
04/28/2004   Da Pumping Lemma
04/30/2004   Midterm Review
05/10/2004   Pushdown Automata
05/21/2004   PDAs, CFGs, and Pumping Lemma Reincarnated
05/28/2004   Turing Machines
06/02/2004   Closure and Undecidability
06/04/2004   Chomsky and Final Review

On-line resources and fun links:


CSE logo Department of Computer Science & Engineering
University of Washington
Box 352350
Seattle, WA  98195-2350
(206) 543-1695 voice, (206) 543-2969 FAX
[comments to rao@cs.washington.edu]