离散数学

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