一、空间曲线的一般方程 二、空间曲线的参数方程 三、空间曲线在坐标面上的投影 四、小结思考题

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

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

1.计算下列极限: (1)limx2+5 x→2x-3 ; (2)limx2-3 ; x→3x2+1 (3)lim x2-2x+1 ;

1.设A=(-∞,-5)(5,+∞),B=[-10,3),写出AB,AB,AB及 A(AB)的表达式 2.设A、B是任意两个集合,证明对偶律:(AB)C=ACUB 3.设映射f:X→Y,AcX,BCX.证明 (1)(AB)=()(B); (2)f(b)f()f(B)

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

1.1 命题符号化及联结词 1.2 命题公式及分类 1.3 等值演算 1.4 联结词全功能集 1.5 对偶与范式 1.6 推理理论 1.7 命题演算的自然推理形式系统N 1.8 例题选解 习题一

2.1 一阶逻辑的基本概念 2.2 一阶逻辑公式及解释 2.3 等值演算和前束范式 2.4 一阶逻辑推理理论 2.5 例题选解 习题二

本章中我们将用前面学过的定积分的知识来分析和解决一些几何、物理中的问题，其目的不仅是建立计算这些几何、物理的公式，而且更重要的还在于介绍运用元素法解决问题的定积分的分析方法

8.1图的定义及相关术语 8.2通路回路图的连通性 8.3图的矩阵表示 8.4例题选解