2010-2011 Academic Catalog 
    
    Dec 21, 2024  
HELP
2010-2011 Academic Catalog [ARCHIVED CATALOG]

CSCI 270 - Theory of Computation

Type of Course: Lecture
Studies the nature and formal models of computation (by computers), its power and limitation (computability versus uncomputability), the computational complexity of various problems and the applications in logic and computer science. Turing machines, general recursive functions and other standard models of computation are introduced. Other aspects of recursion theory, such as unsolvable problems and recursively enumerable languages, are introduced. We also address the more practical question, “What is an efficient program?” in an introduction to modern complexity theory.

Prerequisites: Prerequisites for this course require a grade of C- or better. CSCI 180 .

Instructor: Mr. Green

When Offered: Offered every other year

Faculty: Frederic Green, Ph.D. - Professor and Chair, Department of Mathematics and Computer Science
Catalog Navigation
  Catalog Home
  History of Clark
  Accreditation
  Academic Program
  Departments, Offices and Special Programs
  Tuition and Financial Aid
  Admissions Requirements
  Undergraduate Academic Policies
  Graduate Academic Policies
  Facilities
  Student Resources
  Programs of Study
  Courses
  Faculty
  The Corporation
  Academic Calendar