目录

计算机数学

数值分析和符号分析

算术运算

数值分析

函数

逼近／曲线拟合

初等代数

一般问题

多项式

矩阵理论

线性方程

函数积分

函数微分

序列

微积分

不等式

变分

积分变换

差分／微分积分方程

差分方程

常微分方程

偏微分方程

积分方程

积分-微分方程

概率和统计

数学通信理论／信息论

检测理论

信道／传输

编码／译码

数学系统和控制论

系统的性质和属性

检错码和纠错码

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

系统的类型

系统的应用

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

计算的数学理论

数理逻辑

逻辑函数

形式语言和文法

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

计算机软件

一般问题

一般问题

软件技术和系统

系统分析和程序设计

编程支持

文件组织

数据处理技术

图形学技术

字处理技术

程序设计语言

面向机器的语言

高级语言

系统软件

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

操作系统

数据库管理系统

分布式数据库管理系统