第1节 假设检验的基本思想 第2节 正态总体的均值假设检验 一、标准差已知的单个正态总体均值假设检验 二、标准差未知的单个正态总体均值假设检验 三、比较两个正态总体均值的检验 四、成对数据t检验 第3节 正态总体的方差假设检验 一、单个正态总体的方差检验 二、比较两个正态总体方差的检验

1. z变换的定义 2. z变换的性质和定理 3. 用z变换法解线性常系数差分方程

1. 脉冲传递函数的定义 2. 脉冲传递函数的求法 3. 脉冲传递函数与差分方程 4. 开环脉冲传递函数 5. 闭环脉冲传递函数

第一章 绪论 第二章 计算机控制系统设计的硬件基础 第三章 计算机控制系统数学基础 第四章 计算机控制系统分析 第五章 计算机控制系统的间接设计法 第六章 计算机控制系统的直接设计法 第七章 数字控制器的状态空间设计方法 第八章 计算机控制系统设计 第九章 新型计算机控制系统 第十章 计算机控制系统的可靠性设计

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

第一章 矩阵及其应用 第二章 行列式 第三章 矩阵的秩与线性方程组 第4章 向量空间 第5章 相似矩阵 第6章 二次型

1.1 命题与命题联结词 1.2 公式的解释与真值表 1.3 联结词的完备集 1.4 范式 1.5 命题逻辑的推理理论 1.6 命题演算的自然推理形式系统

2.1 谓词逻辑的基本概念与表示 2.2 谓词的合式公式及解释 2.3 范式 2.4 一阶逻辑的推理 2.5 谓词逻辑在计算机科学中的应用

8.1 半群 8.2 群的定义与性质 8.3 子群 8.4 陪集与拉格朗日定理 8.5 正规子群与商群 8.6 特殊群：循环群与置换群

§1 多元函数的基本概念 多元函数的概念 二元函数的极限 二元函数的连续性 §2 偏导数 偏导数的定义及其计算法 高阶偏导数 §3 全微分及其应用 全微分的概念 全微分在近似计算中的应用