理論計算機科学

理論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）または理論コンピュータ科学は、計算の理論的基礎を研究する学問で、計算機科学の一分野である。計算を数理モデル化して数学的に研究することを特徴としている。