本书的主要内容包括集合论、图论、近世代数和数理逻辑4部分,共12章。集合论的内容包括集合及其运算、映射、关系、无穷集合及其基数; 图论的内容包括图的基本概念、树与平面图、有向图与有向树; 近世代数的内容包括群、环与域、格与布尔代数; 数理逻辑的内容包括命题逻辑和谓词逻辑。每节后都配有难度不同的习题供读者练习。 本书的内容既保持“离散数学”课程的沿续性,又具有时代感,强调基础性和理论性,体现先进性、应用性、直观性和启发性。在内容阐述上力求严谨、翔实,论述严格,语言精练,通俗易懂,重点、难点突出。习题设计由浅入深,层次分明。 本书可以作为普通高等学校计算机类、电子信息类专业的“离散数学”课程教材,也可以供从事相关工作的人员参考。
《区块链——构建信任和价值的新型基础设施》系统论述区块链的技术原理、区块链基础设施建设现状以及区块链未来的发展,介绍了区块链的体系结构、相关密码学原理、共识算法、智能合约、区块链平台、区块链基础设施建设现状以及面临的问题,最后介绍了区块链发展的未来——Web 3.0与元宇宙。