5.1.3线性空间上的对称双线性函数、二次型函数的定义 定义若f为V上的双线性函数且f(a,B)=f(B,a),则称f为V上的对称双线性 函数。 命题f为对称双线性函数,当且仅当f在任意一组基下的矩阵为对称矩阵,当且仅 当f在某一组基下的矩阵为对称矩阵。 证明任取V的一组基1,2,…,n,任取a,B∈V,设它们在此组基下的坐标所构成 的列向量分别为X和Y,f在此组基下的矩阵记为A,若f为对称双线性函数,则由定

目 录 1学科基础平台必修课 《数学分析》 《高等代数与解析几何》 《概率论与数理统计 A》 《概率论与数理统计》 《大学物理 A1》 《大学物理 A2》 2．学科基础平台选修课 《物理实验》 《数学规划基础》 《信息与计算科学专业导论》 《统计学》 《统计学实验》课程实验 《离散数学》 《C++程序设计 A》 《C++程序设计实验 A》 3．专业课平台必修课 《数值分析 A》 《数值分析》 《数值分析 A 实验》 《数学建模》 《数学建模实践》 《数据库原理 A》 《数据结构与算法分析》 《信计专业毕业实习》 《信息与计算科学专业毕业设计（论文）》 4专业课平台选修课 《常微分方程》 《多元统计分析》 《数学物理方程》 《实变函数与泛函分析》 《复变函数与积分变换》 《组合与图论》 《运筹学》 《运筹学基础及应用》 《数值最优化》 《微分方程数值解》 《控制理论基础》 《Oracle 高级数据库开发设计》 《大数据与深度学习》 《Python 程序设计》 《R 语言》 《算法分析与设计》 《操作系统》 《计算机网络原理Ⅰ》 《Java 程序设计》 《Java 程序设计实训》 《ASPNET 程序设计》 《web 前端开发》 《web 前端开发》程序设计 《软件开发实践》

第五章5-3实与复二次型的分类 1.复、实二次型的规范形 定理复数域上的任一二次型f在可逆变数替换下都可化为规范形 zi+…+z, 其中r是f的秩.复二次型的规范形是唯一的. 证明复数域C上给定二次型) f=, x,x, ( =ai 设它在可逆线性变数替换X=TZ下变为标准型 d1z2+d2z2+…an 这相当于在C上n维线性空间V内做一个基变换 (n2n)=(1,2EnT 使对称双线性函数f(a,B)在新基下的矩阵成对角形

第六章6-2欧氏空间中特殊的线性变换(续) 命题正交矩阵的特征多项式的根的绝对值等于1 证明设入∈C是正交矩阵A的特征多项式的根,则≠0.齐次线性方程组(e-a)X=0 在C内有非零解向量 ( a:a 显然Aa=a=a'a'=a'a'a==a'aa=aa=aa=1从而 入|=1 推论正交矩阵的特征值只能是±1 命题设A是n维欧氏空间V上的正交变换,若A的特征多项式有一个根=e

第九章元多项式环 9-1一元多项式环的基本理论 911域上的一元多项式环的定义 定义91设K是一个数域,x是一个不定元。下面的形式表达式 f(x) (其中an3a1,a2属于K,且仅有有限个不是0)称为数域K上的一个不定元x的一元多 式。数域K上一个不定元x的多项式的全体记作K[x] 下面定义K[x]内加法、乘法如下 加法设

第三章3-1,3-2n阶方阵的行列式 3.1.1平行四边形的有向面积和平行六面体的有向体积具有的三条性质 在解析几何中已证明,给定二维向量空间中的单位正交标架,设向量a,B的坐标分别 为(a1,a2)和(b,b2),则由向量a,B张成的平行四边形的有向面积为ab2-a2b,这里记 为;给定三维空间内右手单位正交标架,设向量a,B,y的坐标分别为(a1,a2,a3) (b1,b2,b3)和(1,C2,C3),则由向量a,B,y张成的平行六面体的有向体积为 (ab2-a2b1)c1+(a3b1-ab3)c2+(ab2-a2b1)C3

第二章2矩阵的秩 2.1.1矩阵的行秩与列秩、矩阵的转置 定义2.1矩阵的行秩与列秩。 一个矩阵A的行向量组的秩成为A的行秩它的列向量组的秩称为A的列秩。 命题2.1矩阵的行(列)初等变换不改变行(列)秩 证明只需证明行变换不该行秩。容易证明经过任意一种初等行变换,得到的行向 量组与原来的向量组线性等价,所以命题成立。证毕。 定义2.2矩阵的转置 把矩阵A的行与列互换之后,得到的矩阵A称为矩阵A的转置矩阵 命题2.2矩阵的行(列)初等变换不改变列(行)秩

设P是数域,是一个文字,作多项式环P,一个矩阵如果它的元素是 的多项式,即P[]的元素,就称为-矩阵在这一章讨论λ矩阵的一些性 质,并用这些性质来证明上一章第八节中关于若当标准形的主要定理 因为数域P中的数也是P]的元素,所以在λ矩阵中也包括以数为元素 的矩阵.为了与-矩阵相区别,把以数域P中的数为元素的矩阵称为数字矩 阵.以下用A(),B()…等表示-矩阵 我们知道,P]中的元素可以作加、减、乘三种运算,并且它们与数的运 算有相同的运算规律而矩阵加法与乘法的定义只是用到其中元素的加法与乘 法,因此可以同样定义λ-矩阵的加法与乘法,它们与数字矩阵的运算有相同 的运算规律 行列式的定义也只用到其中元素的加法与乘法,因此,同样可以定义一个 nxn的-矩阵的行列式.一般地,-矩阵的行列式是的一个多项式,它与 数字矩阵的行列式有相同的性质

《大学物理》 《大学物理实验 I》课程实验 《高等数学（代数、变换）》 《电工学》 《大学物理实验 II》课程实验 《自动控制技术》 《模拟电子技术》 《数字电子技术》 《单片机原理与应用》 《电子测量》 《电动力学》 《EDA 技术》 《工程制图与 CAD》 《网络原理与技术》 《量子力学》 《热力学与统计物理》 《传感器应用与实验》 《高级程序设计》 《电子产品生产组织与管理》 《可编程控制器（PLC）应用》 《工业计算机与工控组态技术》 《光机电一体化》 《电子线路设计》 《高频电子线路》 《光电新材料导论》 《电力系统基础》 《电力电子学》 《通信技术基础》 《数字信号处理》 《应用电子技术综合实验》课程实验 《机电产品装配工艺与技能实训》 《电子电路故障诊断》 《光伏应用技术》 《电子产品制造工艺》 《智能仪器与仪表》

语法分析是编译程序的核心部分、语法分析的作用是识别 由词法分析给出的单词符号序列是否是给定文法的正确句子 （程序）， 自顶向下分析法也就是从文法的开始符号出发企图推导 出与输入的单词串完全相匹配的句子，若输入串是给定文法 的句子，则必能推出，反之必然出错。自顶向下分析法又可 分为确定的和不确定的两种，确定的分析方法需对文法有一 定的限制，但由于实现方法简单、直观，便于手工构造或自 动生成语法分析器，因而仍是目前常用的方法之一。不确定 的方法即带回溯的分析方法(又称回溯法)，这种方法实际上 是一种穷举的试探方法，因此效率低，代价高，因而极少使 用