Course Description
An introduction to the mathematical foundations of computer science. Models of computation including automata, formal languages, real world devices, and abstract models. Notations for grammars and design of language recognizers. Unsolvable problems. Turing machines and Church's thesis. Computational complexity and NP-completeness.
Course Attributes
Q1- Quant Reasoning Intensive
Units
4
