Current Students Faculty and Staff Alumni Parents Business Partners
Directory Contact Us A-Z Index
Admissions Athletics
Alumni and Friends
Computer Science Home
Computer Science Home
Giving to Ball State
Giving to Ball State
Our Partners
Our Partners
Academic Programs
Bachelor's Degrees
Bachelor's Degrees
Master's Degrees
Master's Degrees
Doctoral Degree
Doctoral Degree
Resources
Research Teams
Research Teams
Faculty and Staff
Faculty and Staff
 
Paul Buis, Chair
Department of
Computer Science
RB 455
Ball State University
Muncie, IN 47306
Phone: (765) 285-8641
Fax: (765) 285-2614
00pebuis@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


Ball State University Copyright © 2008 Ball State University   2000 W. University Ave. Muncie, IN 47306
800-382-8540 and 765-289-1241
Legal Information    |    Employment    |    TTY Numbers
"Education Redefined" is a registered trademark of Ball State University.