欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/ACL2/Agda, C++/Lisp/Haskell
Computer science
来自开放百科 - 灰狐
（版本间的差异）
小 (→信息科学) |
小 (→计算理论) |
||
| （未显示1个用户的2个中间版本） | |||
| 第3行： | 第3行： | ||
计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 | 计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。 | ||
| − | ==[[理论计算机科学 | + | ==计算理论== |
| + | [[理论计算机科学]] | ||
*自动机理论 | *自动机理论 | ||
*递归论 | *递归论 | ||
| 第37行： | 第38行： | ||
==计算机体系结构与工程== | ==计算机体系结构与工程== | ||
*数字电路 | *数字电路 | ||
| − | *微架构 | + | *微架构 |
| + | *[[Parallel computing|并行计算]] | ||
*多处理机 | *多处理机 | ||
*[[operating system|操作系统]] | *[[operating system|操作系统]] | ||
| 第59行： | 第61行： | ||
*[[Natural language processing|自然语言处理]] | *[[Natural language processing|自然语言处理]] | ||
*人机交互 | *人机交互 | ||
| + | |||
| + | ==课程== | ||
| + | *[https://ocw.mit.edu/courses/6-042j-mathematics-for-computer-science-fall-2010/ MIT 6.042J Mathematics for Computer Science, Fall 2010] | ||
==图集== | ==图集== | ||
2022年10月17日 (一) 03:21的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Computer science Thanks, Wikipedia. |
计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。
目录 |
[编辑] 计算理论
[编辑] 算法
- 算法分析
- 算法
- 数据结构
- 计算几何
- 图论
[编辑] 程序设计语言理论
[编辑] 人工智能
[编辑] 计算机体系结构与工程
[编辑] 计算科学
- 数值分析
- 计算物理学
- 计算化学
- 生物信息学
[编辑] 信息科学
[编辑] 课程
[编辑] 图集
理论计算机科学
[编辑] 链接
分享您的观点
