基本的计算机科学主题列表
（重定向自基本的電腦科學主題列表）
电脑科学是资讯及运算理论基础的研究以及电子计算机领域中的执行及应用，电脑科学中一个有名的主题分类系统是ACM 电脑分类系统，它是由美国电脑协会（英语：Association for Computing Machinery，简称ACM）所设计的，再电脑科学中一个基本的主题列表包括：
电脑科学的分支
[编辑]数学基础
[编辑]- 数理逻辑 - 布林逻辑以及其他逻辑查询的方法；正统的证明方法的使用及限制。
- 数论 - 在整数的简单领域中找出证明及启发的理论，像在人工智慧的测试领域中使用密码学一样。
- 图论 - 资料结构以及搜寻演算的基础。
- 博弈论 - 使用在人工智慧及模控学中。
- 编码理论 - 研究资讯传输过程中讯号编码规律的数学理论。
计算理论
[编辑]- 自动机理论 - 解决问题的不同逻辑结构。
- 可计算性理论 - 以现有的电脑模式来看什么是可计算的，此由艾伦·麦席森·图灵所证明并由其他人提供可计算及不可计算的可能性更加深入的说明。
- 计算复杂性理论 - 计算课题上的基本界限(特别是时间及储存空间)。
- 量子电脑理论 -
演算法及资料结构
[编辑]程式语言及编译器
[编辑]并列, 并行, 及分散系统
[编辑]- 同做 - 模拟计算的理论及应用；在多工或多执行续环境里的资料安全。
- 分散式计算 - 在网路上使用多种计算装置计算来完成一共同的目标或工作并借此降低单一处理器的工作贡献。
- 并行计算 - 使用多个同做的执行绪来计算。
软体工程
[编辑]- 形式方法 - 用数学的方法来描述及解释软体的设计。
- 软体工程 - 设计、发展及测试程式的理论与应用像是适当的工程应用。
- 逆向工程 - 用来了解现有的软体所采用的科学方法的应用。
- 演算法设计 - 使用演算法理论的概念对真实的工作做设计的解决。
- 程式设计 - 使用程式语言来完成演算法的应用。
电脑系统结构
[编辑]通讯及安全
[编辑]资料库
[编辑]人工智慧
[编辑]- 人工智慧 - 系统可以展示其智慧或行为的研究及执行。
- 自动推理 - 解决的引擎像是用在Prolog，这种语言可以从规则资料库中查询出来的结果来产生一些步骤。
- 机器人学 - 控制机器人行为的演算法。
- 电脑视觉 - 从2D的图片来辨识3D物件的演算法。
- 机器学习 - 从输入自动产生一组规则及定理。
电脑图形学
[编辑]科学计算
[编辑]- 数值分析 - 数学问题的近似值解像是求根、数值积分、常微分方程解……等特殊函数的近似值。
- 符号计算 - 用符号的方式来表示处理及解决通常也叫作电脑代数。
- 计算物理学 - 大型不可分析的系统数值模拟。
- 计算化学 - 理论化学的计算模式为了可以决定化学结构及特性。
- 生物资讯学 - 用来维护、分析及储存生物学资料的电脑科学，这些可以帮助解决像是蛋白质折叠、函式预测及种系发生学等的生物学问题
- 计算神经科学 - 神经生理学的计算模式.
电脑科学的历史
[编辑]电脑科学的行业
[编辑]基本的电脑科学概念
[编辑]- 抽象化
- 演算法
- 数组
- 自动机理论
- 大O符号
- 类 (电脑科学)
- 闭包
- 编译器
- 计算
- 可计算性
- 计算复杂性理论
- 电脑网路
- 程式设计
- 并行
- 延续
- 控制流
- 资料结构
- 资料型别
- 资料库
- 宣告式编程
- 有限状态自动机
- 流程图
- 形式方法
- 函数程式语言
- 图
- 停机问题
- 指令式编程
- 资讯隐藏概论
- 继承 (电脑科学)
- 不变量
- 迭代
- Λ演算
- 列表
- 逻辑编程
- 矩阵 (电脑科学)
- 物件 (电脑科学)
- 物件导向程式设计
- 作业系统
- 语法解析
- π-calculus
- 多型
- 程序化语言
- 程式语言理论
- 形式语义学
- 递归 (电脑科学)
- 正则表达式
- 字串
- 子程序
- 系统程式
- 树 (数据结构)
- 图灵机
