词条

理论计算机科学

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

理论计算机科学相关文献

计算机学专家、中国科学院院士吕建

计算机学专家、中国科学院院士吕建,简要介绍：吕建，1960年生，江苏南京人。1982年毕业于南京大学计算机系，19

查看全文

马克斯·普朗克计算机科学研究所

外部链接马克斯·普朗克计算机科学研究所官方主页马克斯·普朗克计算机科学国际研究学院坐标：49°15′28″N7°2′44″E/49.25778°N7.04556°E/49.25778;7.04556

查看全文

理论计算机科学

定义和范围根据Elesevier出版社《理论计算机科学杂志》（TheoreticalComputerScience）的解释，理论计算机科学有着数学和抽象的本质，但动机来自实践中和日常的计算问题。它旨在理解计算的本质，并根据这种理解提供更有效率的方法。精确地限制定义理论计算机科学的范围并非易事；根据计算机协会(ACM)算法与计算理论兴趣组（SIGACT）的表述：“理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、并行计算、VLSI、机器学习、计算生物学、计算几何、信息论、密码学、量子计算、计算数论、符号计算、程序语义和形式化方法，自动机理论，以及随机方面的研究。此领域的研究常需要强调严格的数学。”计算机协会（ACM）《计算理论学报》（TransactionsonComputationTheory）又为以上的列表添加了：编码理论，计算学习理论，以及与数据库、信息获取、经济学模...

查看全文

计算机科学家列表

AB查尔斯·巴贝奇（CharlesBabbage），英国发明家，电脑先驱。蒂姆·伯纳斯-李（TimBerners-Lee），万维网发明者。C琳·康维（LynnConway）D艾兹赫尔·戴克斯特拉（EdsgerDijkstra），计算理论先驱，算法研究者，戴克斯特拉算法发明人。EF马丁·福勒（MartinFowler）G詹姆斯·高斯林（JamesGosling）–NeWS,JavaH约翰·轩尼诗（JohnHennessy），MIPS科技公司创办人。东尼·霍尔（TonyHoare），算法研究者，快速排序发明人，图灵奖得主。IJK高德纳（DonaldErvinKnuth），计算理论与算法研究者，曾写作TeX。LM高登·摩尔（GordonMoore），工程师，Intel创始人之一，以摩尔定律著名。N冯·诺伊曼（JohnvonNeumann），计算理论与电脑系统结构先驱，号称“电脑之父”。OP大卫·...

查看全文

计算机科学家

就业计算机科学家常被软件出版商，科学研究和发展组织雇佣，通过发展理论以创造新科技。计算机科学家也会被大学等教育机构雇佣。计算机科学家可以更实际地运用他们的知识，进入软件工程或IT咨询领域。因为计算机科学极大地依赖于数学，计算机科学家也可以被看作数学家的分支。计算机科学家可能逐步晋升至管理人员或项目领导。因为电脑系统设计，软件出版和相关行业的快速发展，计算机科学家的就业前景良好。参见计算机科学家列表

查看全文

理论计算机科学相关标签

理论计算机科学

计算机科学分支

形式科学

学科&术语