欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2, C++/F#/Lisp
Computer science
来自开放百科 - 灰狐
（版本间的差异）
小 (→计算理论) |
小 (→计算理论) |
||
| 第3行： | 第3行： | ||
计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 | 计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 | ||
| − | ==计算理论== | + | ==[[理论计算机科学|计算理论]]== |
*自动机理论 | *自动机理论 | ||
*递归论 | *递归论 | ||
2022年8月9日 (二) 10:25的版本
|
您可以在Wikipedia上了解到此条目的英文信息 Computer science Thanks, Wikipedia. |
计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。
目录 |
计算理论
算法
- 算法分析
- 算法
- 数据结构
- 计算几何
- 图论
程序设计语言理论
人工智能
计算机体系结构与工程
- 数字电路
- 微架构
- 多处理机
- 操作系统
- 计算机网络
- 数据库
- 计算机安全
- 普适计算
- 系统架构
- 编译器设计
- 编程语言
计算科学
- 数值分析
- 计算物理学
- 计算化学
- 生物信息学
信息科学
- 信息检索
- 知识表示
- 自然语言处理
- 人机交互
图集
理论计算机科学
链接
分享您的观点
