离散数学课程是一门重要的专业基础课,在计算机类专业教学体系中起着重要的基础理论支撑作用。本书对计算机类专业在本科阶段最需要学习的离散数学基础知识做了系统地介绍,力求概念清晰,注重实际应用。全书共分七章,内容包括命题逻辑、谓词逻辑、集合、关系、图、树和代数结构,并含有较多的与计算机类专业有关的例题和习题。
本书叙述简洁、深入浅出、注重实践和应用,主要面向普通高等院校计算机类专业的本科学生,也可以作为大学非计算机类专业学生的选修教材和计算机应用技术人员的自学参考书。
单显明,男,1971年生,沈阳工学院信息与控制学院教授,长期从事人工智能、程序设计、数据建模与仿真等方向研究。主编参编20余部教材及专著,其中,《Python程序设计案例教程》2021年在北京理工大学出版社出版,发表学术文章50余篇,其中SCI检索1篇,EI检索7篇, 核心期刊12篇。主持了军队多项武装装备重点课题研究,其中10项成果获军队科技进步奖,其中科技进步一等奖1项,科技进步二等奖1项,科技进步三等奖8项,是沈阳工学院教学名师。