Lead Faculty: Dr. Pradip Peter Dey
Prerequisite
None
Course Description
A study of mathematical models of computation and theoretical foundations of computer science. Proof techniques, automata theory, Chomsky hierarchy, decidability and computational complexity are emphasized.