前言 离散数学是现代数学的一个重要分支，也是计算机科学的理论基础，它以离散量为研究对象，研究各种各样的离散量的结构及其关系，这正与计算机所处理的对象相一致，因此成为计算机科学的基本工具。它的前导课程为“线性代数”，可以为后续课程，如“数据结构”、“数据库”、“信息科学”、“算法设计”等课程提供必要的数学基础。 在本书编写过程中，不但考虑了其与前导课程的关系，也考虑了其与后续课程的关系，注重理论与实践的结合。把理论应用于实际，解决实际问题，这是本书的一大特色。对于每一章的理论，都通过例题或习题应用于实际，解决了实际应用的问题。本书详细论述了相关概念及定理，对于大部分定理，都给出了证明推理，学生不仅要学会理解定理，更重要的是要学习数学思维，为今后的学习和研究打下坚实的数学基础。 本书主要包括数理逻辑、集合论、图论和代数系统四部分内容。第一部分数理逻辑由高志军编写，第二部分集合论由王光辉编写，第三部分图论由刘忠艳编写，第四部分代数系统由付喜辉编写。 本书既可作为计算机及相关专业的本科生教材，也可以作为计算机相关资格水平考试的参考书，同时也可作为从事计算机软件、硬件开发和应用人员的指导书。 由于作者水平有限，书中有不妥或疏漏之处在所难免，恳请读者们批评指正，多提出宝贵意见，便于今后改正。 编者 2016年3月

• 课件下载
• 样章下载
• 暂无网络资源

扫描二维码
下载APP了解更多

版权图片链接