由牛顿——莱布尼兹公式,可以通过不定积分来 计算定积分.一般是将定积分的计算截然分成两步: 先计算相应的不定积分,然后再运用牛顿—莱布尼 兹公式代值计算出定积分.这种作法相当麻烦,我们 希望将不定积分的计算方法与牛顿——莱布尼兹公式 有机地结合起来,构成定积分自身的计算方法定 积分的换元法和定积分的分部积分法

1. 掌握内积、欧氏空间等概念; 2. 熟练运用 Schmidt 正交化方法求标准正交基; 3. 掌握子空间的正交补概念，会求某些空间的正交补； 4. 掌握正交变换的概念，会用正交变换的等价条件和正交矩阵的某些性质

可降阶的高阶微分方程 前面介绍了五种标准类型的一阶方程及其 求解方法,但是能用初等解法求解的方程为数腥 当有限,特别是高阶方程,除去一些特殊情况可 用降阶法求解,一般都没有初等解法, 本节介绍几种特殊的高阶方程,它们的共 同特点是经过适当的变量代换可将其化成较低阶 的方程来求解

这一节我们来建立矩阵的初等变换与矩阵乘法的联系，并在这个基础上，给 出用初等变换求逆矩阵的方法

（1）精确逻辑（传统逻辑）的一些概念 命题逻辑、布尔代数、和集合论是同构的。 隐含是重要的概念。 传统的命题逻辑中，命题的“真”和“假”必须具有 意义。逻辑推理是给定一个命题，组合成另一个命题的过 程

一、可对角化的概念 二、几个引理 四、对角化的一般方法 三、可对角化的条件

第一讲 线性代数基础 第二讲 线性方程组直接方法 第三讲 线性最小二乘问题 第四讲 非对称特征值问题 第五讲 对称特征值问题 第六讲 线性方程组定常迭代法 第七讲 Krylov子空间迭代法 第八讲 特征值问题的迭代解法 附录A IEEE浮点运算标准 附录B 数值计算中的误差 附录C 高性能计算 – 科学计算软件介绍

据公元前一世纪成书的《周髀算经》记载，我国古代杰出的数学家陈子（公元前 6-7 世 纪）对太阳的高和远进行了测量，这就是人们所乐于称道的“陈子测日”。他的测量方法原理 如图 1 所示

3. 配方法化二次型为标准型的关键？ 5. 非退化线性替换的定义和作用 1.二次型的标准型的定义 2.化二次型为标准型的方法有几种？ 4. 合同变换化二次型为标准型的过程？

可降阶的高阶微分方程 前面介绍了五种标准类型的一阶方程及其 求解方法,但是能用初等解法求解的方程为数腥 当有限,特别是高阶方程,除去一些特殊情况可 用降阶法求解,一般都没有初等解法, 本节介绍几种特殊的高阶方程,它们的共 同特点是经过适当的变量代换可将其化成较低阶 的方程来求解