离散数学出版时间： 2019年内容简介　　本书是全国高等学校计算机教育研究会支持的立项教材，较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带，夯实程序设计思路，拓展数据和关系的表示方法，强化从实例计算到模型计算和问题—形式化—自动化（计算机化）等方法，旨在为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算...

上一篇：线性代数与线性规划 [宋建梅，董竹青，景滨杰 编著]
下一篇：离散数学及其在计算机科学中的应用 英文版