离散数学及其在计算机中的应用

作者：  徐洁磐，朱怀宏，宋方敏编著

出版社：人民邮电出版社,2005

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

应用离散数学

作者：  方景龙，王毅刚编著

出版社：人民邮电出版社,2005

简介：　　《应用离散数学》从应用的角度介绍离散数学。 　　《应用离散数学》共分7章，分别是：命题逻辑、谓词逻辑、集合与关系、群环域、格与布尔代数、图论和有向图。《应用离散数学》体系严谨、叙述深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。特别是在每章后面增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。这对于学生学习、理解和应用离散数学理论有很大的帮助。 　　《应用离散数学》可作为普通高等学校计算机科学与技术或相关专业的本科生教材。