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