本书介绍了离散数学基础知识和应用方法，全书共分为4篇，第1篇为数理逻辑，内容包括命题逻辑和一阶逻辑；第2篇为集合论，内容包括集合、二元关系和函数；第3篇为代数系统，内容包括代数结构和格与布尔代数；第4篇为图论，内容包括图的基本概念及表示、几类重要的图和树。 本书在内容安排上，突出由浅入深、循序渐进、通俗易懂的特点，各章配备了大量的例题，其内容与计算机科学的理论与实践密切结合，便于自学。本书适合作
电子书
电子书
本书从应用的角度介绍离散数学。全书共分6章，分别是命题逻辑、谓词逻辑、集合与关系、代数结构、图和有向图。全书体系严谨，内容讲解深入浅出，并配有大量与计算机科学相关的有实际背景的例题和习题。在每章最后增加了上机作业，可增强学生对课堂教学内容的理解和掌握，提高学生的学习兴趣和动手能力。全书以二维码的形式提供了教学视频，有利于教师进行线上线下混合式教学，帮助学生更好地学习、理解和应用离散数学理论。本书可
电子书
本书介绍计算机相关专业必需的离散数学基础知识，包括离散数学4大分支的基础理论——数理逻辑、集合论、代数系统和图论。全书共9章，依次为命题逻辑、谓词逻辑、集合、关系、函数、代数结构、格与布尔代数、图论及其应用、树。本书包含较多的与计算机科学和工程有关的例题和习题。
电子书
本书共10章，介绍了数理逻辑、集合与关系、图论，以及代数系统与布尔代数中的基本概念、算法、定理及其证明方法。本书不仅注重基本概念的描述，还特别注重阐述有关离散数学的证明方法及离散数学问题求解的算法，并且举出大量的应用实例。
电子书
本书在学界已有研究的基础上，利用敦煌、新疆等地出土的汉藏文献、金石碑铭、汉藏传世史籍等，对唐前期吐蕃在河陇地区的进出与军政建制，吐蕃统治河陇西域时期的节度使、都督、部落、部落使等问题进行研究，并对其中反映的汉藏文化交流问题做一些考察辨析，说明自己的见解，以期能够抛砖引玉，将吐蕃统治河陇西域历史和这一时期的汉藏文化交流史研究进一步引向深入。
电子书
离散数学是现代数学的一个重要分支，是计算机和软件科学理论的基础。本书是针对“碎片化”教学和“翻转课堂”教学模式改革编写的新型教材，共包括4个方面的内容：基础知识，逻辑，关系与函数，图与树。每部分都包含大量习题，并在书末附有部分习题的参考答案。本书着重讲解离散数学的基本概念、基本方法及应用，内容精练、语言流畅、习题丰富，可作为高等院校计算机或软件工程专业不同方向、采用“翻转课堂”教学模式“离散数学”
