计算机数学

数值分析和符号分析

数值分析

目录

函数

逼近／曲线拟合

一般问题

多项式

初等代数

矩阵理论

线性方程

不等式

微积分

序列

正交函数／Fourier级数

函数微分

函数积分

向量／张量演算

积分变换

变分

差分／微分积分方程

差分方程

常微分方程

偏微分方程

积分方程

积分-微分方程

抽象数学

数论

组合数学／集合论

几何学

拓扑学

图论

抽象代数和抽象空间

布尔代数

概率和统计

最优化；数学规划；运筹学

无约束最优化

约束最优化

线性规划

动态规划

非线性规划

数学对策论

排队论

最优化的应用

数学通信理论／信息论

噪声

信号（滤波）

调制／解调

信道／传输

编码／译码

系统的性质和属性

检错码和纠错码

数学系统和控制理论

系统的分析，最优化和综合

系统的类型

系统的应用

数理逻辑和开关理论；自动机

计算的数学理论

数理逻辑

形式语言和文法

组合和迭代的开关理论及网络

逻辑函数

顺序开关理论和网络；数学自动机；抽象机器

计算机软件

一般问题

软件技术和系统

一般问题

系统分析和程序设计

文件组织

数据处理技术

面向机器的语言

程序设计语言

高级语言

其它程序设计语言

系统软件

编译程序、解释程序和其它处理程序

一般实用程序

诊断、测试、调试和评价系统

操作系统

数据库管理系统