Elements of the theory of computation, Lewis and Papadimitriou (2nd edition). Online notes and readings distributed by the instructor. Formalization of the notion of problems via formal languages ...
deterministic and nondeterministic computation and their relationships, the P versus NP problem and hard problems for NP and beyond. This course fulfills the Theory Breadth requirement. NOTE: This ...