Examination of the logical basis of computation. Topics include automata theory, Turing machines, time complexity, and space complexity theory.

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

1 unit — Jackson

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	03/15/2025
Spring 2025	Block 7	Theory of Computation	Ben Nye	Tutt Science Building 324	25 / 13	03/15/2025
Fall 2025	Block 3	Theory of Computation	Blake Jackson	TBA	25 / 25	03/15/2025
Spring 2026	Block 7	Theory of Computation	Blake Jackson	TBA	25 / 25	03/15/2025