图书介绍

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

离散数学 上
  • 陈进元，屈婉玲编 著
  • 出版社： 北京：北京大学出版社
  • ISBN：7301006748
  • 出版时间：1987
  • 标注页数：268页
  • 文件大小：7MB
  • 文件页数：275页
  • 主题词：

PDF下载


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

下载说明

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

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

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载  详情点击-查看共享计划
建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

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

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

图书目录

第一章 命题逻辑基本概念1

1 命题符号化1

2 合式公式与真值函数6

习题一10

第二章 命题逻辑等值演算13

1 等值关系13

2 联结词的全功能集17

3 析取范式与合取范式20

习题二28

第三章 命题逻辑自然推理31

1 推理的形式结构31

2 自然推理系统 P34

3 证明方法38

习题三45

第四章 命题逻辑公理系统49

1 公理系统与形式系统49

2 公理系统 L50

3 L 的演绎定理53

4 L 的性质59

习题四61

第五章 一阶逻辑基本概念63

1 一阶逻辑命题符号化63

2 一阶语言？68

3 解释与赋值72

4 真与逻辑有效76

习题五82

第六章 一阶逻辑等值演算86

1 一阶逻辑等值式86

2 置换规则92

3 前束范式95

习题六98

第七章 一阶逻辑的形式推理100

1 推理定律100

2 自然推理系统 F104

3 公理系统 K109

4 K 的性质116

习题七119

第八章 集合代数123

1 集合的基本概念123

2 集合的运算127

3 集合恒等式132

习题八140

第九章 二元关系145

1 有序对与卡氏积145

2 二元关系148

3 关系矩阵和关系图157

4 关系的性质158

5 关系的合成162

6 关系的闭包165

7 等价关系和划分173

8 相容关系和覆盖178

9 序关系181

习题九188

第十章 函数194

1 函数的定义和性质194

2 函数的合成200

3 反函数202

习题十206

第十一章 集合的基数211

1 自然数和自然数集合211

2 集合的等势215

3 有穷集合与无穷集合219

4 集合的基数221

5 基数的算术运算225

习题十一231

第十二章 公理集合论简介233

习题十二242

热门推荐