机读格式显示(MARC)
- 000 01318nam0 2200313 450
- 010 __ |a 978-7-302-52031-3 |d CNY49.00
- 099 __ |a CAL 012019030601
- 100 __ |a 20190321d2019 em y0chiy50 ea
- 200 1_ |a 离散数学 |A li san shu xue |f 朱保平 ... [等] 编著
- 210 __ |a 北京 |c 清华大学出版社 |d 2019
- 215 __ |a 287页 |c 图 |d 26cm
- 300 __ |a 全国高等学校计算机教育研究会教材建设立项项目
- 304 __ |a 编著还有: 陆建峰, 金忠, 张琨
- 330 __ |a 本书是全国高等学校计算机教育研究会支持的立项教材, 较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带, 夯实程序设计思路, 拓展数据和关系的表示方法, 强化从实例计算到模型计算和问题一形式化一自动化 (计算机化) 等方法, 旨在为后续的科学研究打下良好的基础。全书由命题演算基础, 命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集台、关系、函数与集合的势图论、树和有序树、群和环格与布尔代数共12章组成。
- 606 0_ |a 离散数学 |A li san shu xue |x 高等学校 |j 教材
- 701 _0 |a 朱保平 |A zhu bao ping |4 编著
- 701 _0 |a 陆建峰 |A lu jian feng |4 编著
- 701 _0 |a 金忠 |A jin zhong |4 编著
- 801 _0 |a CN |b CAU |c 20190705
- 905 __ |a CAU |d O158/117