理論的コンピュータ サイエンスは、計算理論を含む数学的トピックのコンピューティングを扱う数学および一般的なコンピュータ サイエンスのサブセットです。理論的コンピューターサイエンスは、計算の複雑さ、アルゴリズム、確率計算、オートマトン理論、暗号学、計算数理論などの幅広いトピックをカバーします。