本章可视为前一章的深入和提高； 由于命题逻辑的局限性我们必须 引入谓词逻辑.学习本章时要求掌 握好谓词与命题的关系、量词、 辖域、公式等概念.比较谓词公式 的等价、蕴涵与命题公式相应的 概念的异同；能将自然语言符号 化；能用谓词逻辑进行推理；理 解前束范式的意义

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

解线性方程组的两类方法 直接法: 经过有限次运算后可求得方程组精确解的 方法(不计舍入误差!) 迭代法：从解的某个近似值出发，通过构造一个 无穷序列去逼近精确解的方法

物理和数学有着深刻的联系。 二十一世纪是量子数学的时代（可称为是无穷维数学的时代 ） 量子数学的含义是指我们能够恰当地 理解分析、几何、拓扑和各式各样的非 线性函数空间的代数

所谓系统抽样，就是将总体中N个单元按照随机方式（ 有时也按某种特定的规则）编号为1，2，…，N，若想抽取 n 个样本，不妨假设N/n=k为整数，利用计算机可以立即将 这N个单元排成n 行k 列的矩阵，再从1～k之间随机地产生 一个随机数i ，则取第 i 列的全体单元作为样本

二重比估计与二重回归估计的思想与二重分层估计的思 想相类似。比估计与回归估计需要事先知道辅助变量 X的平 均数或总和。如果事先并不掌握辅助变量的平均数或者总和 的信息，但辅助变量的观察要比调查的指标 Y容易得多，那 么就可以使用二重比估计或者二重回归估计

注：开集、闭集既是 型集也是 型集；有理数集是 型集，但不是 型集；无理数集是 型集，但不是 型集

对于n阶常系数非齐线性微分方程L[x=f(x),当然在求得它所 对应的齐线性方程L[x]=0的一个基本解组后可用常数变易求出 L[x]=f(x)的一个特解从求的它的通解但当非齐次项f(x具有特殊 形式时有特殊的解法下面介绍这样的方法中的一种即比较系数法

问题的提出:对于 Cauchy问题 上节的解的存在唯一性定理告诉我们:在一定的条件下,它的解在区 间x-xsh上存在唯一,其中M=maxf(x,y)h=mina,.根据经 (xy)eR 验,如果f(x,y)的存在区域R越大,则解的存在区间也应该越大.但根 据定理的结果,可能出现这样的情况,即随着f(x,y)的存在区域R增 大,我们能肯定的解存在区间反而缩小

3.1 解的存在唯一性定理与逐步逼近法 3.2 解的延拓 3.3 解对初值的连续性和可微性定理 3.4 奇解