• 2.1 变量及其赋值 • 2.2 矩阵的初等运算 • 2.3 元素群运算 • 2.4 逻辑判断与流程控制 • 2.5 基本绘图方法 • 2.6 M文件及程序调试

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

4.1 高斯消元法 4.2 矩阵的LU分解 4.3 雅可比迭代 4.4 高斯-塞德尔迭代 4.5 收敛性定理 4.6 应用实例

特征值与特征向量的概念与求法 特征值与特征向量的性质 相似矩阵的概念与性质 特征值与特征向量 方阵可相似对角化的条件 将方阵相似对角化的方法 实对称矩阵的性质 用正交矩阵使对称阵对角化

5.1--二次型及其矩阵表示 1.)二次型的基本概念 2.二次型的表示方法 3.线性变换与合同矩阵 5.2--化二次型为标准形 1.)二次型标准形的概念 2.配方法化二次型为标准形 3.正交变换法化二次型为标准形 4.二次型的规范形 5.3--正定二次型 1.正定二次型的概念 2.正定二次型的判定

一、 向量的内积与长度 二、 正交向量组 三、 施密特正交化方法 四、 正交矩阵 五、 小结

一、 实对称矩阵的性质 二、用正交矩阵使实对称矩阵对角化的方法 三、小结

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

一.向量空间 二.基,维数和坐标 三.向量的内积 四.标准正交基 五 线性无关组的正交化单位化— Schimidt.正交化方法

4.1 高斯消元法 4.2 矩阵的LU分解 4.3 雅可比迭代 4.4 高斯-塞德尔迭代 4.5 收敛性定理 4.6 应用实例