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:
09/30/2002   Introduction
10/07/2002   Review of Proof Techniques
10/09/2002   Handout on Dovetailing and Diagonalization (ask instructor for copy)
10/23/2002   Regular Expressions and DFAs/NFAs (Postscript File)
10/25/2002   Intro to Pumping Lemma (Postscript File)
10/28/2002   Pumping Lemma redux (Postscript File)
11/01/2002   Midterm Review (Postscript File)
11/13/2002   Pushdown Automata (Postscript File)
11/20/2002   More on CFLs (Postscript File)
11/27/2002   Turing Machines (Postscript File)
12/02/2002   Closure Properties (Postscript File)
12/06/2002   Undecidability (Postscript File)
12/09/2002   Final Review (Postscript File)

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]