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

本书开始介绍线性代数的空间理论，主要包括一般域上的线性空间、线性变换和内积理论，空间的维数不作限制．线性空间理论是对向量和矩阵知识的抽象和扩充．有限维线性空间上的线性代数问题，可以转化为矩阵问题加以研究．面对无限维线性空间上的线性代数问题时，有限维线性空间中成立的结论在无限维线性空间中有可能不成立，矩阵方法无法替代空间理论．线性代数的矩阵理论和空间理论是两套不同的数学语言，分别具有代数属性和几何属性，它们是线性代数的一体两面，各有所长．综合掌握这两套数学语言，有利于从多个角度深入思考具体问题

◼ 代数系统定义 ◼ 同类型与同种的代数系统 ◼ 子代数 ◼ 积代数

第6章代数系统 6.1代数系统的概念 6.2代数系统的同态和同构 6.3代数系统的积代数 6.4半群与独异点 6.5群与交换群 6.6环与域 6.7格与布尔代数

❑主要内容 ❑二元运算及其性质 ⚫ 一元和二元运算定义及其实例 ⚫ 二元运算的性质 ❑代数系统 ⚫ 代数系统定义及其实例 ⚫ 子代数 ⚫ 积代数 ❑代数系统的同态与同构

9.1 格 9.2 布尔代数 9.3 子布尔代数、积布尔代数 和布尔代数同态 9.4 布尔代数的原子表示 9.5 布尔代数Br2 9.6 布尔表达式及其范式定理

本篇用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。本篇讨论一些典型的代数系统及其性质（包括格）。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

用代数方法来研究数学结构,故又叫代数结构,它将用抽象的方法来研究集合上的关系和运算。 代数的概念和方法已经渗透到计算机科学的许多分支中,它对程序理论,数据结构,编码理论的研究和逻辑电路的设计已具有理论和实践的指导意义。 §1 代数系统的引入 §2 运算及其性质 §3 半群 §4 群与子群 §5 阿贝尔群和循环群 §6* 陪集与拉格朗日定理 §7 同态与同构

代数结构的主要研究对象是各种各样的代数系 统，即具有一些元运算的集合,本章介绍的群就 是具有一个二元运算的代数系统. 本章以群为例讨论代数结构，它的思想和方 法已经渗透到现代科学的许多分支、它的结果 已应用到计算机的不少方面，因此计算机科学 工作者应初步掌握其基本的理论和方法. 读者通过对群的学习应初步掌握对代数系统研 究的一般方法，从简单到复杂、从具体到一般

逻辑代数：描述和研究客观世界中事物间逻辑 关系的数学，它把事物间逻辑关系简化为符号 间的数学运算。 用类似普通代数形式研究逻辑代数是英国数学家 布尔（G. Boole）最早提出，所以也称为布尔代数。 又因为布尔代数中的常量、变量都只有“真”（True ）和“假”（False）两种取值，所以也称为二值代 数