离散数学及其在计算机中的应用(第二次修订)

图书标准信息

• 作者 徐洁磐 惠永涛 宋方
• 出版社 人民邮电出版社
• 出版时间 2002-07
• 版次 3
• ISBN 9787115064042
• 定价 17.00元
• 装帧 其他
• 开本 其他
• 纸张 其他

【内容简介】

离散数学和计算机科学关系密切。本书系统地介绍了离散数学的基础理论，阐述了各个分支之间的联系，还说明了它在计算机中的应用。主要内容包括：集合论、关系、映射和无限集、近世代数、图论、命题逻辑、谓词逻辑、命题逻辑和谓词逻辑的公理化理论、离散数学在计算机中的应用。章末附有习题。本书适合作为计算机专业的学生和自学考试者的教材，也可供从事计算机和数学方面研究的科技工作和教师学习参考。

【目录】

第一章  集合论1  集合和元素的概念2  集合的子集3  全集和空集4  集合的运算、交氏图5  有限集合中的元素数目第二章  关系1  关系的基本概念2  关系的性质3  关系的运算4  关系的闭包运算5  具有特定性质的关系习题二第三章  映射与无限集1  映射2  无限集习题三第四章  近世代数1  代数运算2  代数系统3  同态和同构4  半群和单元半群5  群论6  环，理想，整环和域7  偏序集和格习题四第五章  图论1  图的基本概念  2  连通性3  图的矩阵表示4  权图，最小权通路和最小权回路5  二分图6  平面图7  四色图8  树9  有向图习题五第六章  命题逻辑1  命题与命题联结词2  命题公式3  重言式4  范式习题六第七章  谓词逻辑1  谓词逻辑的基本概念2  谓词逻辑公式及其基本永真公式3  前束范式与斯科林范式4  函数习题七第八章  命题逻辑与谓词逻辑的公理化理论1  公理化理论的基本思想2  命题逻辑的公理系统3  谓词逻辑的公理系统习题八第九章  离散数学在计算机科学中的应用1  离散数学在关系数据库中的应用2  离散数学与纠错码3  谓词逻辑与逻辑程序设计语言