The Steam Powered Turing Machine University of Washington Department of Computer Science & Engineering
 CSE 431: Introduction to Theory of Computation, Spring 2003
  CSE Home   CSE 431 Home  About Us    Search    Contact Info 

  Archive (Last: )
  Sign-up Instructions
Homework Assignments
  Assignment #1
  Assignment #2
  Assignment #3
  Assignment #4
  Assignment #5
  Assignment #6
  Assignment #7
Reading Assignments
  Sections 8.1-8.5
  Section 9.3
  Chapter 7
  Chapter 5
  Section 3.3 & Chapter 4
  Sections 3.1 & 3.2
  Turing and Post Handout
  Review Chapters 0-2
  Sample Midterm
  Sample Final
Cool Links
  Craig's Halting Problem Page
  David Hilbert Bio
  Kurt Godel Bio
  Alonzo Church Bio
  Alan Turing Bio
MWF 10:30-11:20    EE1 045

Office Hours Location Phone
Instructor: Paul Beame   beame@cs  
Mondays & Wednesdays 11:20-11:50
Thursdays 11:00-12:00 & by appointment
Sieg 416 543-5114
TAs: Erik Vee   env@cs   Tuesdays 12:30-1:20 & Thursdays 12-1 Sieg 4th floor cubicles

Grading: Homework 45-55%, midterm 15-20%, final 30-35%, give or take. Extra Credit.


Mailing List: There is a class mailing list, Follow the link in the left column on this page to sign up. Everyone is expected to be reading cse431 e-mail to keep up-to-date on the course.

Midterm Exam: In class May 9. Here is a sample midterm from a previous quarter.

Final Exam: The final exam will be at the time listed in the official exam schedule which is 8:30-10:20 am, Monday June 9. There will be a review session Saturday June 7 in Sieg 134. For a sense of what the final might look like here is a copy of an old final for the course: Old final

Suggestions or Comments? You can send comments to the instructor or TA using this anonymous feedback form

Catalog Description: Models of computation, computable and noncomputable functions, space and time complexity, tractable and intractable functions. Prerequisite: CSE 322.

Portions of the CSE 431 Web may be reprinted or adapted for academic nonprofit purposes, providing the source is accurately quoted and duly credited. The CSE 431 Web: © 1993-2003, Department of Computer Science and Engineering, University of Washington.