孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

现代逻辑导引

现代逻辑导引
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 著
出版社: 重庆大学出版社
2011-05
版次: 1
ISBN: 9787562460824
定价: 29.80
装帧: 平装
开本: 16开
纸张: 胶版纸
页数: 240页
字数: 253千字
正文语种: 简体中文，英语
分类: 哲学心理学
13人买过
  • 《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分：第一部分简略地介绍了传统逻辑学的基本内容，主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容，主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容，主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍，主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用，也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用，还可供对现代逻辑学感兴趣的读者自学使用。 绪论
    A.1逻辑学的对象和性质
    A.2逻辑思维的基本规律
    A.3逻辑思想与学习逻辑的方法
    1命题逻辑
    1.1词项与命题
    1.2简单命题及其推理
    1.3复合命题及其推理
    练习题

    2命题演算
    2.1命题演算概述
    2.2命题演算系统LP
    2.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形式语言LPM
    6.2K，D和T系统
    6.3S4，S5和B系统
    6.4模态系统的可靠性与完全性
    练习题

    7现代逻辑的现代发展
    7.1时态逻辑
    7.2认知逻辑
    7.3自然语言逻辑
    参考文献
    后记
  • 内容简介:
    《现代逻辑导引》作者在自己学习和研究的基础上比较系统地介绍了现代逻辑学的基本内容。主要包括四个部分：第一部分简略地介绍了传统逻辑学的基本内容，主要包括对逻辑学学科的基本介绍和命题逻辑的基本内容;第二部分介绍了数理逻辑的基本内容，主要包括命题演算、谓词逻辑和谓词演算;第三部分介绍了模态逻辑的基本内容，主要包括对模态逻辑学的性质、模态命题演算的基本内容的介绍;第四部分是对现代逻辑的现代发展情况的一些简略的介绍，主要包括时态逻辑、认知逻辑、自然语言逻辑的基本内容。《现代逻辑导引》既可供专门的逻辑学工作者阅读和使用，也可供哲学、语言学、人工智能、计算机科学等方面的工作者阅读和使用，还可供对现代逻辑学感兴趣的读者自学使用。
  • 目录:
    绪论
    A.1逻辑学的对象和性质
    A.2逻辑思维的基本规律
    A.3逻辑思想与学习逻辑的方法
    1命题逻辑
    1.1词项与命题
    1.2简单命题及其推理
    1.3复合命题及其推理
    练习题

    2命题演算
    2.1命题演算概述
    2.2命题演算系统LP
    2.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形式语言LPM
    6.2K，D和T系统
    6.3S4，S5和B系统
    6.4模态系统的可靠性与完全性
    练习题

    7现代逻辑的现代发展
    7.1时态逻辑
    7.2认知逻辑
    7.3自然语言逻辑
    参考文献
    后记
查看详情
相关分类
哲学理论 世界哲学 中国哲学 思维科学 逻辑学(论理学) 伦理学(道德哲学) 美学 心理学 励志与成功
相关图书 / 更多
现代逻辑导引
现代秘书学教程（第六版）
范立荣 王守福
￥22.70 起
现代逻辑导引
现代食品分析新技术
聂少平，陈奕
￥38.45 起
现代逻辑导引
现代管理(第一辑)
上海市现代管理研究中心 主编
￥41.85 起
现代逻辑导引
现代C++编程实战：132个核心技巧示例（原书第2版） [罗马尼亚]马里乌斯·班西拉
（罗马尼亚）马里乌斯·班西拉
￥78.10 起
现代逻辑导引
现代欧洲史：1500—1815
（美）卡尔顿·海斯（Carlton Hayes）
￥39.00 起
现代逻辑导引
现代主义面包（全六卷）
（美） 内森·梅尔沃德 （美） 弗朗西斯科·米格亚
￥2989.25 起
现代逻辑导引
现代软件测试技术之美
茹炳晟 吴骏龙 刘冉
￥59.27 起
现代逻辑导引
现代儿童呼吸病学
李昌崇，王立波
￥149.00 起
现代逻辑导引
现代城市管理导论 含配套教学课件及电子版案例 田艳平
田艳平 编著
￥27.24 起
现代逻辑导引
现代生活美学——插花之道
刘惠芬
￥57.60 起
现代逻辑导引
现代模拟集成电路设计
孙楠、刘佳欣、揭路
￥36.58 起
现代逻辑导引
现代直线电机理论与设计
寇宝泉，张赫，张鲁
￥82.59 起
您可能感兴趣 / 更多
现代逻辑导引
春城揽胜——昆明十八景
杨长福 主编；邓耀泽
￥0.88 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全