图文详情

2 离散数学 9787302651581

9787302651581

薛占熬张艳娜主编；于红斌张立红副主编 / 清华大学出版社 / 2024-08 / 平装

售价 30.80 5.2折

定价￥59.80

品相 八五品

优惠

发货

承诺48小时内发货

运费

本店暂时无法向该地区发货

延迟发货说明

时间：

说明：

上书时间2026-03-02

数量: 仅1件在售，欲购从速

立即购买加入购物车收藏

卖家超过10天未登录

五年老店

梦源书社

店铺等级

资质认证

90天平均

成功完成

80.79% (162笔)

好评率

99.25%

发货时间

14.03小时

店主

倩倩-书社

联系

在线交谈离线留言

地址

河南省周口市川汇区

进店逛逛收藏店铺

商品详情
店铺评价

立即购买加入购物车收藏

手机购买

微信扫码访问

图书条目信息
图书 > 综合性图书
离散数学
作者: 薛占熬张艳娜主编；于红斌张立红副主编

出版社: 清华大学出版社

出版时间: 2024-08

版次: 1

ISBN: 9787302651581

定价: 59.80

装帧: 平装

开本: 其他

页数: 208页

字数: 325千字
内容简介：

‘离散数学是计算机科学的理论基础，是计算机学科的核心课程，主要包括数理逻辑、集合论、代数结构和图论等四个部分。《离散数学》分为7章，分别介绍离散数学的命题逻辑、谓词逻辑、集合、关系、函数、图论和特殊图等的基本概念、基本理论和基本方法，并给出大量例题的讲解和练习的实操，有助于提高读者的概括抽象能力、逻辑思维能力、归纳构造能力和问题分析能力，从而培养读者严谨、完整、规范的科学态度。《离散数学》内容阐述上力求严谨、翔实，论述严格，语言精练，通俗易懂，可以作为普通高等学校计算机类、电子信息类专业“离散数学”课程的教材，也可以供从事相关工作的人员参考。 ‘

目录：

章命题逻辑 11.1 命题符号化和联结词 11.1.1 否定 21.1.2 合取 31.1.3 析取 31.1.4 条件 41.1.5 双条件 5习题1-1 51.2 命题公式及等价公式 61.2.1 命题公式的概念 61.2.2 命题定律 71.2.3 等价置换 81.2.4 基本等价命题公式 9习题1-2 101.3 重言式和蕴含式 111.3.1 重言式 111.3.2 蕴含式 121.3.3 蕴含的性质 13习题1-3 141.4 其他联结词与联结词组 141.4.1 其他联结词 151.4.2 联结词组 16习题1-4 171.5 对偶式与范式 171.5.1 对偶式 171.5.2 范式 18习题1-5 241.6 命题逻辑推理理论 251.6.1 真值表法 251.6.2 直接证法 261.6.3 不相容 271.6.4 CP规则 28习题1-6 291.7 命题逻辑的应用 301.7.1 电路设计 301.7.2 数学建模 321.7.3 算法代码 33习题1-7 36第2章谓词逻辑 372.1 谓词与量词 372.1.1 谓词 372.1.2 量词 39习题2-1 402.2 谓词合式公式 40习题2-2 412.3 约束变元与自由变元 422.3.1 换名规则 432.3.2 代入规则 43习题2-3 432.4 谓词公式的等价式与蕴含式 442.4.1 命题公式的推广 452.4.2 量词转化律 452.4.3 量词作用域的扩张与收缩 452.4.4 谓词公式的等价式和蕴含式 462.4.5 多个量词的使用 47习题2-4 472.5 谓词公式的前束范式 48习题2-5 502.6 谓词逻辑的推理理论 502.6.1 规则 512.6.2 谓词逻辑推理 51习题2-6 53第3章集合 543.1 集合的基本概念和表示法 543.1.1 集合的表示方法 543.1.2 集合相等的概念 553.1.3 空集和全集 563.1.4 幂集 56习题3-1 573.2 集合的运算 583.2.1 集合的交运算 583.2.2 集合的并运算 593.2.3 集合的补运算 603.2.4 集合的对称差运算 62习题3-2 643.3 包含排斥原理 65习题3-3 68第4章关系 704.1 序偶与笛卡儿积 704.1.1 序偶 704.1.2 笛卡儿积 71习题4-1 734.2 关系及其表示 734.2.1　关系的概念 744.2.2 关系矩阵 754.2.3 关系图 76习题4-2 774.3 关系的性质 77习题4-3 794.4 关系的合成和逆 804.4.1　关系的合成 804.4.2 复合关系的矩阵构造 814.4.3 逆关系 82习题4-4 844.5 关系的闭包运算 844.5.1 闭包运算的概念 844.5.2 矩阵求闭包 87习题4-5 904.6 集合的划分与等价关系 914.6.1 集合的划分 914.6.2 等价关系 92习题4-6 974.7 偏序关系 974.7.1 偏序关系的概念 974.7.2 偏序集的特殊元素 100习题4-7 1024.8 关系的算法 1034.8.1 判断关系R是否为自反关系或对称关系 1034.8.2 判断关系R是否为传递关系 1054.8.3 判断关系R是否为等价关系 1074.8.4 求等价类 1074.8.5 关系的合成运算 1094.8.6 自反和对称的闭包运算 1114.8.7 传递闭包运算 113第5章函数 1155.1 函数的概念 1155.1.1 函数的定义 1155.1.2 函数的表示法 1165.2 特殊函数 1185.2.1 单射、满射、双射 1185.2.2 特征函数 1195.2.3 隶属函数 121习题5-1、5-2 1215.3 逆函数和复合函数 1225.3.1 逆函数 1225.3.2 复合函数 123习题5-3 1255.4 求满射的算法 126第6章图论 1296.1 图的概念 1296.1.1 图的定义 1306.1.2 结点的度数 1316.1.3 简单图、完成图、补图 1326.1.4 子图 1336.1.5 图的运算 1346.1.6 图的同构 135习题6-1 1356.2 路与连通66.2.1 路的概念 1366.2.2 图的连通7习题6-2 1406.3 图的矩阵表示 1406.3.1 邻接矩阵 1416.3.2 可达矩阵 1436.3.3 关联矩阵 145习题6-3 1486.4 判别连通性的算法 149第7章特殊图 1547.1 二部图 154习题7-1 1577.2 平面图与对偶图 1577.2.1 平面图 1577.2.2 对偶图 161习题7-2 1627.3 平面图的着色 1627.3.1 平面图的结点着色 1627.3.2 平面图的边着色 165习题7-3 1657.4 欧拉图与哈密顿图 1667.4.1 欧拉图 1667.4.2 哈密顿图 170习题7-4 1747.5 树与生成树 1757.5.1 树 1767.5.2 生成树 1777.5.3 带权生成树 178习题7-5 1797.6 有向树与树 1797.6.1 有向树 1797.6.2 树及其应用 182习题7-6 1847.7 图的算法 1847.7.1 构造二叉树算法 1847.7.2 生成树的Kruskal算法 1877.7.3 求短距离的Dijkstra算法 190参考文献 197
作者介绍

序言

展开全部
货号：

9787302651581
- 图2
- 图3
配送说明

...
相似商品
为你推荐