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