前言
离散数学离散数学是数学中一门有着实际应用的理论应用数学,正是由于它的发展才推动了数字计算机和图论的发展。现实生活中电子电路的设计、列车线路的调度、城市结点间的最优主干路径的设计、地图着色等问题都是离散数学着力解决的内容。
为了适应高校教学的不断改革,强化应用,体现特色,我们结合中医药大学专业特点编写了本书,力图让学生看懂、学明白,抛开了大量专业的晦涩难懂的描述,结合实际应用和教学实践,用通俗化的语言进行描述。我们对本书的章节进行了精心安排,理论结合实际应用,将全书分为5章: 命题逻辑、谓词逻辑、集合论、二元关系和图论,删除了晦涩难懂的数论部分。每章后配有大量习题。
本书第1、5章由高华编写,第2~4章由杨文国编写,书后习题由石莹、吕佳萍、沈晓婧编写,全书由蔡云、张倩、胡婷婷校对,由黄鑫海、袁建军、石仁祥完成统稿。
本书适合3学分的离散数学教学计划使用,也可供有兴趣的科技工作者自学或参考。
全书图形由Inkscape作图,公式由LaTeX编写,图形执行SVG1.1标准,LaTeX执行v3.0标准。
本书是江苏省教育科学“十三五”规划2018年度课题: 基于任务驱动下分块化的大学数学教学改革,项目编号: D/2018/01/76。本书也是全国高等院校计算机基础教育研究会计算机基础教育教学研究项目,项目编号: 2019AFCEC221。同时,本书还是教育部产学合作协同育人项目,项目编号: 201802271035。
最后感谢南京中医药大学信息技术学院领导和数学教研室同仁的大力支持。感谢南京林业大学高华博士的技术支持。
限于作者水平,书中难免有错误,希望读者不吝赐教。
杨文国高华2019年7月