University of Vermont

2013-2014 Catalogue

CS 243 - Theory of Computation
Introduction to theoretical foundations of computer science. Models of computation. Church's thesis and noncomputable problems. Formal languages and automata. Syntax and semantics. Prerequisites: CS 104 or CS 124.
Credits: 3