西安交通大学-刘国荣-离散数学 第六章 代数系统[1].pptVIP

离散数学 西安交通大学 电子与信息工程学院 计算机软件所 刘国荣 离散数学 代数系统在计算机科学中的应用 代数系统是一种数学结构，代数的概念和方法是研究计算机科学的重要数学工具。在利用计算机科学解决实际问题时都离不开数学模型，而构造一个现象或过程的数学模型就需要某种数学结构，而代数结构就是最常用的数学结构之一。如描述机器可计算的函数、研究算法计算的复杂性、刻划抽象数据结构、程序设计语言的语义基础、逻辑电路设计和编码理论等都需要代数知识。代数系统中的群论在计算机安全领域得到广泛关注，比如有名的椭圆曲线算法，半群在形式语言与自动机中都有具体的应用。 另外，计算机科学中的有限自动机理论、开关网络理论、计算机逻辑设计等领域都直接地应用了布尔代数的结论。 离散数学 离散数学 第六章 代数系统 §1.代数系统的基本概念 　　　　 §2.代数系统的同态和同构 　　　　 §3.半群与单子 　　　　 §4.群 §5.环 §6.域 　　　　 §7.同余关系 离散数学