第三节反函数的导数、复合函数求导法则 1.反函数的求导法则 2.复合函数的求导法则

第五节高阶导数 1.高阶导数的定义及物理意义 2.高阶导数的运算法则(莱布尼兹公式) 3.n阶导数的求法:直接法、间接法

第二节函数的和、差、积、商的求导法则 1.函数的和、差、积、商的求导法则

第一节中值定理 1.罗尔中值定理 2.拉格朗日中值定理 3.内柯西中值定理

第三节泰勒(Tylor)公式 1.泰勒(Taylor)公式 2.麦克劳林(Maclaurin)公式 3.泰勒中值定理与拉格朗日中值定理的联系 4.函数的展开 5.利用泰勒公式求极限

复旦大学：《网络科学导论 Introduction to Network Science》教学参考文献_谷歌背后的数学

第五节函数的极值及其求法 1.函数极值的定义 2.函数极值的求法

第1节 原始递归函数 第2节 递归函数 第3节 图灵机 第4节 图灵可计算函数与部分递归函数 第5节 递归可枚举集

第1节 一阶语言的结构 第2节 可定义性 第3节 同态和同构

复旦大学：《数理逻辑》课程教学资源（讲义）第3章 一阶逻辑的语言、第4章 形式证明