离散数学 snb txt 网盘 pdf kindle 2025 lit 下载

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

本书可作为高等院校计算机科学与技术及相关专业离散数学课程教材,也可作为教师、研究生或软件技术人员的参考书。

暂无相关目录，正在全力查找中！

暂无相关内容，正在全力查找中

暂无出版社相关信息，正在全力查找中！

暂无相关书籍摘录，正在全力查找中！

在线阅读地址：离散数学在线阅读

在线听书地址：离散数学在线收听

在线购买地址：离散数学在线购买

暂无原文赏析，正在全力查找中！

书籍介绍

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

本书可作为高等院校计算机科学与技术及相关专业离散数学课程教材,也可作为教师、研究生或软件技术人员的参考书。