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

1 The Foundations: Logic and Proofs 2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices 3 Algorithms 4 Number Theory and Cryptography 5 Induction and Recursion 6 Counting 7 Discrete Probability 8 Advanced Counting Techniques 9 Relations 10 Graphs 11 Trees 12 Boolean Algebra 13 Modeling Computation

树是一类结构较为算单的图途极 泛的散数学模型,特别是 它在许算机科学中用得最多因此在学 习时应很好地棠握好诸如树的充要条件 生成树、最优生成根树、树的各 种法

问题的提出 1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的

◼ 有序对 ◼ 笛卡儿积及其性质 ◼ 二元关系的定义 ◼ 二元关系的表示 基本运算定义 定义域、值域、域 逆、合成、限制、像 ◼ 基本运算的性质 ◼ 幂运算 定义 求法 性质

一、等价关系的定义与实例 二、等价类及其性质 三、商集与集合的划分 四、等价关系与划分的一一对应 五、偏序关系 六、偏序集与哈斯图 七、偏序集中的特定元素

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

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

▪等值式 ▪基本等值式 ▪等值演算 ▪置换规则 ▪复合联结词  排斥或  与非式  或非式 ▪真值函数 ▪联结词全功能集

◼ 半群与独异点  半群定义与性质  交换半群与独异点  半群与独异点的子代数和积代数  半群与独异点的同态 ◼ 群  群的定义与性质  子群与群的直积  循环群  置换群