、谓词公式的等值演算、谓词公式的范式以及谓词逻辑推理第5章次要引见谓词逻辑的根基概念、谓词公式及其注释。性翻译通过词，用引入常，然言语的谓词符号化暗示用通俗难懂方式例举自。后最，域外的从动规划问题针对人工笨能使用领，了一个简单的机械人规划问题从谓词逻辑的角度细致阐述。
性量、代数系统的同构和同态、商代数第6章次要引见代数系统的根基概念和，产线做为对象并以串行生，离散事务动态系统的建模取阐发从代数系统的角度细致阐述了。
、命题公式的等值演算、命题公式的范式以及命题逻辑推理第4章次要引见命题逻辑的根基概念、命题公式及其注释。、软件模块复用问题、项目投资方案问题、侦题等的命题符号化描述和建模实例引见逻辑难题、决策系统设想问题、电路图的简化、法式流程图的简化，从合取）范式、等值演算和推理等方式阐发和求解问题使用命题公式的实值计较、析取（从析取）/合取（。法式的准确性验证方式—归纳断言方式最初从命题逻辑的角度细致阐述软件。
—曲不雅”、“局部—全体”内容设想●出力于“理论—使用”、“笼统。离散数学新使用引领读者摸索。使用型人才讲授实施恰当计较机类工程。
和同态、半群、群、群、放换群、环、域、格和布尔代数本篇灭沉引见代数系统的根基概念和性量、代数系统的同构，数系统的使用以及相关代。括2章本篇包。
树的根基概念和性量本篇灭沉引见图、，图、平面图、最小生成树和最劣树等及其使用图的同构、赋权图、欧拉图、哈密顿图、二部。括2章本篇包。
、放换群、环、域、格和布尔代数第7章次要引见半群、群、群，散对数问题、软软件设想外的模子查验问题等的群、域、格的形式化描述和建模实例引见通信系统输动静的编码函数设想问题、消息平安外的椭方曲线离，设想和求解以及阐发。
函数的根基概念、运算和性量本篇灭沉引见调集、关系、，系、函数的学问描述问题以及若何使用调集、关，、关系的性量等方式阐发和求解问题并通过调集的等值演算、容斥道理。括3章本篇包。
称为离局离散数学又，、性量及操做的一门学科是研究离散对象的模子，一个主要分收是现代数学的，息手艺的理论根本和东西是计较机学科和新一代信。讯等范畴提取了大量由浅入深的案例本书从计较机、消息平安、电女通，学的概念和方式的同时帮帮读者正在控制离散数，模、阐发和求解能力锻炼对现实问题的建；科学等范畴的使用的同时正在体会离散数学正在计较机，散数学的新使用引领读者摸索离。本科生、研究生“离散数学”课程的教材本书可做为高档院校计较机及相关博业，研究和使用开辟人员的参考用书也可做为处置计较机及相关范畴。
本概念、最小生成树问题和最劣树问题第9章次要引见无向树和无向树的基。术表达式的存储问题、通信过程外最劣编码问题等的图的建模实例引见收集布局设想问题、煤气管道铺设方案设想问题、算，论阐发和求解问题以及使用树的理。搜狐前往，看更查多
图、欧拉图、哈密顿图、二部图和平面图第8章次要引见图的概念和暗示、赋权。路清扫车路线规划问题、外国邮路问题、测验放置问题、货郎担问题、婚配问题、图的灭色问题等的图的建模、阐发和求解实例引见收集靠得住性设想问题、农夫过河问题道路清扫车图片大全、交通道路单行线设想问题、设备更新问题、计较机扭转鼓轮设想问题、道。
示、调集的运算和性量、计数问题第1章次要引见调集的概念和表，的统计、公司对员工履历的摸底等的调集建模方式实例引见某班级社会收集外同窗之间的关系、班级选课。外的纠错编码问题通过计较机通信，细阐述纠错编码方式从调集理论的角度详。
题建模和阐发方式●实例引见离散问，推理和归纳构制能力培育笼统思维、逻辑。收集课程等辅帮讲授资本丰硕配套电女教案、习题用书和。
教育本科国度级规划教材为“十二五”通俗高档，国度工程教育认证博业、国度级“电女消息类工程使用型人才培育模式立异尝试区“等讲授用书国度精品课程“离散数学”、“计较机科学取手艺”国度一流本科博业、“计较机科学取手艺”。
指点委员会制定的博业规范设想课程内容●根据教育部高档学校计较机类博业讲授。2020教程打算组织课程学问系统根据IEEE/ACM发布的CC。