理論計算機科学
理論計算機科学（りろんけいさんきかがく、英語：theoretical computer science）または理論コンピュータ科学は、計算機を理論的に研究する学問で、計算機科学の一分野である。計算機を数理モデル化して数学的に研究することを特徴としている。「数学的」という言葉は広義には公理的に扱えるもの全てを指すので、理論計算機科学は広義の数学の一分野でもある。理論計算機科学では、現実のコンピュータを扱うことも多いが、チューリングマシンなどの計算モデルを扱うことも多い。
この分野のテーマの例を以下に挙げる（特に意図や理由のある選出ではない）。