Discrete mathematics

作者：  尹宝林等编著

出版社：高等教育出版社,2011

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

离散数学

作者：  尹宝林等编著

出版社：高等教育出版社,1998

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

离散数学

作者：  尹宝林等编著

出版社：高等教育出版社,2004

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