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

第一章 基本知识 第二章 工具 第三章 绝对值 第四章 典型不等式 第五章 极大与极小问题 第六章 距离之性质 符号 习题答案 名词对照表

本章主要内容： · 多因素试验问题、正交试验、正交表符号的意义。 · 因素、水平、自由度、试验指标、交互作用。均衡分散性、整齐可比性、自由度选表原则、表头设计。 · 正交表的特点、用正交表安排试验及结果分析。正交试验的步骤

MATLAB基础 矩阵与数组运算 常用数学函数 符号运算 MATLAB编程 二维与三维绘图 最优化问题求解 线性规划 整数规划 二次规划

离散模型是将实际问题直接抽象成离散的数、符号或图形，然后以离散数学为主要研究工具来解决的数学模型。连续模型进行离散化所得到的数学模型不在此讨论

1、 量级符号； 2、 渐近展开； 3、 渐近展开式的运算； 4、 积分的渐近展开式； 5、 最陡下降法； 6、 驻定相位法； 7、 常微分方程的渐近解；

1. MATLAB 的概况 MATLAB 是矩阵实验室（Matrix Laboratory）之意。除具备卓越的数值计算能力 外，它还提供了专业水平的符号计算，文字处理，可视化建模仿真和实时控制等功能。 MATLAB 的基本数据单位是矩阵，它的指令表达式与数学,工程中常用的形式十分 相似,故用 MATLAB 来解算问题要比用 C,FORTRAN 等语言完相同的事情简捷得多

一、基本QR方法 60年代出现的QR算法是目前计算中小型矩阵的全部特征值与 特征向量的最有效方法。实矩阵、非奇异。 理论依据：任一非奇异实矩阵都可分解成一个正交矩阵Q和 一个上三角矩阵R的乘积，而且当R的对角元符号取定时，分解是唯一的

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

一. 填空(共计 26 分) 1. (每空 1 分) 令 P: 天气好. Q: 我有时间. R: 我在家. S: 我上街. 将下面各个命题的符号表达式填在各个命题后面的括号内.. ⑴. 或者我上街,或者我在家. ( ) ⑵ 仅当天气好, 我才上街. ( ) ⑶ 如果天气好, 我就上街, 否则在家.( )