1.1 命题与联结词 1.2 命题变元和合式公式 1.3 公式分类与等价公式 1.4 对偶式与蕴涵式 1.5 联结词的扩充与功能完全组 1.6 公式标准型——范式 1.7 公式的主范式 1.8 命题逻辑的推理理论

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

2.1 个体、谓词和量词 2.2 谓词公式与翻译 2.3 约束变元与自由变元 2.4 公式解释与类型 2.5 等价式与蕴涵式 2.6 谓词公式范式 2.7 谓词逻辑的推理理论

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 例题选解 习题一

第一节 二重积分的概念与性质 一、问题的提出 二、二重积分的概念 三、二重积分的性质 第三节 二重积分的应用 一、问题的提出 二、曲面的面积 三、平面薄片的重心 四、平面薄片的转动惯量 五、平面薄片对质点的引力 第五节 利用柱面坐标和球面坐标计算三重积分 一、利用柱面坐标计算三重积分 二、利用球面坐标计算三重积分 第六节 含参变量的积分 一、含参变量积分的连续性 二、含参变量的函数的微分 三、莱布尼茨公式

把一个mxn矩阵A,在行的方向上分成s块,在 列的方向分成t块,称为A的sxt分块矩阵,记作 A=[Asx其中A(k=12s1,2t称为A的 子块,它们是各种类型的小矩阵 常用的分块矩阵,除了上面的4块矩阵,还有以 下几种形式:

上节我们学习了平面图形面积的计算,还利用分割、求和的分析方法,导出 了极坐标下平面图形的 面积公式 8=(0 现在我们看下面一个空间立体,假设我们知道它在x处截面面积为S(x),可 否利用类似于上节极坐标 下推导面积公式的思想求出它的体积?

第一节 定积分的元素法 第二节 平面图形的面积 一、直角坐标系情形 二、极坐标系情形 第三节 体积 一、旋转体的体积 二、平行截面面积为已知的立体的体积 第四节 平面曲线的弧长 一、平面曲线弧长的概念 二、直角坐标情形 三、参数方程情形 四、极坐标情形 第五节 功 水压力和引力 一、变力沿直线所作的功 二、水压力 三、引力

第一节 定积分的概念 一、问题的提出 二、定积分的定义 三、存在定理 四、几何意义 第二节 定积分的性质、中值定理 第三节 微积分基本公式 一、问题的提出 二、积分上限函数及其导数 三、牛顿—莱布尼茨公式发 第四节 定积分的换元积分法 第五节 定积分的分部积分公式 第七节 广义积分 一、无穷限的广义积分 二、无界函数的广义积分