成功加入购物车
杨长福 著 / 重庆大学出版社 / 2011-05 / 平装
售价 ¥ 1.00
品相 七五品品相描述
优惠 满包邮
延迟发货说明
上书时间2022-01-04
卖家超过10天未登录
现代逻辑导引
《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分:第一部分简略地介绍了传统逻辑学的基本内容,主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容,主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容,主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍,主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用,也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用,还可供对现代逻辑学感兴趣的读者自学使用。
绪论A.1逻辑学的对象和性质A.2逻辑思维的基本规律A.3逻辑思想与学习逻辑的方法1命题逻辑1.1词项与命题1.2简单命题及其推理1.3复合命题及其推理练习题2命题演算2.1命题演算概述2.2命题演算系统LP2.3命题演算系统LP的可靠性和完全性练习题3谓词逻辑3.1谓词和量词3.2形式语言3.3命题的量化形式结构3.4谓词逻辑推理的规则练习题4谓词演算4.1谓词演算4.2演绎定理4.3谓词演算的可靠性与完全性练习题5模态逻辑5.1模态逻辑概述5.2可能世界语义学5.3框架、模型和有效性练习题6模态命题演算6.1形式语言LPM6.2K,D和T系统6.3S4,S5和B系统6.4模态系统的可靠性与完全性练习题7现代逻辑的现代发展7.1时态逻辑7.2认知逻辑7.3自然语言逻辑参考文献后记
展开全部
配送说明
...
相似商品
为你推荐
开播时间:09月02日 10:30