理论计算机科学（TCS）是以数学方法研究计算本质的计算机科学分支，核心领域包括计算复杂性理论、算法设计与分析、密码学、可计算性理论与形式语言等。