ISBN/价格: | 978-7-302-67803-8:CNY79.80 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 离散数学/.宋弢 ... [等] 编著 |
出版发行项: | 北京:,清华大学出版社:,2025 |
载体形态项: | 300页:;+图:;+26cm |
提要文摘: | 本书根据作者多年从事离散数学教学和实践经验编写而成, 系统地阐述了离散数学的经典内容, 从离散结构的形式化表示, 到各类离散结构及其数学模型的描述, 讲解有关集合、数理逻辑、图论以及代数系统的基本概念、定理、证明方法以及相关算法, 逐步建立离散化、公理化和系统化的计算机专业意识, 并通过紧密联系计算机学科的的应用实例, 展示离散数学理论在软件工程和计算机科学与技术中的基础作用和强大应用, 特别强调计算思维和理论应用能力的培养。全书共11章, 包括集合、关系、函数、命题逻辑、谓词逻辑、图和树, 以及代数系统等内容。本书逻辑结构严谨, 内容联系紧密, 逻辑清晰, 通俗易懂, 与软件工程和计算机科学与技术的理论和实践密切结合, 便于自学。 |
题名主题: | 离散数学 |
中图分类: | O158 |
个人名称等同: | 宋弢 编著 |
个人名称等同: | 张红霞 编著 |
个人名称等同: | 李华昱 编著 |
记录来源: | CN SDL 20250529 |