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

一、反函数的求导法则 定理4.设函数y=f(x)在x的某领域内连续且严格单 调,y=f(x)在x处可导,且f(x)≠0.则y=f(x)的反 函数x=(y)在y处可导且

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

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

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

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

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

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

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

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