An introduction to theoretical computer science including studies of abstract machines, the language hierarchy from regular sets to recursively enumerable sets, noncomputability, and complexity theory. Prerequisite: COMPSCI 201 and 230.
Prerequisites
Prerequisite: COMPSCI 201 and (COMPSCI 230 or COMPSCI 232)