图书介绍

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

马光思主编著
出版社：西安：西安电子科技大学出版社
ISBN：756061387X
出版时间：2004
标注页数：320页
文件大小：14MB
文件页数：327页
主题词：离散数学－高等学校－教材

PDF下载

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

点击复制MD5值：44e38d4024b298e9bd86e46574326ec9

下载说明

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

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

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

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

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

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

图书目录

目录1

第1章命题逻辑1

1.1 命题及命题联结词1

1.2 命题公式的分类与演算8

1.3 联结词完全集14

1.4 命题范式16

1.5 有效论证及推理规则20

1.6 命题演算的形式系统L23

习题130

第2章谓词逻辑34

2.1 谓词逻辑的基本概念34

2.2 谓词公式及其分类38

2.3 谓词演算的永真式42

2.4 前束范式45

2.5 谓词逻辑的推理理论47

2.6 谓词演算的形式系统简介51

习题257

3.1 基本概念61

第3章集合论61

3.2 集合的运算及性质65

3.3 自然数与归纳法68

3.4 集合的笛卡儿积75

习题377

第4章关系81

4.1 关系的基本概念81

4.2 二元关系的运算90

4.3 二元关系的闭包99

4.4 序关系及其结构106

4.5 等价关系与划分112

习题4117

第5章函数与无限集120

5.1 函数的基本概念120

5.2 函数的复合及逆函数123

5.3 函数的进一步讨论126

5.4 可数集合131

5.5 不可数集135

5.6 公理集合论简介138

习题5141

第6章代数系统143

6.1 运算及其性质143

6.2 代数系统147

6.3 半群和幺半群155

6.4 群的基本概念和性质158

6.5 循环群与置换群162

6.6 子群、群同态、群同构164

6.7 陪集、正规子群及商群166

6.8 环和域168

习题6174

第7章布尔代数179

7.1 格179

7.2 布尔代数187

习题7196

第8章图论199

8.1 图的基本概念199

8.2 Euler图与Hamilton图214

8.3 二分图220

8.4 平面图224

8.5 图的染色228

8.6 树与生成树234

8.7 有根树及其应用238

习题8244

第9章数论及组合计数基础251

9.1 整除251

9.2 同余式255

9.3 数论函数及特殊的数264

9.4 基本计数原理267

9.5 二项式系数与多项式系数277

9.6 鸽巢原理281

9.7 包含排斥原理285

9.8 生成函数293

9.9 递归关系304

习题9315

参考文献320