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

1. 中国古代造纸术和印刷术 Papermaking and Printing Technology of Ancient China 2. 中国的丝绸和陶瓷 The Silk and Porcelain of China 3. 独特的中医学 The Unique Traditional Chinese Medicine 4. 中国古代的数学和天文学成就 Achievements of Mathematics and Astronomy in Ancient China

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

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

一、基本概念 二、概念的引入 三、概念及性质 四、计算法 五、两类曲面积分之间的联系 六、小结思考题

一、问题的提出 二、对坐标的曲线积分的概念 三、对坐标的曲线积分的计算 四、小结思考题

一、问题的提出 二、对弧长的曲线积分的概念 三、对弧长的曲线积分的计算 四、几何与物理意义 五、小结思考题

在上一节,运用概率基本公式,可以 根据一些事件的概率计算另一些事件的概 率.现在问题是这些已知概率又当如何获取 呢?或者说,怎样直接计算一些简单事件 的概率呢?本节在等可能概率模型下讨论 这一问题

一、理论要求 1.函数概念与性质 函数的基本性质（单调、有界、奇偶、周期）几类常见函数（复合、分段、反、隐、初等函数） 2.极限 极限存在性与左右极限之间的关系夹逼定理和单调有界定理会用等价无穷小和罗必达法则求极限

一、教学目标: 使学生了解矩阵的相关概念,熟练的掌握矩阵的各种运算法则和运算规律。 二、重点: 矩阵的乘法运算和相关性质。 三、难点: 矩阵的乘法法则和运算律