离散数学

出版时间：2004-3  出版社：电子工业出版社  作者：约翰逊巴夫  页数：621  字数：902000  
Tag标签：无  

内容概要

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

书籍目录

1. 逻辑和证明2. 数学的语言3. 算法4. 记数方法和分类原理5. 递推关系6. 图论7. 树8. 网络模型和Petri网9. 布尔代数和组合线路10. 自动机、文法和语言11. 计算几何附录A  矩阵附录B  参考文献附录C  部分习题的提示和答案附录D  符号表