欢迎大家赞助一杯啤酒🍺 我们准备了下酒菜：Formal mathematics/Isabelle/ML, Formal verification/Coq/Agda, C++/Erlang/Lisp
Computer science
来自开放百科 - 灰狐
（版本间的差异）
小 (→链接) |
小 (→计算理论) |
||
| （未显示1个用户的8个中间版本） | |||
| 第4行： | 第4行： | ||
==计算理论== | ==计算理论== | ||
| + | [[理论计算机科学]] | ||
*自动机理论 | *自动机理论 | ||
*递归论 | *递归论 | ||
*计算复杂性理论 | *计算复杂性理论 | ||
| − | *密码学 | + | *[[Cryptography|密码学]] |
| − | * | + | *[[量子计算]]论 |
==算法== | ==算法== | ||
| 第25行： | 第26行： | ||
*[[machine learning|机器学习]] | *[[machine learning|机器学习]] | ||
*[[Computer vision|计算机视觉]] | *[[Computer vision|计算机视觉]] | ||
| − | *图像处理 | + | *[[Computer graphics|图像处理]] |
*模式识别 | *模式识别 | ||
| − | *认知科学 | + | *[[认知科学]] |
| − | *数据挖掘 | + | *[[data mining|数据挖掘]] |
*进化计算 | *进化计算 | ||
*[[Search engine|信息检索]] | *[[Search engine|信息检索]] | ||
| 第37行： | 第38行： | ||
==计算机体系结构与工程== | ==计算机体系结构与工程== | ||
*数字电路 | *数字电路 | ||
| − | *微架构 | + | *微架构 |
| + | *[[Parallel computing|并行计算]] | ||
*多处理机 | *多处理机 | ||
| − | *操作系统 | + | *[[operating system|操作系统]] |
*计算机网络 | *计算机网络 | ||
*[[database|数据库]] | *[[database|数据库]] | ||
| − | *计算机安全 | + | *[[security|计算机安全]] |
*普适计算 | *普适计算 | ||
*系统架构 | *系统架构 | ||
| 第55行： | 第57行： | ||
==信息科学== | ==信息科学== | ||
| − | *信息检索 | + | *[[search engine|信息检索]] |
*知识表示 | *知识表示 | ||
| − | *自然语言处理 | + | *[[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] | ||
==图集== | ==图集== | ||
| + | <gallery> | ||
| + | image:theoretical-computer-science.png|理论计算机科学 | ||
| + | </gallery> | ||
==链接== | ==链接== | ||
2022年10月17日 (一) 03:21的最后版本
|
您可以在Wikipedia上了解到此条目的英文信息 Computer science Thanks, Wikipedia. |
计算机科学（computer science）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何实现与应用的实用技术的学科。
目录 |
[编辑] 计算理论
[编辑] 算法
- 算法分析
- 算法
- 数据结构
- 计算几何
- 图论
[编辑] 程序设计语言理论
[编辑] 人工智能
[编辑] 计算机体系结构与工程
[编辑] 计算科学
- 数值分析
- 计算物理学
- 计算化学
- 生物信息学
[编辑] 信息科学
[编辑] 课程
[编辑] 图集
理论计算机科学
[编辑] 链接
分享您的观点
