离散数学
作者: 尹宝林等编著
出版社:高等教育出版社,1998
简介: 本教材由5篇构成。第一篇数理逻辑,内容有:命题逻辑,谓词逻辑,公理系统,归结法原理。第二篇集合论,内容包括:集合的基本概念及其运算,关系,函数,自然数和基数。第三篇图论,内容有:基本概念,通路问题,图的矩阵表示,树,穿程,二分图的匹配,平面图及色数。第四篇代数系统,内容有:基本概念,半群和群,环和域,格和布尔代数,抽象数据类型的代数规范。第五篇有限自动机理论,内容包括:基本概念,有限自动机的简化,有限自动机和正则表达式,有限自动机的综合与应用。
本书内容系统、全面,概念清晰,叙述严谨精炼,推理详尽严格,语言简明易懂,各部分独立成篇,并有大量例题和习题,便于读者理解和掌握有关内容。本书可作为大学本科计算机专业离散数学课程的教材,也可供计算机科学与工程技术人员学习参考。