机读格式显示(MARC)

• 000 01384nam0 2200301 450

• 001 0000188546

• 005 20210502215300.0

• 010 __ |a 978-7-302-52031-3 |d CNY49.00

• 100 __ |a 20190218d2019 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 离散数学 |A li san shu xue |f 朱保平 ... [等] 编著

• 210 __ |a 北京 |c 清华大学出版社 |d 2019.2

• 215 __ |a 287页 |c 图 |d 26cm

• 300 __ |a 全国高等学校计算机教育研究会教材建设立项项目

• 304 __ |a 题名页题: 朱保平, 陆建峰, 金忠, 张琨编著

• 320 __ |a 有书目

• 330 __ |a 本书是全国高等学校计算机教育研究会支持的立项教材, 较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带, 夯实程序设计思路, 拓展数据和关系的表示方法, 强化从实例计算到模型计算和问题一形式化一自动化 (计算机化) 等方法, 旨在为后续的科学研究打下良好的基础。全书由命题演算基础, 命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集台、关系、函数与集合的势图论、树和有序树、群和环格与布尔代数共12章组成。

• 333 __ |a 本书可作为高等院校计算机科学与技术及相关专业离散数学课程教材, 也可作为教师、研究生或软件技术人员的参考书

• 606 0_ |a 离散数学 |A li san shu xue

• 690 __ |a O158 |v 5

• 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 湖北三新 |c 20190218

• 905 __ |a GDPTC |d O158/15