新書推薦：
《
老年膳食与营养配餐 第2版
》
售價：HK$
49.5
《
中国丝绸艺术大系·广东省博物馆卷
》
售價：HK$
1078.0
《
海外中国研究·中国乐书：从战国到北宋
》
售價：HK$
162.8
《
明代赋役与白银——梁方仲著作集
》
售價：HK$
79.2
《
量子纠缠
》
售價：HK$
63.8
《
拥抱真实自我：内在小孩的探索和疗愈
》
售價：HK$
64.9
《
黑暗王后：缔造中世纪世界的血腥竞争
》
售價：HK$
129.8
《
小行星猎人：贝努小行星生命起源样本采集任务全记录
》
售價：HK$
63.8
|
| 編輯推薦： |
? 系统性强，注重离散数学各知识点间的综合运用。
? 适合自学，细化知识点内涵与外延，论述详略得当。
? 兼顾实践，通过编程探索离散数学基本概念与基本算法。
? 联系实际，拓展介绍离散数学方法的自动化实现问题。
|
| 內容簡介： |
本书在湖南省一流本科课程“离散数学”的基础上，结合十几年针对不同培养类型学生的教学实践经验编写而成。全书共 7章，系统介绍集合、关系、函数、命题逻辑、谓词逻辑、自然推理系统，以及图论的基本概念、定理、算法和常用证明方法。本书不仅重视离散数学的基础知识，还特别注重通过程序设计展示离散数学基本概念与基本算法；不仅关注每一章知识的应用，还着重展示多章节内容之间的关联与综合应用；不仅介绍离散数学问题基于基本概念与定理的解决方法，还重视这些解决方法的自动化问题。充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强大应用。
本书体系严谨，内容丰富，配有丰富的习题与在线实训。本书可作为计算学科各专业及其他相关专业的教材，也可作为从事相关专业的工程师和研究人员的参考书籍。
|
| 目錄：
|
第 1章集合 1
1.1集合基础 1
1.2集合运算 8
1.3自然数与归纳法 18
1.4笛卡儿乘积 27
1.5小结 32
第 2章关系 33
2.1关系基础 33
2.2关系图与关系矩阵 42
2.3关系的运算 47
2.3.1逆关系 47
2.3.2关系的合成 50
2.4关系的闭包 57
2.5相容关系 64
2.6等价关系 71
2.7序关系 78
2.8小结 88
第 3章函数 89
3.1函数基础 89
3.2函数合成 98
3.3逆函数 105
3.4特征函数 111
3.5序数 118
3.6基数 122
3.7小结 132
第 4章命题逻辑 133
4.1命题及符号化 133
4.2合式公式 143
4.3等价与蕴含 152
4.4范式与判定问题 161
4.5小结 169
离散数学
第 5章谓词逻辑 170
5.1符号化 170
5.2合式公式 179
5.3语义证明方法 189
5.4永真式判定 193
5.5小结 199
第 6章自然推理系统 200
6.1自然推理系统基础 200
6.2常用证明策略与逆向分析方法 206
6.3综合应用 212
6.4小结 219
第 7章图论基础 220
7.1图的基本概念 220
7.2图同构 237
7.3图上漫游 244
7.4特殊图 258
7.5树 269
7.5.1无向树 269
7.5.2有向树 276
7.6二部图 282
7.7平面图 290
7.8小结 299
参考文献 300
|
| 內容試閱：
|
习近平总书记在党的二十大报告中指出：教育、科技、人才是全面建设社会主义现
代化国家的基础性、战略性支撑。必须坚持科技是第一生产力、人才是第一资源、创新
是第一动力，深入实施科教兴国战略、人才强国战略、创新驱动发展战略，这三大战略
共同服务于创新型国家的建设。报告同时强调：推动战略性新兴产业融合集群发展，构
建新一代信息技术、人工智能、生物技术、新能源、新材料、高端装备、绿色环保等一
批新的增长引擎。
计算是推动战略性新兴产业融合集群发展，构建新一代信息技术、人工智能、生物
技术、新能源、新材料、高端装备、绿色环保等一批新的增长引擎的 工具之一。“离
散数学”作为计算学科相关各专业的一门重要学科基础课或专业必修课，其重要性已得
到广泛的认可。“离散数学”课程为各专业提供理论基础，承担着培养学生严谨思维能
力、增强学生应对复杂问题及复杂问题求解能力，以及培养学生创新能力、提高学术素
养的重要任务。
因此，我们认为离散数学不应仅仅是一门纯数学课程，还应注重离散数学与各学科
间的关系，注重离散数学基础知识在相关课程中的体现与应用，注重借助计算解决离散
数学的自身问题。但在实际教学中，本课程的学习与各专业后续课程的教学存在脱节情
况，例如，将本课程当作纯数学课程讲授、所学内容难以找到合适的应用加以实践、所
学内容与软件开发脱节等。
在湖南省一流本科课程“离散数学”的基础上，结合十几年针对不同培养类型学生
的教学实践经验，我们撰写了本书，力求兼顾理论教学与计算学科各专业教学，展示以
课程自身内容为载体的应用及实践，链接各专业后续课程。
本书内容覆盖集合论（集合、关系、函数）、数理逻辑基础（命题逻辑、谓词逻辑、
自然推理系统）和图论基础。本书共 7章：集合（第 1章）、关系（第 2章）、函数（第
3章）、命题逻辑（第 4章）、谓词逻辑（第 5章）、自然推理系统（第 6章)、图论基础（第 7章)。
本书不仅重视离散数学的基础知识，还特别注重通过程序设计展示离散数学的基本
概念与基本算法；不仅关注每一章知识的应用，还着重展示多章节内容之间的关联与综
合应用；不仅介绍离散数学问题基于基本概念与定理的解决方法，还重视这些解决方法
的自动化问题。充分展示了离散数学在软件工程和计算机科学与技术中的基础作用和强
大应用。
在应用环节，除展示各章节知识如何用于离散建模外，还以某种程序设计语言为载
体（如 Python），以离散数学问题（集合、谓词逻辑、图论基础）或离散建模的问题为
对象，实践问题建模、求解、编程，并选取来自“离散数学”课程内容的案例，引导读
者进行一定难度的编程实践。
离散数学
离散数学的相关教材众多，本书在借鉴现有教材特点的基础上，根据编者教学实践的反馈与思考，进行了针对性改进，形成了本书的特点，力求能达到以下效果。
. 适合读者自学：在将基本概念、定理等严格定义的基础上，以通俗易懂的方式进行解读，以示例、例题与程序代码等形式，帮助读者巩固所学知识。
. 支撑多能力融合：通过严谨证明、多章节知识综合建模、自动化问题求解等方式，将数学能力培养与问题求解能力培养融为一体。
. 程序设计不断线：通过适当的实训项目，承接前导程序设计相关课程，为后续课程积累一定的软件开发实践经验，使得程序设计能力的训练不间断。
. 弥补欠缺环节：计算学科涉及的一些重要领域与概念，如函数式编程、电子设计自动化（ EDA）算法等，在本科阶段难以用专门的课程进行支撑，通过应用案例可有效补全。
本书适用于计算学科各专业二年级学生学习，在本书的大多数内容中，编者不会假设读者掌握很多超出高中水平的数学知识，读者具备一定的编程基础将能更好地理解本书内容。本书适合于 48/64学时课程的授课，与本书在“头歌”平台上的配套在线实训配合使用，效果更佳。
希望本书不仅是一本教材，更是读者在离散数学领域探索和成长的良师益友。希望读者能够通过本书的学习，提高自己的数学素养和解决实际问题的能力。愿本书能为您的学习和工作带来帮助，成为您在离散数学领域的得力助手。
本书参考了很多文献资料和网络素材，在此一并表示衷心的感谢。编者根据多年的教学实践，在内容的甄选、全书组织形式等方面既借鉴了同类书的成功经验，也做出了自己的努力。但是改进的空间还很大，热切希望广大读者能够予以斧正。
编者
2024年 12月
|
|
購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽
HOME
新書上架
