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