理论计算机科学

来自开放百科 - 灰狐
跳转到: 导航, 搜索
Wikipedia-35x35.png 您可以在Wikipedia上了解到此条目的英文信息 理论计算机科学 Thanks, Wikipedia.

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

简介

理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、并行计算、VLSI、机器学习、计算生物学、计算几何、信息论、密码学、量子计算、计算数论、符号计算、程序语义和形式化方法,自动机理论,以及随机方面的研究。此领域的研究常需要强调严格的数学。

链接

分享您的观点
个人工具
名字空间

变换
操作
导航
工具箱