Academic Programs
Resources
Alumni and Friends
 
Fu-Shing Sun
Director of Graduate Programs
Computer Science Department
Ball State University
Muncie, IN 47306-0450
Phone: (765) 285-8641
Fax: (765) 285-2614
fsun@bsu.edu


A department in the college of sciences and humanities-Computer Science
CS 670 - Theory of Computation 2.

Computability and decidability; introduction to the theory of computational complexity; the classes sP and NP; NP-completeness; examples of some NP- complete problems; nondeterminism and parallel computation; proving the correctness of programs. Prerequisite: CS 570.

College: SCIENCES & HUMANITIES
Hours: 3
Permission: Y
Prerequisite: CS 570
Co-requisite: none