离散数学pdf电子书版本下载

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

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

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

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

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

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

目 录 1

第一章集合 1

§1.1集合及其表示 1

§1.2集合的运算 7

§1.3自然数和归纳法 14

§1.4笛卡儿乘积 21

第二章二元关系 25

§2.1关系 25

§2.2关系矩阵与关系图 29

§2.3逆关系 33

§2.4关系的合成 35

§2.5关系的闭包 39

§2.6相容关系 44

§2.7等价关系 47

§2.8序关系 53

第三章 函数 62

§3.1部分函数 62

§3.2函数的合成 66

§3.3逆函数 69

§3.4特征函数 72

§3.5基数 73

§3.6基数算术 78

§4.1命题和联结词 80

第四章命题逻辑 80

§4.2合式公式 83

§4.3等价和蕴含 87

§4.4范式和判定问题 92

第五章谓词逻辑 97

§5.1变元、谓词和量词 97

§5.2合式公式 104

§5.3永真式 108

§5.4永真式的判定 111

§6.1 自然推理系统 115

第六章自然推理系统 115

§6.2形式推理关系的简化证明 121

第七章图论 125

§7.1图的基本概念 125

§7.2子图和图的运算 130

§7.3路径、回路和连通性 134

§7.4欧拉图和哈密顿图 141

§7.6树、有向树和有序树 142

§7.5图的矩阵表示 144

§7.7二部图 157

§7.8平面图 161

§7.9网络流 164

第八章原始递归函数 170

§8.1原始递归函数的定义 170

§8.2常用函数的原始递归性 173

§8.3康托尔编码和哥德尔编码 181

§8.4原始递归谓词 189

§8.5部分递归函数的概念 194

§8.6阿克曼函数 197

第九章程序正确性验证 206

§9.1流图程序 206

§9.2霍尔的程序逻辑 215

§9.3终止推断规则 219

第十章代数结构 223

§10.1代数运算 223

§10.2代数结构 226

§10.3同态与同构 227

§10.4同余关系 230

§10.5商代数和积代数 232

第十一章半群、独异点和群 236

§11.1半群和独异点 236

§11.2群的基本性质 239

附录初等数论中的某些结果 242

§11.3子群和群的同态 244

§11.4变换群与循环群 246

§11.5不变子群、商群和群同态定理 250

第十二章环和域 256

§12.1具有两个二元运算的代数结构 256

§12.2有限域 263

附录域上多项式的最高公因式 268

§12.3有限域的结构 269

§12.4有限域的表示 275

§13.1格及其性质 278

第十三章格与布尔代数 278

§13.2格是一种代数 282

§13.3特殊格 285

§13.4布尔代数 288

§13.5有限布尔代数的唯一性 294

§13.6自由布尔代数 296

第十四章代数结构在计算机设计中的应用 302

§14.1剩余算术在计算机设计中的应用 302

§14.2动态存貯器的置换联结 305

参考书目 311

符号表 311

索 引 314