书目详细信息
： 离散数学基础教程
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-70478-2:CNY69.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 离散数学基础教程/.姜守旭, 陈建文, 王义和编著 |
| 出版发行项： | 北京:,清华大学出版社:,2025.12 |
| 载体形态项： | xi, 295页:;+图:;+26cm |
| 丛编项： | 高等学校计算机专业系列教材 |
| 提要文摘： | 本书结合了作者教学团队在哈尔滨工业大学讲授“离散数学”课程40余年的经验和体会, 根据本科生教学的实际需要选择和组织有关内容撰写而成, 包含了该课程需涵盖的概念、理论、方法和应用, 主要包括四部分内容: 集合论、逻辑演算、图论与代数系统。集合论是整个数学的基础, 也是计算机科学的基础, 计算机科学领域中的大多数基本概念和理论, 几乎均采用集合论的有关术语来描述和论证; 图论的基本知识则将始终陪伴着每一个计算机工作者的职业生涯; 数理逻辑是用数学方法研究推理的形式结构和推理规律的学科, 在电子线路、机器证明、自动化系统、编译理论、算法设计方法、自动程序设计、CAD方面有着广泛的应用, 逻辑演算是数理逻辑的基础; 代数系统用于培养数学思维, 侧重于将现有的知识系统化、形式化和抽象化, 对于抽象数据类型、形式语义的研究很有用处, 可以作为程序语言设计、编译器设计、计算机网络设计等的表示工具。 |
| 题名主题： | 离散数学 高等学校 教材 |
| 中图分类： | O158 |
| 个人名称等同： | 姜守旭 编著 |
| 个人名称等同： | 陈建文 编著 |
| 个人名称等同： | 王义和 编著 |
| 记录来源： | CN 湖北三新 20260826 |
| 记录来源： | CN GGNY 20260917 |