图书介绍
离散数学导论 数理逻辑·集合·关系部分PDF|Epub|txt|kindle电子书版本网盘下载
- 黄和之编著 著
- 出版社： 北京：北京经济学院出版社
- ISBN：7563801464
- 出版时间：1992
- 标注页数：273页
- 文件大小：6MB
- 文件页数：283页
- 主题词：离散数学
PDF下载
点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]
下载说明
离散数学导论 数理逻辑·集合·关系部分PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
第一编 数理逻辑1
第一章 命题逻辑2
1.1 命题2
1.2 逻辑联结词4
1.3 真值表13
1.4 逻辑恒等式16
1.5 逻辑蕴涵式20
1.6 范式24
1.7 推理规则和推理格式32
1.8 证明方法43
2.1 引言54
第二章 逻辑蕴涵式的快速证明法54
2.2 快速证明的理论与方法56
2.3 快速证明的作用61
2.4 构造永真式63
2.5 关于命题演算的机器证明66
第三章 谓词逻辑初步70
3.1 谓词与量词70
3.2 量词与逻辑运算符78
3.3 推理规则与推理格式86
3.4 证明方法95
3.5 判别一目谓词公式非普遍有效的简易方法101
第四章 集合113
4.1 朴素的集合定义113
第二篇 集合论113
4.2 集合论的悖论117
4.3 集合间的关系122
4.4 集合上的运算125
4.5 自然数136
4.6 数学归纳法138
4.7 递归定义和递推关系150
4.8 Σ上的集合运算158
5.1 二元关系和有向图165
第五章 二元关系165
5.2 具有特殊性质的二元关系178
5.3 关系的复合183
5.4 关系上的闭包运算194
5.5 序关系215
5.6 等价关系与划分233
5.7 相容关系251
符号一览表257
中英名词索引261
参考书目273