基本的电脑科学主题列表
维基媒体列表条目
电脑科学是信息及运算理论基础的研究以及电脑领域中的执行及应用,电脑科学中一个有名的主题分类系统是ACM 电脑分类系统,它是由美国电脑协会(英语:Association for Computing Machinery,简称ACM)所设计的,再电脑科学中一个基本的主题列表包括:
电脑科学的分支
数学基础
- 数理逻辑 - 布尔逻辑以及其他逻辑查询的方法;正统的证明方法的使用及限制。
- 数论 - 在整数的简单领域中找出证明及启发的理论,像在人工智慧的测试领域中使用密码学一样。
- 图论 - 数据结构以及搜索演算的基础。
- 博弈论 - 使用在人工智慧及模控学中。
- 编码理论 - 研究信息传输过程中信号编码规律的数学理论。
计算理论
- 自动机理论 - 解决问题的不同逻辑结构。
- 可计算性理论 - 以现有的电脑模式来看什么是可计算的,此由艾伦·麦席森·图灵所证明并由其他人提供可计算及不可计算的可能性更加深入的说明。
- 计算复杂性理论 - 计算课题上的基本界限(特别是时间及存储空间)。
- 量子电脑理论 -
算法及数据结构
编程语言及编译器
并行, 并发, 及分散系统
- 同做 - 模拟计算的理论及应用;在多工或多执行续环境里的资料安全。
- 分布式计算 - 在网络上使用多种计算装置计算来完成一共同的目标或工作并借此降低单一处理器的工作贡献。
- 并发计算 - 使用多个同做的线程来计算。
软件工程
- 形式方法 - 用数学的方法来描述及解释软件的设计。
- 软件工程 - 设计、发展及测试程序的理论与应用像是适当的工程应用。
- 逆向工程 - 用来了解现有的软件所采用的科学方法的应用。
- 算法设计 - 使用算法理论的概念对真实的工作做设计的解决。
- 程式设计 - 使用编程语言来完成算法的应用。
电脑系统结构
通讯及安全
数据库
人工智慧
- 人工智慧 - 系统可以展示其智慧或行为的研究及执行。
- 自动推理 - 解决的引擎像是用在Prolog,这种语言可以从规则数据库中查询出来的结果来产生一些步骤。
- 机器人学 - 控制机器人行为的算法。
- 电脑视觉 - 从2D的图片来识别3D对象的算法。
- 机器学习 - 从输入自动产生一组规则及定理。