计算机科学（Theoretical Computer Science， 缩写TCS）是 计算机科学的一个分支，主要研究有关计算机的相对更抽象化、逻辑化和数学化的问题。具体研究内容包括计算理论、算法分析以及程序设计语言的语义等。理论计算机科学具有数学和抽象的本质，但其研究动机通常来自实际应用和日常计算问题。
TCS作为计算机科学的一个分支，涉及多个子领域，包括算法、数据结构、计算复杂性理论、信息论、密码学、程序理论等。这个领域的研究人员通常在数学和计算机科学方面具有深厚的背景知识，他们的工作对于理解和改进计算机系统的性能和安全性至关重要。
在学科分类中，TCS通常被视为计算机科学的一个独立分支，与计算机工程、软件工程等实践性更强的领域有所不同。然而，TCS的理论成果常常被应用于实际的计算机科学项目中，指导实践和推动技术的发展。
随着信息技术的不断进步，理论计算机科学的重要性日益凸显。许多知名高校都设有理论计算机科学的研究小组，并且在研究生招生和学术研究方面都有相应的项目和机会。对于对计算机科学的理论基础感兴趣的学生来说，学习TCS可以提供一个深入探索计算机科学本质的途径，并为未来的职业发展打下坚实的基础。