理論計算機科學 

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




取材自維基百科 - 中文時事百科