Topics include proof theory, model theory, the theory of computability ... Its clear organization and unified approach - focused on a syntactic approach and on the role of computation - make it ...

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 ...

Northwestern is a world leader in the design of soft materials, and the Center for Computation and Theory of Soft Materials (CCTSM) is at the forefront of this effort. Providing computational ...