作者	(美)约翰逊巴夫
出版社
出版时间	2004-03-19

特色：

本书作为离散数学的基本教材，把握关键问题并以全新的编排方式通过精选的大量实例，深入浅出地介绍了数理逻辑、组合算法、图论、布尔代数、网络模型、形式语言与自动机理论等与计算机科学密切相关的前沿课题，既着重于各部分之间的紧密联系，又深入探讨各部分内容的概念、理论、算法和实际应用，内容叙述严谨、推演详尽。各章节配有相当数量的习题，书后的提示与答案为读者迅速掌握有关知识提供有效的帮助。