理论计算机科学

吴语维基百科,自由个百科全书
跳到导航 跳到搜索

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