理論計算機科學 理論計算機科學英語Theoretical computer science縮寫为TCS是计算机科学的一个分支它主要研究有关计算的相对更抽象化逻辑化和数学化的问题例如计算理论算法分析以及程序设计语言的语义尽管理论计算机科学本身并非一个单独的研究主题从事这个领域的研究人员在電腦科學的研究者里自成一派