欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Computer science
来自开放百科 - 灰狐
（版本间的差异）
小 (→计算机体系结构与工程) |
小 (→计算理论) |
||
| 第3行： | 第3行： | ||
计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 | 计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 | ||
| − | ==[[理论计算机科学 | + | ==计算理论== |
| + | [[理论计算机科学]] | ||
*自动机理论 | *自动机理论 | ||
*递归论 | *递归论 | ||
2022年10月17日 (一) 03:21的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Computer science Thanks, Wikipedia. |
计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。
目录 |
[编辑] 计算理论
[编辑] 算法
- 算法分析
- 算法
- 数据结构
- 计算几何
- 图论
[编辑] 程序设计语言理论
[编辑] 人工智能
[编辑] 计算机体系结构与工程
[编辑] 计算科学
- 数值分析
- 计算物理学
- 计算化学
- 生物信息学
[编辑] 信息科学
[编辑] 课程
[编辑] 图集
理论计算机科学
[编辑] 链接
分享您的观点
