欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜:Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
理论计算机科学
来自开放百科 - 灰狐
(版本间的差异)
小 (→简介) |
小 (→简介) |
||
第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、机器学习、计算生物学、计算几何、信息论、密码学、量子计算、计算数论、符号计算、程序语义和形式化方法,自动机理论,以及随机方面的研究。此领域的研究常需要强调严格的数学。
[编辑] 图集
[编辑] 链接
分享您的观点