An introduction to formal models of computers and computation. Topics include formal languages and automata theory, computability, decidability, and Church's Thesis.
Prerequisites
CSCI 361 with a grade of C- or higher.
Course UID
001305.1
Course Subject
Catalog Number
370
Long title
Theory of Computation