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

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

一、平面曲线弧长的概念 二、直角坐标情形 三、参数方程情形 四、极坐标情形 五、小结思考题

问题:由导数定义求函数导数,繁!下面推出导数的运算法则,利用简单函数的导数便可求出任何初等函数在其定义域内的导数

第一节树的概念 第二节生成树与最优支撑树 第三节有向树与根树(1) 第三节有向树与根树(2) 第四节平面图

一、无穷限的广义积分的审敛法 二、无界函数的广义积分的审敛法 三、R-函数 四、小结

第一节谓词与量词 第二节公式与解释 第三节等价与蕴涵 第四节前束范式 第五节谓词演算的演绎与推理

一、利用柱面坐标计算三重积分 二、利用球面坐标计算三重积分 三、小结思考题

8.1 线性回归分析的基本原理 8.2 图表分析与回归函数分析 8.3 Excel回归分析工具 8.4 多元回归分析 8.5 非线性回归分析

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