欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
理论计算机科学
来自开放百科 - 灰狐
（版本间的差异）
(以“{{SeeWikipedia|Theoretical computer science}} 理论计算机科学（英语：theoretical computer science，缩写为TCS）是计算机科学的一个分支，它...”为内容创建页面) |
小 (→简介) |
||
| 第5行： | 第5行： | ||
==简介== | ==简介== | ||
理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、[[Parallel computing|并行计算]]、VLSI、[[machine learning|机器学习]]、计算生物学、计算几何、信息论、密码学、[[Quantum computer|量子计算]]、计算数论、符号计算、程序语义和形式化方法，自动机理论，以及随机方面的研究。此领域的研究常需要强调严格的数学。 | 理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、[[Parallel computing|并行计算]]、VLSI、[[machine learning|机器学习]]、计算生物学、计算几何、信息论、密码学、[[Quantum computer|量子计算]]、计算数论、符号计算、程序语义和形式化方法，自动机理论，以及随机方面的研究。此领域的研究常需要强调严格的数学。 | ||
| + | |||
| + | ==图集== | ||
| + | <gallery> | ||
| + | image:theoretical-computer-science.png|理论计算机科学 | ||
| + | </gallery> | ||
==链接== | ==链接== | ||
2022年6月24日 (五) 08:36的版本
|
您可以在Wikipedia上了解到此条目的英文信息 理论计算机科学 Thanks, Wikipedia. |
理论计算机科学（英语：theoretical computer science，缩写为TCS）是计算机科学的一个分支，它主要研究有关计算的相对更抽象化，逻辑化和数学化的问题，例如计算理论，算法分析，以及程序设计语言的语义。尽管理论计算机科学本身并非一个单独的研究主题，从事这个领域的研究人员在计算机科学的研究者里自成一派。
简介
理论计算机科学的领域广泛包含算法、数据结构、计算复杂性、分布式计算、并行计算、VLSI、机器学习、计算生物学、计算几何、信息论、密码学、量子计算、计算数论、符号计算、程序语义和形式化方法，自动机理论，以及随机方面的研究。此领域的研究常需要强调严格的数学。
图集
理论计算机科学
链接
分享您的观点
