15.3 代数系统的同态与同构 15.4 同余关系与商代数

15.1 二元运算及其性质 第二节 代数系统

5.1 二元运算及其性质 5.2 代数系统及其子代数 5.3 代数系统的同态与同构

第4章 向量空间 第5章 相似矩阵 第6章 二次型 第8章 MATLAB解线性代数问题

北京大学：《高等代数》课程教学资源（讲义）第十二章 张量积与外代数 12.4 外代数

„ 19.1 格的定义与性质 „ 19.2 子格、格同态与格的直积 „ 19.3 特殊的格 „ 19.4 布尔代数

„ 19.1 格的定义与性质 „ 19.2 子格、格同态与格的直积 „ 19.3 特殊的格 „ 19.4 布尔代数

10.1 格的定义与性质 10.2 子格与格同态 10.3 特殊格 10.4 布尔代数

§1格的概念 §2分配格 §3有补格 §4*布尔代数

– 代数项和它们在多类别代数中的解释 – 等式规范（也叫代数规范）和等式证明系统 – 等式证明系统的可靠性和完备性（公理语义和指称语义的等价） – 代数之间的同态关系和初始代数 – 数据类型的代数理论 – 从代数规范导出的重写规则（操作语义）