理论计算机科学

这篇文章的页面是一个存根，请通过展开它来提供帮助。

理论计算机科学(TCS（牵引力控制系统）)是通用的划分或子集计算机科学和数学它侧重于计算的更抽象或数学方面。