书目详细信息
： 离散数学
书目信息 机读格式(MARC)
| ISBN/价格： | 978-7-302-52031-3:CNY49.00 |
|---|---|
| 作品语种： | chi |
| 出版国别： | CN 110000 |
| 题名责任者项： | 离散数学/.朱保平 ... [等] 编著 |
| 出版发行项： | 北京:,清华大学出版社:,2019.08 |
| 载体形态项： | 287页:;+图:;+26cm |
| 一般附注： | 全国高等学校计算机教育研究会教材建设立项项目 |
| 提要文摘： | 本书是全国高等学校计算机教育研究会支持的立项教材, 较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带, 夯实程序设计思路, 拓展数据和关系的表示方法, 强化从实例计算到模型计算和问题一形式化一自动化 (计算机化) 等方法, 旨在为后续的科学研究打下良好的基础。全书由命题演算基础, 命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集台、关系、函数与集合的势图论、树和有序树、群和环格与布尔代数共12章组成。 |
| 题名主题： | 离散数学 高等学校 教材 |
| 中图分类： | O158-43 |
| 个人名称等同： | 朱保平 编著 |
| 个人名称等同： | 陆建峰 编著 |
| 个人名称等同： | 金忠 编著 |
| 记录来源： | CN CAU 20190705 |
| 记录来源： | CN YNAU 20200722 |