随着计算机科学技术的迅速发展,作为其数学基础的离散数学也显示出了越来越重要的作用,己成为计算机科学技术的基础理论和计算机应用的有力工具。
离散数学属于现代数学的范畴,涵盖了数学的多个分支,如本书所涉及的数理逻辑、集合论、代数结构和图论等,主要研究离散对象的数量和空间关系。因此,它能充分描述计算机科学离散性的特点。
离散数学是计算机专业的核心课程之一,也是可计算性理论、算法与数据结构、操作系统、编译原理、数据库理论、人工智能和信息论等多门计算机专业课程的基础。它在教给学生离散问题建模、数学理论和计算机算法等知识的同时,也培养了学生的抽象思维能力和缜密的逻辑思维能力。通过本课程的学习,不仅可使学生提高利用离散数学知识分析问题和解决问题的能力,而且可为学生的专业课学习打下坚实的基础。
本书凝聚了作者多年的教学实践经验,在本次重新修订过程中,充分考虑了计算机专业学生和学习者的数学素养,为巩固、深化和扩展学习者所学的知识和技能,添加了部分新知识和新内容,补充了相当数量和���度的例题与习题,并进一步引入了应用实例。
本书的特点是:内容系统,文字流畅,例题丰富,讲解深入浅出。
本书第1、2、4、9~12章由尤枫编写,第3、5~8章由颜可庆编写,全书由尤枫统稿。
朱望规教授审阅了部分书稿并提出了许多有益的见解,赵子江副教授为本节的编写提供了许多帮助,在此向他们表示衷心的感谢。
由于作者水平有限,难免有错误和欠妥之处,希望读者不吝赐教。