A subset of general computer science and mathematics that focuses on more mathematical topics of computing and includes the theory of computation. Related Articles: Glossary: Automated ReasoningGlossary: Combinatorial OptimizationGlossary: Computational ProblemGlossary: InterpretationGlossary: Theory Of Computation
