Feb 05, 2025  
Rensselaer Catalog 2016-2017 
    
Catalog Navigation
  Catalog Home
  Degrees Offered
  Academic Calendar
  Information Directory
  Rensselaer in Brief
  Educational Programs and Resources
  Research Resources and Centers
  Student Life
  Admissions
  Financial Aid
  Tuition and Fees
  Academic Information and Regulations
  Interdisciplinary Studies
  Schools & Departments
  Schools
  Departments
  Programs
  Subject Codes
  Courses
  Administration
  Named Professorships
  The Faculty
  My Portfolio
HELP
Rensselaer Catalog 2016-2017 [Archived Catalog]

Add to Portfolio (opens a new window)

CSCI 4050 - Computability and Complexity

This course discusses concepts of languages defined by formal grammars, Turing machines and rewriting systems, computability, Church-Turing thesis, decidable and undecidable problems, computational complexity, polynomial reducibility, NP-completeness, and Cook’s theorem. Students cannot receive credit for both CSCI 4050 and CSCI 6050.

Prerequisites/Corequisites: Prerequisite: CSCI 2300.

When Offered: Fall term annually.



Cross Listed: CSCI 6050.

Credit Hours: 4


Add to Portfolio (opens a new window)