CSCI 370

Theory of Computation

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