§7.1 引言 §7.2 粒子物理研究中计算机代数的应用 §7.3 Mathematica 语言编程

1.逻辑代数的基本概念与基本运算 2.逻辑函数及其表示方法 3.逻辑代数的基本运算的定律、定理和重要规则 4.逻辑代数的简化

关系代数概述 一、关系是一个属性数目相同的元组的集合。 二、关系代数

6.1代数系统的基本概念 6.2二元运算的性质 6.3子代数和积代数

6.1 代数系统的基本概念 6.2 二元运算的性质 6.3 子代数和积代数

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

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

2.5关系代数 一概述 二、传统的集合运算 三、专门的关系运算

第一节代数结构概述 第二节置换(1) 第二节置换(2) 第三节群 第四节子群

中国科学技术大学：《程序设计语言理论》课程教学资源（参考教材）第2章 泛代数和代数数据类型