2相关性的判定定理 定理3:在一个向量组中,若有一个部分向量组线性相关,则整个向量组也必定线性相关 推论:一个线性无关的向量组的任何非空的部分向量组都线性无关

1 行列式、矩件、n维、线性组、标准形与二次型,其中行列式与矩阵是其基本理论基础

二次型的分类 1.定义:f(x1,x2,xn)=XAX是一个实二次型,若对于任何非零的向量(1C2,cn),恒有f(1,C2n)>0(<0)则称f(x1,x2,…,xn)是正定(负定)二次型,而其对应的矩阵A称为正定(负定)矩阵;

6.2具有整数解的线性规划问题 对纯整数规划 max z=cx (IP): s.t. Ax=bx,≥0,整数,j=1,2,…n

自然语言是人与人交流思想的工具，程序语言是人和计算机之间传达信息的工具。为了描述程序语言，本章将引进有关形式语言的基本概念。文法是程序语言的生成系统，自动机是程序语言的识别系统，用文法来精确定义一个语言，然后根据这个文法构造识别这个语言的自动机，因此文法对程序语言和编译程序的构造来说意义重大。随着计算机的发展，形式语言学发展很快。N.Chomsky将文法分成四类，程序语言的词法可用正规文法描述，语法可用上下文无关文法描述，语义则要借助于上下文有关文法来描述。因此我们的注意力是针对这几类文法，特别是上下文无关文法

5.1运输问题 运输问题(p, Transportation Problem):从m个发点A1,A2,,A往n个收点B1,B2,…,Bn运输货物,有关数据如下图所示:

6.1运用4n+2规则,预料以下化合物中哪个是芳香性?哪个是非芳香性或反芳香性的?

当精确函数y=f(x)非常复杂或未知时,在一系列节点xoxn处测得函数值yo=fo) yn=f(xn,由此构造一个简单易算的近似函 数g(x)f(x),满足条件g(x)=f(x(i0 n)。这里的g(x)称为f(x)的插值函数

3.5方阵的行列式 定义5.1设A=(an)是一个n阶矩阵,则A自然地 确定了一个阶行列式det(an)这个行列式称为 A的行列式,记作|A|或detA

3.6可逆矩阵 定义6.1设A是一个n阶矩阵若有阶矩阵B 使得AB=BA=,则称A是一个可逆矩阵(非奇 工异矩阵、非退化矩阵),并称B是A的一个逆. 例如,设