图书介绍
数理逻辑基础与粒计算PDF|Epub|txt|kindle电子书版本网盘下载
![数理逻辑基础与粒计算](https://www.shukui.net/cover/40/31704931.jpg)
- 闫林著 著
- 出版社: 北京:科学出版社
- ISBN:9787030198280
- 出版时间:2007
- 标注页数:259页
- 文件大小:12MB
- 文件页数:268页
- 主题词:数理逻辑;电子计算机-算法理论
PDF下载
下载说明
数理逻辑基础与粒计算PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
第1章 经典命题演算1
1.1 命题2
1.2 形式语言及命题公式4
1.3 命题公式的语义7
1.4 命题公式的分类及联结符号之间的关系14
1.5 命题演算的语义推理18
1.6 命题演算形式推理的公理系统24
1.7 命题演算形式推理的自然推理系统31
1.8 命题演算自然推理系统中形式推理的性质36
1.9 析取范式与合取范式51
1.10 命题演算的可靠性与完备性55
第2章 经典谓词演算59
2.1 谓词公式60
2.2 命题的谓词公式表示64
2.3 谓词公式的语义68
2.4 谓词演算的语义推理72
2.5 谓词演算形式推理的公理系统79
2.6 谓词演算形式推理的自然推理系统85
2.7 谓词演算自然推理系统中形式推理的性质89
2.8 谓词演算的可靠性和完备性99
第3章 命题模态逻辑108
3.1 命题模态逻辑的形式推理系统109
3.2 命题模态逻辑规则系统中形式推理的性质116
3.3 命题模态逻辑的语义124
3.4 命题模态逻辑的可靠性与完备性135
第4章 谓词模态逻辑145
4.1 谓词模态逻辑的形式推理系统145
4.2 谓词模态逻辑规则系统中的形式推理150
4.3 谓词模态逻辑的语义152
第5章 粗糙集理论基本知识155
5.1 等价关系、等价类和划分155
5.2 等价关系下的粗糙集160
5.3 信息系统及其约简165
第6章 基于逻辑方法的粒计算171
6.1 基于逻辑公式的粒计算形式化方法172
6.2 粒空间上公式的粗糙逻辑值181
6.3 粒空间上的粒语义推理182
6.4 粒空间上的粗糙语义推理190
6.5 模态逻辑公理的粗糙真语义分析197
6.6 信息系统上公式的粗糙真及应用207
6.7 一类特殊公式的语义研究及应用215
6.8 粗糙路径及其应用221
6.9 基于粒计算的分明函数约简法的理论分析与证明228
6.10 二维近似空间中基于粒计算的数据识别240
参考文献249
索引252