机读格式显示(MARC)
- 000 01124nam0 2200277 450
- 010 __ |a 978-7-302-52031-3 |d CNY49.00
- 100 __ |a 20190508d2019 em y0chiy50 ea
- 200 1_ |a 离散数学 |A li san shu xue |f 朱保平[等]编著
- 210 __ |a 北京 |c 清华大学出版社 |d 2019
- 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 编著
- 801 _0 |a CN |b DQNU |c 20191130
- 905 __ |a DQNU |d O158-43/Z86 |s 3