CS 3110: Advanced Topics in Theory of Computation
Description
A continuation of the study of the theoretical issues of computer science. Topics include computational complexity, determinism versus non-determinism, the P=NP question, formal languages, and inductive inference.
Prerequisites
CS 2110 or consent of instructor.