普通高等学校“十三五”规划教材

本书将离散数学的主要内容体系结构分为以下5个部分：数理逻辑（第1章命题逻辑和第2章谓词逻辑）、集合论（第3章集合和第4章二元关系与函数）、图论（第5章图论简介和第6章特殊的图类）、代数系统（第7章代数系统简介和第8章格与布尔代数）及组合论（第9章组合数学简介）.

全书内容丰富，条理清晰，层次分明，逻辑性强，阐述深入浅出，每章后配有适量难易程度不同的习题，并在书后给出了习题的参考答案.

本书适合作为普通高等学校计算机和软件工程及相关专业离散数学课程的本科生教材，也可供计算机科学工作者和科技人员阅读与参考

李晓培 湛江幼儿师范专科学校党委书记、校长。（教授、博士）中共党员，理学博士，数学教授，硕士生导师.1987年7月四川师范大学基础数学专业毕业并获理学学士学位，1989年4月广西大学基础数学专业研究生班毕业，2004年6月四川大学应用数学专业博士研究生毕业，获理学博士学位，师从麦结华教授，孙顺华教授，张伟年教授。2000年9月被评为“广东省南粤优秀教师”，2001年6月获广东海洋大学优秀教学成果三等奖。2008年被评为湛江师范学院“教学优秀教师”。2013年3月至今被聘为广东省本科高校数学类专业教学指导委员会委员,2017年6月被聘为广东省委组织部和湛江市委组织部共同建设的湛江市人才驿站高层次专家，2020年5月任粤港澳应用数学中心组织执行委员会委员，负责筹建粤港澳国家应用数学中心（湛江分中心）。2020年10月建成湛江幼儿师范专科学校广东省博士工作站。

离散数学是现代数学的一个重要分支，也是计算机科学与技术、电子信息技术、生物技术等专业的核心基础课程，它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问.一方面，它充分地描述了计算机科学离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后处理离散信息以及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础，特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具.