图书介绍
广义模态逻辑及其应用PDF|Epub|txt|kindle电子书版本下载
- 何向东等著 著
- 出版社： 北京：人民出版社
- ISBN：7010053227
- 出版时间：2005
- 标注页数：401页
- 文件大小：13MB
- 文件页数：414页
- 主题词：模态逻辑－应用－机器语言－研究
PDF下载
下载说明
广义模态逻辑及其应用PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
前言1
绪论1
0.1 什么是广义模态逻辑1
0.2 古典命题逻辑系统P3
0.3 古典谓词逻辑系统Q9
0.4 集合论的初步知识18
0.5 符号与解释23
1.1 模态逻辑概述26
第1章 真理模态逻辑26
1.2 模态命题逻辑30
1.3 可能世界语义学56
1.4 模态代数语义学61
1.5 模态谓词逻辑68
附录81
第2章 认知逻辑83
2.1 认知逻辑概述83
2.2 知道逻辑系统87
2.3 相信逻辑系统94
2.4 断定逻辑系统102
2.5 问题逻辑系统109
附录123
第3章 规范逻辑及其应用126
3.1 规范逻辑概述126
3.2 规范逻辑系统138
3.3 规范逻辑的应用156
附录164
4.1 时间逻辑概述168
第4章 时间逻辑168
4.2 基础时间逻辑177
4.3 极小时间逻辑183
4.4 极小时间逻辑的扩张193
附录203
第5章 命令逻辑208
5.1 命令逻辑概述208
5.2 命令逻辑系统212
5.3 命令逻辑的语义解释214
5.4 命令逻辑系统Imp的有效性、完全性217
附录219
第6章 模态逻辑与自然语言221
6.1 模态语言与自然语言223
6.2 模态逻辑与蒙太格语法233
6.3 博弈论语义学与自然语言242
附录250
第7章 模态逻辑与计算机科学253
7.1 模态逻辑的计算解释254
7.2 模态程序设计语言255
7.3 知识与行为理论257
7.4 模态逻辑与多代理系统259
附录281
第8章 模糊逻辑与理学、工学284
8.1 模态逻辑与数学284
8.2 模糊数学分析与模糊逻辑方法306
8.3 模糊逻辑控制及其应用315
8.4 模糊逻辑的一般应用324
附录328
第9章 模态逻辑与教育科学332
9.1 逻辑在教学论中的应用332
9.2 关于教学逻辑公理系统的建构347
附录355
第10章 新型计算语言357
10.1 导论357
10.2 新型计算措施364
10.3 重写系统与语法368
10.4 Post标准体系374
10.5 Markov算法375
10.6 平行重写系统378
10.7 射与语言382
10.8 有理幂级数387
10.9 代数幂级数391
10.10 幂级数与新型计算语言394
附录397