理论计算机科学

理论计算机科学（英语：theoretical computer science，缩写为TCS）是计算机科学个一个分支，渠主要研究有关计算个相对更抽象化，逻辑化搭数学化个问题，例如计算理论，算法分析，搭子程序设计语言个语义。尽管理论计算机科学本身并非一个单独个研究主题，从事箇个领域个研究人员拉计算机科学个研究者里自成一派。