Examination of the logical basis of computation. Topics include automata theory, Turing machines, time complexity, and space complexity theory. (Not offered 2025-26).

Prerequisite: Computer Science 274, Computer Science 275 and Computer Science 307.

1 unit

Offerings

Term	Block	Title	Instructor	Location	Student Limit/Available	Updated
Fall 2024	Block 3	Theory of Computation	Ben Nye	Tutt Science Building 213	25 / -2	02/04/2025
Spring 2025	Block 7	Theory of Computation	Ben Nye	TBA	25 / 16	02/04/2025