图书介绍

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

王湘浩，管纪文；刘叙华，洪声贵编著著
出版社：
ISBN：
出版时间：未知
标注页数：292页
文件大小：11MB
文件页数：300页
主题词：

PDF下载

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

点击复制MD5值：b7c80695a8096eb8d3713f61d04be3cf

下载说明

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

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

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

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

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

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

图书目录

第一章命题逻辑1

§1．引言1

目录1

§2．命题与逻辑连接词2

§3．公式的等价性与对偶原理6

§4．范式与判定问题12

§5．命题演算的推理规则16

§6．定理证明的自动化23

§1．引言28

第二章谓词逻辑28

§2．谓词、命题函数、量词29

§3．范式32

§4．判定问题34

第三章集合论40

§1．引言40

§2．关系43

§3．分类法45

§4．整序48

第四章格论54

§1．引言54

§2．格及其性质54

§3．格是一种代数59

§4．几种特殊的格64

第五章布尔代数70

§1．有限布尔代数及其性质70

§2．布尔表达式的化简问题83

§3．组合线路的设计与竞争冒险96

§4．时序线路的设计与竞争冒险111

第六章图论117

§1．自由树形117

§2．有向图形128

§3．K？n ig无限性引理141

§4．树形的枚举144

§5．通路长度166

§6．五色定理176

§1．最高公因187

第七章整数187

§2．质数190

§3．合同192

§4．秦九韶定理与Euler函数194

第八章群197

§1．变换与置换197

§2．对称性201

§3．抽象群的定义202

§4．子群及其陪集205

§5．周期209

§6．同构与同态211

§7．直接和213

第九章环217

§1．各种环217

§2．同态220

§3．因子分解223

§4．直接和226

§5．交换环227

§1．商域231

第十章域231

§2．最小域233

§3．单纯扩张234

§4．有限扩张237

§5．正规扩张239

§6．Galois群240

§7．Zorn引理与整序集244

§8．代数扩张与代数封化域247

§1．可计算函数249

第十一章Turing机249

§2．可计算函数的运算257

§3．递归函数266

§4．Turing机用于自身275

§5．不可解判定问题280

第十二章自动机283

§1．有穷自动机的来龙去脉283

§2．时序电路的扼要介绍284

§3．有穷自动机的等价性286