朱保平 & 陆建峰 & 金忠 & 张现的作品

离散数学

朱保平 & 陆建峰 & 金忠 & 张现

评分 暂无

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