一、线性变换及其运算 定义:设V是数域K上的线性空间,T是V到自身的一个映射,使得对于V中的任意元素x均存在唯一的 y∈V与之对应,则称T为V的一个变换或算子

4.1 谓词和个体词 4.2 函数和量词 4.3 合式公式 4.4 自然语句的形式化 4.5 有限域下公式(x)P(x), (x)P(x)的表示法 4.6 公式的普遍有效性和判定问题

1．掌握函数的定义及一般调用形式。 2．掌握函数的嵌套调用和递归调用方法。 3．掌握数组作为函数参数的应用。 4．掌握函数中变量存储类别及作用域。 5．掌握内部函数与外部函数的区别

3.1关系数据模型 3.1.1 关系模式 3.1.2 关系操作 3.2关系模型的完整性规则 3.2.1 关系的三类完整性约束 3.2.2 实体完整性 3.2.3 参照完整性 3.2.4 用户自定义完整性 3.3关系代数的基本运算 3.3.1 传统的集合运算 3.3.2 专门的关系运算 3.3.3 关系代数表达式及其应用实例 *3.4关系演算 元组关系演算 域关系演算 3.5 查询优化 3.5.1 查询优化的一般策略 3.5.2 代数表达式的等价变换规则 3.5.3 优化算法

北京大学：《高等代数》课程教学资源（讲义）第十二章 张量积与外代数 12.1 多重线性映射 12.2 线性空间的张量积 12.2.1 域 K 上的二线性空间的张量积的定义（归纳地有多个张量积的定义）

北京大学：《高等代数》课程教学资源（讲义）第五章 5.1 双线性函数 5.1.3 线性空间上的对称双线性函数、二次型函数的定义 5.2 二次型 5.2.1 数域上的二次型的定义，二次型 5.2.2 二次型化为标准形的计算方法（配方法）

4.1.3线性空间的基与维数,向量的坐标 设V是数域K上的线性空间, 定义4.9基和维数 如果在V中存在n个向量a1,a2,…,an,满足 1)、a1,a2,…,an线性无关; 2)、V中任一向量在K上可表成a1,a2,…,an的线性组合

2.1.1向量和m维向量空间的定义及性质 定义(向量)设K是一个数域。K中m个数a1a2,m所组成的一个m元有序数组称为一个m维向量

本节讨论有理数域上多项式的可约性,以及如 何求Q上多项式的有理根,由于f(x)与qf(x)在 Q[x]上的可约性相同。因此讨论f(x)在Q上的可约 性可转化为求整系数多项式在Q上的可约性

定积分的概念 前一章我们从导数的逆运算引出了不定积 分,系统地介绍了积分法,这是积分学的第一类 基本问题。本章先从实例出发,引出积分学的第 二类基本问题定积分,它是微分(求局部量 )的逆运算(微分的无限求和求总量),然 后着重介绍定积分的计算方法,它在科学技术领 域中有着极其广泛的应用