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

❖在新英格兰地区一个镇上位于街脚处的一个停车场的场主雇你来设计该停车场的安排,即设计“在地上的线应怎样划法”。❖你一定认识到要把尽可能多的车塞进停车场会导致以直角停靠的方式一辆挨一辆地排成一行。但是缺乏经验的司机对于这种停靠方式是有困难的，这可能引起昂贵的保险费要求

❖地图中的实线表示马里兰州威考密科县中扫雪区域中的二车道马路，虚线表示州属高速公路。一场雪后，从位于地图*标记地点以西4英里的二处车库派出二辆扫雪车。求用两辆扫雪车扫清马路上的雪的有效的方法，扫雪车可以利用高速公路进出扫雪区。❖假设扫雪车既不会发生故障也不会停顿，在交叉路口不需特别的扫雪方法

§1.命题 §2.命题联结词 §3.命题变元与命题公式 §4.等价式 §5.永真蕴含式 §6.命题联结词总结 §7.范 式 和 判 定 §8.推论规则和证明方法

复合函数求导法则 先回忆一下一元复合函数的微分法则 则复合函数这一节我们将把这一求导法则推广到多元函数的情形,主要介绍多元复合函数的微分法和隐函数的微分法。我们知道,求偏导数与求一元函数的导数本质上并没有区别,对一元函数适用的微分法包括复合函数的微分法在内,在多元函数微分法中仍然适用,那么为什么还要介绍多元

在研究某些实际问题时，经常无法直接得到各变量之间的联系，问题的特征往往会给出关于变化率的一些关系。利用这些关系，我们可以建立相应的微分方程模型。从另一个方面来讲，从微小的变化量来研究函数变化的规律，微分提供了一种人们认识系统更加深入的描写和刻画。从这个角度说，微分方程模型在模拟客观事物时更加具有机理性和本质性

线性规划 Linear Programming(LP 线性规划的对偶理论 对偶理论是线性规划中最重要的理论之一,是深入了解线性规划问题 结构的重要理论基础。同时,由于问题提出本身所具有的经济意义,使得 它成为对线性规划问题系统进行经济分析和敏感性分析的重要工具。那么 ,对偶问题是怎样提出的,为什么会产生这样一种问题呢?

(一)单因素试验在科学试验和生产实践中, 影响一事物的因素往往是很多的例如,在化 工生产中,有原料成份,原料剂量,催化剂,反 应温度,压力,溶液浓度,反应时间,机器设备 及操作人员的水平等因素.每一因素的改变都 有可能影响产品的数量和质量.有些因素影响 较大,有些较小.为了使生产过程得以稳定,保 证优质,高产,就有必要找到对产品质量有显 著影响的那些因素.为此,我们需进行试验,方 差分析就是根据试验结果进行分析,鉴别各个 有关因素的作用的有效方法

层次分析法(Analytic Hierarchy Process,简称AHP)是对一些较为复杂、较为模 糊的问题作出决策的简易方法,它特别适用于那些难于完全定量分析的问题。它是美 国运筹学家T.L. Saaty教授于70年代初期提出的一种简便、灵活而又实用的多准则 决策方法

第三节解析函数 的泰勒(Taylor)展式 这一节主要研究在圆内解析的函数展开成幂级数的问题