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

2.1 等值定理 2.2 等值公式 2.2.3 置换规则 2.2.4 等值演算举例 2.4 联结词的完备集 2.4.1 命题联结词的个数 2.4.2 联结词的完备集 2.5 对偶式 2.6 范式

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

◼ 二元运算定义及其实例 ◼ 一元运算定义及其实例 ◼ 运算的表示 ◼ 二元运算的性质  交换律、结合律、幂等律、消去律  分配律、吸收律 ◼ 二元运算的特异元素  单位元  零元  可逆元素及其逆元

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

8.4 平面图 ▪ 平面图与平面嵌入 ▪ 平面图的面、有限面、无限面 ▪ 面的次数 ▪ 极大平面图 ▪ 极小非平面图 ▪ 欧拉公式 ▪ 平面图的对偶图

1．格的概念，偏序集上的并运算、 偏序集上的交运算。 2．分配格、有补格； 3．布尔代数、Stone表示定理及其推 论，布尔表达式、布尔函数、开关代数的 概念

–集合的等势及其性质 –重要的等势或不等势的结果 –集合的优势及其性质 –自然数与自然数集合 –集合的基数 –可数集

◼ 有限集合  元素的个数称为该集合的基数；  满足包含排斥原理。 ◼ 无限集合  元素无限多，如：自然数集合N、整数集I、实数集R等。 ◼ 问题：  对于这样的集合有没有基数呢？  如果有，基数是多少？  无限集合之间有无大小的差别? ◼ 本章主要借助于函数讨论集合的所谓“大小”问题。这里用到自然数集合这个重要的概念讨论无限集

 归纳  数学归纳法  强数学归纳法  运用良序公理来证明  递归  递归定义  结构归纳法  递归算法