第六章 频率响应综合法 系统综合： 根据系统已知部分的特性，确定校正方式和校正装置，使系统的整体特性符合要求。 综合的核心是设计校正装置。 校正方式： 串联（重点）、反馈、前馈、复合。 频域综合：设计校正装置，使开环频率特性曲线（主要是幅频特性的Bode图）满足要求。 状态空间方法（现代控制理论） 数学模型—— 一阶微分方程组 分析—— 时域 核心内容—— 状态变量的可控、可观性 设计—— 状态反馈、极点配置、最优控制 状态信息的获取——状态观测器 （涉及第二、三、七、八章） 第九章 离散控制系统 1. 信号的采样与保持 采样过程与采样定理，零阶保持器 2. 离散系统的数学描述 z变换，差分方程，脉冲传递函数（开环、闭环） 3. 离散系统的z域分析法 稳定性，极点分布与暂态性能，稳态误差 第十章 非线性控制系统： 非线性系统的特点 典型非线性特性及其特征（死区、饱和、间隙、继电特性） 二阶线性系统的相轨迹（与极点的关系） 相轨迹的绘制（解析法，等倾线法） 由相轨迹图求时间及时间响应（积分法，增量法） 非线性控制系统的相平面分析

第一章 随机事件和概率 随机试验 样本空间、随机事件 频率和概率 古典概型 几何概型 概率的公理化结构 条件概率 事件的独立性 贝努里概型 第二章 离散型随机变量及其分布 随机变量的概念 一维离散型随机变量的分布律 二维离散型随机变量 离散型随机变量函数的分布律 第三章 连续型随机变量及其分分布函数 一维连续性随机变量及其分布 二维连续性随机变量及其分布 连续性随机变量函数的密度函数 第四章 随机变量的数字特征 数学期望 方差 协方差和相关系数 矩 几个重要随机变量的期望和方差 第五章 大数定律与中心极限定理 依概率收敛 大数定律 依分布收敛 中心极限定理

什么是数理逻辑 字面含义:数学理论的逻辑。逻辑是研 究演绎(推理)规律的学科。 广义理解:用数学方法研究演绎规律的 学科。 狭义理解:用数学方法研究数学中演绎 规律和数学基础的学科。 研究对象:推理过程的正确性标准。 是数学的一个分支。又称符号逻辑等

 归纳  数学归纳法  强数学归纳法  运用良序公理来证明  递归  递归定义  结构归纳法  递归算法

数学归纳法的公式表示： [P(1) ∧ m(m  1 ∧ P(m) → P(m+1))] →  n P(n) 1、归纳基础：P(1) 2、归纳步骤： m (m  1 ∧ P(m) → P(m+1))

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

一、数学的研究对象是什么？ 本身已如此一目了然，以致于没有任何词汇能够把他解说得更清楚的事物，绝不要试图给他下定义。以免被所使用的含混不清的词 汇所欺骗

1. Peano系统 2.后继,归纳集,自然数,自然数集 3.数学归纳法原理 4.传递集 5.自然数的运算 6.自然数上的序关系

◼ 自反性 ◼ 反自反性 ◼ 对称性 ◼ 反对称性 ◼ 传递性 ◼ 闭包定义 ◼ 闭包的构造方法  集合表示  矩阵表示  图表示 ◼ 闭包的性质

一、等价关系的定义与实例 二、等价类及其性质 三、商集与集合的划分 四、等价关系与划分的一一对应 五、偏序关系 六、偏序集与哈斯图 七、偏序集中的特定元素