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上的可约性

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

11.1数字系统测试的基本原理 11.2逻辑分析仪 11.3可测性设计 11.4数据域测试的应用

教学目标 使学生进一步了解集合的运算,集合的映射和相 关概念,了解数环数域的相关概念,为后续学习 提供必备的基本知识,温故知新,实现承上启下 的目的。 重点: 集合的各种运算及集合的映射(象与原象,单射, 满射,双射)的概念

6.1半群与群 6.2子群 6.3循环群和置换群 6.4陪集与拉格朗日定理 6.5正规子群、商群和同态基本定理 6.6环和域 6.7例题选解