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

服务体验

店铺评分与同行业相比

用户评价:----

物流时效:----

售后服务:----

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

  • 醉染图书互模拟理论的逻辑研究9787030486202
  • 正版全新
    • 作者: 姚从军 著著 | 姚从军 著编 | 姚从军 著译 | 姚从军 著绘
    • 出版社: 科学出版社
    • 出版时间:2016-07-01
    送至
  • 由""直接销售和发货,并提供售后服务
  • 加入购物车 购买电子书
    服务

    看了又看

    商品预定流程:

    查看大图
    /
    ×

    苏宁商家

    商家:
    醉染图书旗舰店
    联系:
    • 商品

    • 服务

    • 物流

    搜索店内商品

    商品分类

    商品参数
    • 作者: 姚从军 著著| 姚从军 著编| 姚从军 著译| 姚从军 著绘
    • 出版社:科学出版社
    • 出版时间:2016-07-01
    • 版次:1
    • 印次:1
    • 字数:249000.0
    • 页数:188
    • ISBN:9787030486202
    • 版权提供:科学出版社
    • 作者:姚从军 著
    • 著:姚从军 著
    • 装帧:平装
    • 印次:1
    • 定价:65.00
    • ISBN:9787030486202
    • 出版社:科学出版社
    • 开本:暂无
    • 印刷时间:暂无
    • 语种:暂无
    • 出版时间:2016-07-01
    • 页数:188
    • 外部编号:1201330556
    • 版次:1
    • 成品尺寸:暂无


    绪论
    节研究背景
    第二节研究意义
    第三节研究思路
    第四节主要工作
    章互模拟理论研究概况
    节模态逻辑中互模拟理论的研究概况
    一、互模拟产生的动因
    二、互模拟的诞生
    三、互模拟的运用研究
    四、互模拟的纯理论研究
    第二节集合论中互模拟理论的研究概况
    一、互模拟的萌芽(1926—1982)
    一、互模拟的产生及初步研究(1983—1987)
    三、互模拟的深入研究(1988—2001)
    四、互模拟的拓展研究(2002—)
    部分互模拟与模态逻辑
    第二章模态逻辑中互模拟的基本理论
    节互模拟的定义
    一、加标转换系统及相关概念
    二、互模拟的定义
    第二节互模拟的基本质
    第三节互模拟明方法
    第四节互模拟与模态逻辑
    一、基础知识
    二、互模拟及其不变
    三、互模拟等价
    四、互模拟与模态等价关系
    第三章互模拟与模型构造
    节经典的模态逻辑模型构造方法
    一、不相交的并
    二、生成子模型
    三、有界态
    第二节两种非经典的模态模型构造方法:凸起和压延
    一、凸起
    二、压延
    第三节模语言等价与模互模拟的商模型
    一、∑—过滤商模型
    二、模语言等价的商模型
    三、模互模拟的商模型
    四、模语言等价的商模型与模互模拟的商模型之间的关系
    第四章双模拟
    节双模拟的定义和质
    一、双模拟的定义
    二、模拟和双模拟的一些基本质
    第二节双模拟与模拟、互模拟之间的关系
    第三节双模拟与模态逻辑
    一、模型上的双模拟定义
    二、有关双模拟的一些事实
    第五章互模拟和有界互模拟
    节基本概念
    第二节集合
    第三节知识结构
    第四节语言
    第五节艾伦芬赫特游戏
    六节些结论
    第二部分互模拟与非良基集合
    第六章互模拟与非良基公理
    节非良基集合的一些基本理论
    一、关系、集合与外延
    一、可达点图及其装饰
    三、系统与互模拟
    第二节图与非良基公理
    一、图像
    一、外延与BA1(BAFA的弱形式)
    三、外延的且严格的与YAFA
    四、芬斯勒—外延的与FAFA
    五、斯科特—外延的与SAFA
    六、强外延的与AFA
    七、FAFA或AFA
    第三节正则互模拟~与AFA
    一、正则互模拟~
    一、公理模式AFA~
    三、ZFC—+AFA~的模型
    第四节正则互模拟≌*与AFA≌*
    一、正则互模拟≌*
    二、非良基公A≌*
    三、AFA≌*与FAFA的等价
    四、ZFC—+AFA≌*的模型
    第五节正则互模拟≌t与AFA≌t
    一、正则互模拟≌t
    二、非良基公A≌t
    三、AFA≌t与SAFA的等价
    四、ZFC—+AFA≌t的模型
    第六节正则互模拟≡v0与AF≡0
    一、正则互模拟≡V0
    二、非良基公A≡V0
    三、AF≡0与AFA的等价
    四、ZFC—+AF≡0的模型
    第七章非良基集合论的域和分类
    节非良基集合的域
    一、AFA~之间的关系
    二、非良基集合的域
    第二节非良基集合的分类
    一、芬斯勒集合的分类
    二、斯科特集合的分类
    三、埃泽尔集合的分类
    第三节关于非良基集合论的一点余论
    第八章非基础公A与方程组的解
    节解引理
    一、从良基论域到非良基论域
    二、模型化方程组和方程组的解
    、基础公A的解引理表达
    四、广义平坦方程组和典范平坦方程组
    第二节方程组之间的互模拟关系
    第三节广义方程组和广义解引理
    第四节ZFA的一致
    一、模型M和Mafa
    二、平坦互模拟方程组
    三、ZFA
    第九章集合的典范装饰与方程组的典范解
    节AFA解引理
    一、AFA~集合论
    一、方程和方程组
    二、AFA解引理(在AFA下的解引理)
    第二节互模拟坍塌
    一、迭代互模拟坍塌
    二、完全坍塌
    第三节AFA~解引理
    一、典范装饰
    二、典范解
    三、AFA~解引理
    第三部分模态逻辑、非良基集合与互模拟
    第十章基于互模拟的模态逻辑与非良基集合论之关系
    节互模拟与模态逻辑语义
    一、模态逻辑的克里普克语义
    二、模态逻辑的集合论语义
    三、两种语义之间的关系
    第二节集合上的互模拟与模态等价
    一、集合上的互模拟和模态等价的含义
    二、集合上的互模拟与模态等价的关系
    参考文献
    一、著作
    二、类
    后记

    姚从军(1971-),男,湖北随州人。南开大学哲学博士,博士后。中国逻辑学会会员,中国语言逻辑专业委员会务员,湖南省逻辑学会副会长,湖南省重大决策咨询专家库专家,湖南省青年骨,永州市青联委员和社科专家。现为湖南科技学院副教授,兼任湘潭大学硕士导师。姚从军博士的主要研究领域为现代逻辑和语言逻辑.曾主持社科一般项目2项、中国博士后科学项目1项、湖南省社科项目3项和湖南省教学改革项目1项,参与社会科学重大招标项目2项;发表50余篇,包括18篇CSSCI来源刊,4篇CSSCI扩展版来源刊,被人大复印报刊《逻辑》转载3篇。2012年获中国博士后科学第52批面上资;2011年获永州市第四届哲学社会科学很好成果三等奖;2013年获永州市第五届哲学社会科学很好成果二等奖;2014年获永州市第十届自然科学很好成果二等奖。

    售后保障

    最近浏览

    猜你喜欢

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

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

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

    查看我的收藏夹

    确定

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

    关闭

    抱歉,您暂无任性付资格

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