Theory of Computation ×  OverviewClassify languagesDecision problemsAutomataOther Models of ComputationComputability techniquesCalibrate difficulty



Description: Clearly and unambiguously communicate computational ideas using appropriate formalism. Translate across levels of abstraction.

Problem Solving

Description: Know, select and apply appropriate computing knowledge and problem-solving techniques. Reason about computation and systems. Use mathematical techniques to solve problems. Determine appropriate conceptual tools to apply to new situations. Know when tools do not apply and try different approaches. Critically analyze and evaluate candidate solutions.

Modeling and Impact

Description: Understand, guide, shape impact of computing on society/the world. Connect the role of Theory CS classes to other applications (in undergraduate CS curriculum and beyond). Model problems using appropriate mathematical concepts.