Welcome to the home page for the Computer Science Department's Theory of Computation course CAS CS 332. This is the starting point for online course information and documentation.

The class meets Monday and Wednesday from 2:30 until 3:45 in CAS 211.

CS 332 is taught by Steve Homer (homer@bu.edu) whose office hours are Monday 1-2, Wednesday 4-5 in MCS 281.

Please consult the syllabus for the details of the course, grading and other course information.

The Teaching Fellow this semester is Kinan Dak Al Bab Office Hours: Tuesday 2:00 - 3:30 and Wednesday 12:00 - 1:30 in the lab (room 302) in 730 Comm.

The two sections for our class are

Here is the most recent CS 332 course news.

Here is the current homework: HW

Here are the previous homeworks:

    Here you can find Alan Turing's 1937 paper where Turing machines were first defined.

    Here is an overview of course policy.

    CS 332 is the main undergraduate course in computability theory and complexity within the computer science curriculum. Students will learn about Turing machines, universal computation, Church's thesis, decidability, reductions, a variety of unsolvable problems, resource bounded complexity, and common complexity classes.

    The following list of pointers provides access to information concerning the course.