Instructor: Tim Sheard
Office: FAB 120-04
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
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.
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.