Oct 18, 2026  
2026-2027 University Catalog 
    
2026-2027 University 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.
Credit Hours: 3.00