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 lots of white-board based discussion of definitions, theorems, and examples.

Bring a notebook to class to take notes. Lecture slides summarizing white-board discussions will be made available for each chapter but not all details and examples may be present. It is therefore important you attend each class, take notes, and pay attention!

Lecture Slides and Handouts:
03/29/2010   Introduction
04/09/2010   Review of Proof Techniques
04/09/2010   Handout on Dovetailing and Diagonalization (ask instructor if you didn't get one in class)
04/26/2010   Converting NFAs to Regular Expressions (courtesy of Prof. Paul Beame)
04/28/2010   Regular Expressions and Pumping Lemma
04/30/2010   Midterm Review and Da Pumpin' Lemma
05/17/2010   Pushdown Automata and CFGs
05/21/2010   Pumping Lemma Reincarnated (plus Turing Machines)
05/26/2010   Varieties of Turing Machines and the Church-Turing Thesis
05/28/2010   Those Darn Undecidable Problems and Reducibility
06/04/2010   Final Review

Kris and Milda's notes from the lectures:
   Mar 29-April 14    April 16
   April 19                 April 21                 April 23
   April 26                 April 28                 April 30
   May 3 (midterm)    May 5                   May 7
   May 10                  May 12                 May 14
   May 17                  May 19                 May 21 (see slides above)
   May 24                  May 26 (slides)     May 28
   May 31 (holiday)    June 2                   June 4 (slides)

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]