◼ §1 谓词的概念与表示法 ◼ §2 命题函数与量词 ◼ §3 谓词公式与翻译 ◼ §4 变元的约束 ◼ §5 谓词演算的等价式与蕴含式 ◼ §6 前束范式 ◼ §7 谓词演算的推理理论

概念 实际中,fx)多样,复杂,通常只能观测到一些离散数据; 或者fx)过于复杂而难以运算。这时我们要用近似函数g(x来 逼近fx)

给出一组离散点，确定一个函数逼近原函数，插值是这样的一种手段。 在实际中，数据不可避免的会有误差，插值函数会将这些误差也包括在内。 因此，我们需要一种新的逼近原函数的手段： ①不要求过所有的点（可以消除误差影响）；

一、 设离散无记忆信源 二进制香农码的编码步骤如下：

6.1 状态空间法的系统仿真 6.2 非线性环节的仿真 6.3 离散系统的仿真 6.4 SIMULINK仿真

▪等值式 ▪基本等值式 ▪量词否定等值式 ▪量词辖域收缩与扩张等值式 ▪量词分配等值式 ▪前束范式

一、推理的形式结构 二、判断推理是否正确的方法 三、推理定律与推理规则 四、构造证明法

▪等值式 ▪基本等值式 ▪等值演算 ▪置换规则 ▪复合联结词  排斥或  与非式  或非式 ▪真值函数 ▪联结词全功能集

◼ 环的定义与实例 ◼ 特殊的环  交换环  含幺环  无零因子环  整环  域

◼ 代数系统定义 ◼ 同类型与同种的代数系统 ◼ 子代数 ◼ 积代数