作者: 朱保平、陆建峰、金忠、张琨
出版社:清华大学出版社
ISBN:9787302520313
上架时间:2019-3-5
出版日期:2019 年2月
开本:16开
版次:1-1
内容简介:本书是全国高等学校计算机教育研究会支持的立项教材,较全面地介绍了离散数学的基本理论及基本方法。本书以离散数学课程重要知识点为纽带,夯实程序设计思路,拓展数据和关系的表示方法,强化从实例计算到模型计算和问题—形式化—自动化(计算机化)等方法,旨在为后续的科学研究打下良好的基础。全书由命题演算基础、命题演算的推理理论、谓词演算基础、谓词演算的推理理论、递归函数论、集合、关系、函数与集合的势、图论、树和有序树、群和环、格与布尔代数共12章组成。本书可作为高等院校计算机科学与技术及相关专业离散数学课程教材,也可作为教师、研究生或软件技术人员的参考书。
离散数学
提取码:无
解压码:无
离散数学
提取码:无
解压码:无
离散数学
提取码:无
解压码:无
离散数学
提取码:无
解压码:无
离散数学
提取码:
kh97
复制
解压码:
baomam.cn
复制
7B4电子书网所提供的电子书、电子书文档等资源,来源于互联网收集.版权归原作者所有,电子书资源只做学习和交流使用,下载后请在24小时内删除文件。虽然您在本站可以找到这些电子书资源,但除了可以在网上浏览或下载之外,我们并未授权您将这些电子书资源用于其它任何商业用途。如果因为您将本站资源用于其他用途而引起的纠纷,本站不负任何责任。本站发布的内容若侵犯到您的权益,请联系站长删除,我们将及时处理! 站长邮箱:181989211@qq.com
感谢分享
srfsh