返回首页
苏宁会员
购物车 0
易付宝
手机苏宁

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

  • 服务承诺: 正品保障
  • 公司名称:
  • 所 在 地:

  • 临界的传递逻辑 杜珊珊,康宏逵 著 社科 文轩网
  • 新华书店正版
    • 作者: 杜珊珊,康宏逵 著著
    • 出版社: 科学出版社
    • 出版时间:2017-07-01 00:00:00
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    文轩网图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

         https://product.suning.com/0070067633/11555288247.html

     

    商品参数
    • 作者: 杜珊珊,康宏逵 著著
    • 出版社:科学出版社
    • 出版时间:2017-07-01 00:00:00
    • 版次:1
    • 印次:1
    • 印刷时间:2017-07-01
    • 字数:266千字
    • 页数:244
    • 开本:16开
    • 装帧:平装
    • ISBN:9787030530813
    • 国别/地区:中国
    • 版权提供:科学出版社

    临界的传递逻辑

    作  者:杜珊珊,康宏逵 著
    定  价:78
    出 版 社:科学出版社
    出版日期:2017年07月01日
    页  数:244
    装  帧:平装
    ISBN:9787030530813
    主编推荐

    内容简介

    《临界的传递逻辑——模态逻辑的濒表格性问题探究》详述传递的濒表格逻辑的判据及其应用,以及在此基础上所做的关于濒表格逻辑的若干研究结果,解决了传递逻辑格的濒表格性的语义判据,以及传递逻辑格的子格NExtQ4中濒表格逻辑族的基数、分类及公理化问题,展示了如何将已有的传递的濒表格逻辑的结果纳入《临界的传递逻辑——模态逻辑的濒表格性问题探究》提出的方法和视野。《临界的传递逻辑——模态逻辑的濒表格性问题探究》共分为三个部分——序篇、主篇和附录。序篇介绍了背景知识,回顾了传递的濒表格逻辑的研究发展史;主篇完整叙述了传递的濒表格逻辑的语义判据的证明、应用过程及其他相关的研究结果;附录给读者提供了备查的相关知识。

    作者简介

    精彩内容

        靠前编 序篇

        靠前章 背景知识一览

        模态逻辑已经发展为一门大学科了。这个逻辑分支里铢积寸累来的资料,也许还谈不上浩如烟海,说它洋洋大观怕是绝不会过分的。好在理解本书主旨所必需的背景知识并不多,也不深。而且,本书对背景知识的介绍力求详细、浅显,并配以图和例进行说明,让从未接触过模态逻辑的读者也能领会大意。如果读者想更深入地把握某些背景知识,请参考两位俄罗斯学者查格罗夫(A.Chagrov)和扎哈里雅雪夫(M.Zakharyaschev)用英文编写的有名教材《模态逻辑》。为了方便读者,本书在各方面都尽可能与该书保持一致,在记法和作图上也是如此。

       null

    目录
    编序篇
    章背景知识一览
    节逻辑K4及其正规扩充
    第二节K4—逻辑的克里普克语义学
    第三节临界的传递逻辑——K4—逻辑格中的濒表格逻辑
    第二章历史的回顾:1940~1980年
    节孤例S5
    第二节走出孤例
    第三节NExtS4的简单性
    第四节传递逻辑格NExtK4还在向我们挑战
    第二编主篇
    引言——我们的目的和方法
    第三章点式归约初探
    节集式归约和点式归约
    第二节传递框架间的点式归约
    第四章传递逻辑格中有穷深度濒表格逻辑的语义判据
    节传递的濒表格逻辑的刻画框架
    第二节AltN—颠覆子、AltN—反驳子和框架的濒表格性
    第三节有穷深度濒表格逻辑的语义判据
    第五章传递逻辑格中无穷深度濒表格逻辑的语义判据
    节刻画无穷深度濒表格逻辑的有穷框架类的规范化
    第二节刻画无穷深度濒表格逻辑的三类框架——收拢式既约框架、f°ω—风筝和fω—风筝
    第三节无穷深度濒表格逻辑的语义判据
    第六章濒表格逻辑语义判据的应用
    节麦金森分类法眼光下的模态逻辑
    第二节濒表格逻辑的语义判据的应用——NExtO4
    第三节NExtS4、NExtD4和NExtGL中濒表格逻辑的范形
    第七章从一种新观点看问题
    节传递的濒表格逻辑和它们的表格扩充
    第二节传递的濒表格逻辑的语义特征
    参考文献
    附录A论麦金森定理及其等价命题
    附录B模态镜子里的反欧性
    附录C一般框架和典范公式
    索引
    后记

    售后保障

    最近浏览

    猜你喜欢

    该商品在当前城市正在进行 促销

    注:参加抢购将不再享受其他优惠活动

    x
    您已成功将商品加入收藏夹

    查看我的收藏夹

    确定

    非常抱歉,您前期未参加预订活动,
    无法支付尾款哦!

    关闭

    抱歉,您暂无任性付资格

    此时为正式期SUPER会员专享抢购期,普通会员暂不可抢购