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. Prerequisite: CS 104 or CS 124.

Credits: 3