第2章谓词逻辑 2.1谓词逻辑基本概念 2.2谓词公式及其解释 2.3谓词逻辑等值式 2.4一阶逻辑的推理理论

一、曲面方程的概念 二、旋转曲面 三、柱面 四、小结思考题

一、平面的点法式方程 二、平面的一般方程 三、两平面的夹角 四、小结思考题

一、弧微分 二、曲率及其计算公式 三、曲率圆与曲率半径 四、小结思考题

一、一个方程所确定的隐函数及其导数 二、方程组所确定的隐函数组及其导数

一、问题的提出 二、定积分的定义 三、存在定理 四、几何意义 五、小结思考题

一、关于积分表的说明 二、例题

一、填充下列各题: 35x-3-32x2 x→1tanx Inx 2. lim= →+∞ (a>0) 3. lim(2-cos3x)(+)= x→0 tanx-x

一、换元公式 二、小结思考题

一、问题的提出 二、积分上限函数及其导数 三、牛顿—莱布尼茨公式 四、小结思考题