离散数学
读者对象:本书可以作为高等院校计算机科学与技术、软件工程、智能科学与技术、人工智能、数据科学与大数据技术等相关专业学生的教材,也可以作为考研及信息领域科研工作者的参考书
本书较为系统地介绍了计算机科学与技术、软件工程、智能科学与技术、人工智能、数据科学与大数据技术等信息类或智能类相关专业培养所必需掌握的离散数学基础知识,全书分为四个部分(数理逻辑、集合论、代数结构和图论),共7章。第1章介绍命题及其命题逻辑;第2章介绍一阶谓词逻辑及其推理理论;第3章介绍集合的基本概念和性质;第4章介绍二元关系和函数的基础知识;第5章介绍代数系统;第6章介绍几种典型的代数系统;第7章介绍图论的初步内容和一些特殊图及其性质。本书各章之后配有适当难度的习题,便于学生课后练习,书中也提供了部分涉