| Course Number: | CSCI 3500 |
| Course Name: | Applied Theory of Computing |
| Catalog Description: | A study of the major theoretical topics needed for a well-rounded knowledge of computer science. These will include automata, formal languages, asymptotic, NP-completeness, formal verification and the design of algorithms. |
| Prerequisite(s): | CSCI 3030 and CSCI 3400 (both with a grade of C or better). |
| Links: | Syllabus |