离散数学(第30讲).pptVIP

计算机学院 计算机科学与工程学院 冯伟森 Email：fws365@scu.edu.cn 2011年11月24日星期四5时3分2秒 * 计算机学院 * 主要内容 二元运算 代数系统 特异元 半群与含幺半群 * 计算机学院 * 代数系统 代数系统又称为代数结构，群、环、域、格和布尔代数是典型的代数系统。代数系统理论对于可计算模型研究、抽象数据结构、形式语言理论、程序设计语言语义分析等许多方面产生的影响是深远的。 代数系统理论提供了对各种表面上不同的实际问题高度抽象的途径，使人们更能把握住事物的本质，进行形式化的研究，又反过来指导实践的深入。 * 计算机学院 * 二元运算 定义14.1：设S是一个非空集合，映射（或函数）f ：Sn→S称为S上的n元代数运算，简称n元运算(n-ary Operation)。当n＝1时，称为一元运算；当n＝2时，称为二元运算。 一般采用符号“·”表示二元运算符。 * 计算机学院 * 运算的性质 定义14.2：设“·”是一个S上的二元代数运算，如果 对任意的a, b∈S，都有a·b∈S，则称“·”在S上是封闭的； 对任意的a, b∈S，都有a·b＝b·a 则称“·”在S上是可交换的，或称满足交换律； 对任意的a, b，c∈S，都有 (a·b)·c＝a·(b·c) 则称“·”在S上是可结合的，或称满足结合律； 对任意的a∈