Winter 2013 - CS 581 - Theory of Computation - Home Page

Instructor: Tim Sheard
Office: FAB 120-04
phone: 503-725-2410
office hours: TBA

CRN 65316 CS 581 Theory of Computation(3 cr)
Tuesday 16:00-18:30 Willow Creek Campus 313

Offered at Willow Creek Center
241 SW Edgeway Drive (near SW 185th and Baseline Road), Beaverton, OR 97006.
At the MAX Blue Line Willow Creek Station

Teaching Assitant
Yu Yang

The Daily Record lists what assignments are due, what assignments are assigned, what the class topics are, and all other important information.Announcements are made here. Links to everything we do in class are kept here. This information is constantly updated. You should bookmark the daily record page and check it every day.

  1. Syllabus.

  2. Text book. Introduction to the Theory of Computation (2nd edition)
    Michael Sipser
    ISBN-13 978-0-534-95097-2

  3. The use of Haskell

    We will make considerable use of small Haskell programs to describe the mathematical objects we study in this course. One may think of these Haskell programs as type-checked psuedo-code. I will not ask students to write any Haskell code. The source of the Haskell code we study will be available for download, and students are welcome to explore this code if they desire.

    The Haskell programming resource page.

Class room policy regarding the flu.