本书的主要内容包括集合论、图论、近世代数和数理逻辑4部分,共12章。集合论的内容包括集合及其运算、映射、关系、无穷集合及其基数; 图论的内容包括图的基本概念、树与平面图、有向图与有向树; 近世代数的内容包括群、环与域、格与布尔代数; 数理逻辑的内容包括命题逻辑和谓词逻辑。每节后都配有难度不同的习题供读者练习。 本书的内容既保持“离散数学”课程的沿续性,又具有时代感,强调基础性和理论性,体现先进性、应用性、直观性和启发性。在内容阐述上力求严谨、翔实,论述严格,语言精练,通俗易懂,重点、难点突出。习题设计由浅入深,层次分明。 本书可以作为普通高等学校计算机类、电子信息类专业的“离散数学”课程教材,也可以供从事相关工作的人员参考。
本书主要介绍数字孪生的基本知识和实现,包括数字孪生的发展历史、数字孪生的特征和关键技术、系统架构及数字孪生的应用场景等。接着介绍了实现数字孪生所必需的几大关键技术、目前国内外常见的实现工具和数字孪生集成开发平台。以实战项目作为案例,融会贯通基本知识,引导读者由浅入深的学习数字孪生。本书选取ThingJS数字孪生平台作为数字孪生的开发平台,从ThingJS的基本语法开始到场景模型的搭建、数据可视化、数据对接、场景数据的交互等进阶的应用,由浅入深进行介绍,然后通过实际的数字孪生企业项目案例进行教学和实践,从需求分析、方案设计到具体实现过程进行介绍,让学生对实现数字孪生项目的全流程有更深入的理解。 本书共8章,第1~3章主要介绍数字孪生的概述、关键技术和市场上常见的数字孪生实现平台工具;第4~6章讲述ThingJS数字孪生平台的基本语法和物联网设备对接知识,逐步深入到ThingJS实战项目的运用;第7章和第8章通过两个实际的综合项目案例,从需求分析开始,系统深入地介绍数字孪生项目的全流程实现过程。本书示例代码丰富,实际性和系统性较强,并配有视频讲解,助力读者透彻地理解书中的重点、难点。 本书既适合初学者入门,精心设计的案例对于工作多年的开发者也有参考价值,并可作为高等院校和培训机构相关专业的教学参考书。