CS 07422 - Theory of Computing

Credits: 3

This is an advanced course in the theoretical foundations of computer science, building on the introduction provided in the Foundations of Computer Science course. It studies models of computers, such as finite automata and Turing machines, formal languages, and computability, as well as the fundamentals of complexity theory and NP-completeness.

Prerequisite Courses: CS 04222 with a minimum grade of C- and MATH 01131 with a minimum grade of D- and CS 07210 with a minimum grade of D-
Course Attributes: CAT, UGRD
Academic Department: Computer Science