An introduction to formal models of computers and computation. Topics include formal languages and automata theory, computability, decidability, and Church's Thesis.

Natural Scientific and Mathematical Perspectives
Prerequisites
CSCI 330 with a grade of C- or higher.
Course UID
001305.1
Course Subject
CSCI
Catalog Number
432
Long title
Theory of Computation