Jul 09, 2024  
2023-2024 University Catalog 
    
2023-2024 University Catalog [ARCHIVED CATALOG]

CS 48300 - Introduction To The Theory Of Computation


Credit Hours: 3.00. Turing machines and the Church-Turing thesis; decidability; halting problem; reducibility; undecidable problems; decidability of logical theories; Kolmogorov complexity; time classes; P, NP, NP-complete; space classes; Savitch’s theorem, PSPACE-completeness, NL-completeness; hierarchy theorems; approximation theorems; probabilistic algorithms; applications of complexity to parallel computation and cryptography. Typically offered Fall Spring.Credits: 3.00