图书介绍

离散数学与算法2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

包世堂主编著
出版社：北京：中国水利水电出版社
ISBN：9787508483580
出版时间：2011
标注页数：325页
文件大小：12MB
文件页数：333页
主题词：离散数学－高等学校－教材

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：20d7acf12b6fbd542c878d17ad895248

下载说明

离散数学与算法PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第1章命题逻辑1

第1节命题和命题联结词1

习题19

第2节合式公式10

习题214

第3节逻辑等价演算15

习题327

第4节对偶27

习题429

第5节范式和判定问题29

习题538

第6节推理理论40

习题647

第7节命题逻辑的相关算法48

第2章谓词逻辑50

第1节谓词演算50

习题159

第2节谓词逻辑中的等值和蕴涵60

习题264

第3节谓词逻辑中的推理理论64

习题368

第4节谓词逻辑的相关算法69

第3章集合的基本概念和运算71

第1节集合的基本概念71

习题174

第2节集合的运算75

习题282

第3节集合的划分与覆盖83

习题385

第4节集合的相关算法85

第4章关系88

第1节序偶和笛卡尔积88

习题191

第2节关系及其表示92

习题296

第3节关系的性质97

习题3102

第4节关系的运算103

习题4116

第5节几类重要的二元关系117

习题5126

第6节关系的相关算法127

第5章函数138

第1节函数138

习题1140

第2节函数运算141

习题2143

第3节基数144

习题3146

第6章代数系统的一般概念147

第1节二元运算147

习题1149

第2节二元运算的性质150

习题2152

第7章代数系统153

第1节置换154

习题1157

第2节半群157

习题2159

第3节群159

习题3162

第4节陪集162

习题4164

第5节正规子群和拉格朗日定理164

习题5166

第6节代数系统的相关算法166

第8章环、域、格和布尔代数170

第1节环和域170

习题1172

第2节格173

习题2174

第3节布尔代数174

习题3176

第9章图的基本理论177

第1节图的基本概念179

习题1187

第2节图的连通性187

习题2192

第3节图的矩阵表示192

习题3197

第4节图的应用198

习题4203

第5节特殊的图204

习题5215

第6节图的着色215

习题6220

第7节图的相关算法221

第10章树263

第1节树的概念263

习题1265

第2节生成树265

习题2268

第3节根树及其应用269

习题3272

第4节二叉树273

习题4282

第5节树的相关算法283

参考文献325